题目描述

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

点球大战分2个阶段：

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

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

输入格式

输入数据占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

数据范围与提示

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