打开/关闭搜索
搜索
打开/关闭菜单
223
68
64
2725
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
SSS 分析
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
Z
（
留言
|
贡献
）
2025年8月20日 (三) 08:55的版本
（创建页面，内容为“本条目展示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)…”）
(差异) ←上一版本 |
最后版本
(
差异
) |
下一版本→
(
差异
)
本条目展示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
