打开/关闭搜索
搜索
打开/关闭菜单
223
68
64
2725
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
SSS 分析：修订间差异
帮助
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
下一编辑→
可视化
wikitext
2025年8月20日 (三) 08:55的版本
查看源代码
Z
（
留言
|
贡献
）
监督员
、
管理员
617
次编辑
创建页面，内容为“本条目展示BSM分析的第一部分 {| class="wikitable" !BSM !BMS |- |<math>(0)</math> |<math>(0)</math> |- |<math>(0)(0)</math> |<math>(0)(0)</math> |- |<math>(0)(0)(0)</math> |<math>(0)(0)(0)</math> |- |<math>(0)(1)</math> |<math>(0)(1)</math> |- |<math>(0)(1)(0)</math> |<math>(0)(1)(0)</math> |- |<math>(0)(1)(0)(0)</math> |<math>(0)(1)(0)(0)</math> |- |<math>(0)(1)(0)(0)(1)</math> |<math>(0)(1)(0)(1)</math> |- |<math>(0)(1)(0)(0)(1)(0)</math> |<math>(0)…”
标签
：
可视化编辑
2025年8月20日 (三) 09:33的版本
查看源代码
Z
（
留言
|
贡献
）
监督员
、
管理员
617
次编辑
小
无编辑摘要
标签
：
可视化编辑
下一编辑→
第1行：
第1行：
本条目展示BSM分析的第一部分
本条目展示[[BSM]]分析的第一部分
{| class="wikitable"
{| class="wikitable"
!BSM
!BSM
第994行：
第994行：
|<math>(0)(1,1)(2,1)(3,1)</math>
|<math>(0)(1,1)(2,1)(3,1)</math>
|}
|}
[[分类:分析]]
2025年8月20日 (三) 09:33的版本
本条目展示
BSM
分析的第一部分
BSM
BMS
(
0
)
(
0
)
(
0
)
(
0
)
(
0
)
(
0
)
(
0
)
(
0
)
(
0
)
(
0
)
(
0
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
0
)
(
0
)
(
1
)
(
0
)
(
0
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
0
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
0
)
(
1
)
(
1
)
(
0
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
0
)
(
1
)
(
2
)
(
0
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
1
)
(
0
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
2
)
(
0
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
2
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
2
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
1
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
2
)
(
1
)
(
2
)
(
3
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
2
)
(
3
)
(
1
)
(
2
)
(
3
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
2
)
(
3
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
2
)
(
3
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
2
)
(
3
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
3
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
3
)
(
2
)
(
3
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
3
)
(
2
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
4
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
4
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
4
)
(
2
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
4
)
(
2
)
(
3
)
(
4
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
4
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
4
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
4
)
(
3
)
(
4
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
4
)
(
4
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
2
)
(
3
)
(
4
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
0
)
(
1
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
1
)
(
2
,
1
)
(
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
1
)
(
2
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
2
)
(
3
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
4
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
1
,
1
)
(
1
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
1
)
(
2
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
1
)
(
2
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
1
)
(
2
,
1
)
(
3
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
1
)
(
2
,
1
)
(
3
)
(
2
)
(
3
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
1
)
(
2
,
1
)
(
3
)
(
2
)
(
3
,
1
)
(
4
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
1
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
1
,
1
)
(
1
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
1
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
1
,
1
)
(
2
)
(
1
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
1
,
1
)
(
2
)
(
1
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
2
)
(
1
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
2
)
(
1
,
1
)
(
2
)
(
1
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
2
)
(
1
,
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
)
(
1
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
)
(
1
,
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
)
(
1
,
1
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
)
(
2
)
(
1
,
1
)
(
2
)
(
3
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
1
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
1
,
1
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
2
)
(
3
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
4
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
2
)
(
3
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
3
)
(
4
,
1
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
3
)
(
4
,
1
)
(
5
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
3
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
4
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
)
(
7
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
)
(
4
,
1
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
)
(
4
,
1
)
(
5
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
5
,
1
)
(
6
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
5
,
1
)
(
6
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
5
,
1
)
(
6
,
1
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
5
,
1
)
(
6
,
1
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
1
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
1
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
)
(
4
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
)
(
7
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
5
,
1
)
(
6
)
(
7
,
1
)
(
8
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
5
,
1
)
(
6
)
(
7
,
1
)
(
8
,
1
)
(
6
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
5
,
1
)
(
6
)
(
7
,
1
)
(
8
,
1
)
(
7
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
5
,
1
)
(
6
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
5
,
1
)
(
6
)
(
7
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
,
1
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
6
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
6
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
6
,
1
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
6
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
6
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
6
,
1
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
,
1
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
6
,
1
)
(
5
,
1
)
(
6
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
)
(
5
,
1
)
(
6
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
1
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
1
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
1
,
1
)
(
2
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
2
,
1
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
1
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
2
,
1
)
(
2
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
2
,
1
)
(
2
)
(
3
,
1
)
(
4
,
1
)
(
5
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
2
,
1
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
2
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
3
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
3
)
(
2
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
3
)
(
2
,
1
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
2
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
)
(
2
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
)
(
2
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
)
(
2
,
1
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
2
)
(
1
)
(
2
)
(
1
)
(
2
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
)
(
2
,
1
)
(
3
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
)
(
3
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
)
(
3
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
1
)
(
2
)
(
1
)
(
2
)
(
2
)
(
3
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
1
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
3
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
1
)
(
2
)
(
2
)
(
1
)
(
2
)
(
2
)
(
3
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
3
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
1
)
(
2
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
1
)
(
2
)
(
2
)
(
3
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
2
)
(
1
)
(
2
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
5
)
(
4
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
2
)
(
1
)
(
2
)
(
2
)
(
3
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
5
)
(
4
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
2
)
(
1
)
(
2
)
(
2
)
(
3
)
(
1
)
(
2
)
(
2
)
(
3
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
5
)
(
4
,
1
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
2
)
(
1
)
(
2
)
(
2
)
(
3
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
5
)
(
5
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
2
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
5
)
(
6
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
2
)
(
2
)
(
3
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
5
)
(
6
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
2
)
(
3
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
2
)
(
3
)
(
2
)
(
3
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
5
,
1
)
(
5
,
1
)
(
0
)
(
1
)
(
1
)
(
2
)
(
2
)
(
3
)
(
3
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
)
(
4
,
1
)
(
5
,
1
)
(
6
)
(
0
)
(
1
)
(
2
)
(
0
)
(
1
,
1
)
(
2
,
1
)
(
3
,
1
)
SSS 分析：修订间差异
来自Googology Wiki
