### 问题描述

在世界杯等足球比赛的淘汰赛里，如果 $90$ 分钟内 A、B 两队不分胜负，一般要打加时赛。加时赛也分上下半场，各 $15$ 分钟。如果加时赛结束后还没分出胜负，就要进行点球大战了。

点球大战分 $2$ 个阶段：

1. 前 $5$ 轮，A、B 两队各罚 $5$ 个点球，进球多的球队获胜；
2. 如果前 $5$ 轮还是平局，则进入“突然死亡”阶段，双方继续互罚，直到出现某一轮一方罚进而另一方未罚进的局面，则罚进的一方获胜。

点球大战很考验踢点球的球员和对方守门员的心理素质。点球经常踢不进。在第一个阶段，有的时候不需要罚 $5$ 轮。在本题中，假设每一轮都是 A 队先踢点球。例如，假设前 $3$ 轮 A、B 双方比分是$1:3$。第 $4$ 轮，A 队点球没有踢进，那么点球大战就结束了，剩下的点球不用罚了，比分锁定为 $1:3$。这是因为，即便是 A 队最后 $1$ 名球员罚进点球而 B 队最后 $2$ 名球员都没罚进点球，比分也是 $2:3$，还是 A 队输了。

输入点球大战中 A、B 两队 $20$ 轮罚点球的情况，输出 A、B 两队的比分。注：这个比分只是点球大战的比分，不包含常规时间的比分。

注意，虽然输入的是 $20$ 轮罚点球的数据，但并非一定要进行 $20$ 轮。只要按上述规则分出胜负了，则后面的点球就不罚了。

输入格式

输入数据占 $2$ 行，第一行是 $20$ 个数字，用空格隔开，表示 A 队罚点球情况，这些数字为 $0$ 或 $1$，$0$ 表示点球没有罚进，$1$ 表示点球罚进。

第二行也是 $20$ 个数字，表示 B 队罚点球情况。测试数据保证 $20$ 轮之内一定能分出胜负。

输出格式

输出占 $2$ 行，第一行为一个整数，表示在第几轮分出胜负，第二行为点球大战结束后 A、B 两队的比分，格式如样例输出所示。

输入样例

0 1 0 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1
1 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1

输出样例

4
1:3

输入样例

0 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 0 1 1
1 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1

输出样例

7
5:4