本题没有可用的提交语言。

$洛基在床上翻了个身，看向他的$LED$闹钟。他看到显示的内容后又继续睡了。之后他再次醒来，又瞥了一眼闹钟。尽管他不知道所有$LED$段是否都正常工作，但他能确定具体时间。你能吗？

洛基的$LED$钟使用四个$7$段显示器来显示时间。

每个$7$段显示器有七个条形段，通过点亮不同的段来显示不同的数字：

 _       _  _       _   _   _   _   _  
| |   |  _| _| |_| |_  |_    | |_| |_|  
|_|   | |_  _|   |  _| |_|   | |_|  _|  

用比特表示每个段，我们可以用一个$7$位的二进制数来描述一个显示器。例如，如果段的编号如下：

  1  
2   3  
  4  
5   6  
  7  

那么显示器：

|_  
|  

可以表示为比特：
$0000111$

因此数字可以表示为：

如果显示器上的某个段“烧坏”了，即使它应该点亮，也不会显示。例如，如果要显示数字$3$，但对应比特$7$的段烧坏了，显示器将显示为：

 _  
  |  
 _|  

输入
第一行包含一个整数$n$，表示数据集的数量。

每个数据集是一行，包含八个$7$位二进制字符串，表示观察到的$LED$显示。前四个字符串表示第一次显示的时间，后四个字符串表示第二次显示的时间。所有字符串之间用一个空格分隔。注意：输入中不会给出哪些段烧坏了。

输出
对于每个数据集，输出只有一行。这一行就是$LED$显示器上观察到的第二次时间，格式为$HH:MM$。烧坏的段在第一次和第二次显示之间是一致的。每个数据集只有一个可能的解。

所有时间（输入和输出）都采用标准（非军用）格式表示，不包含前导零（九点钟是$9:00$，不是$09:00$）。

样例输入

2
0110000 1101101 1111110 1111111 0000000 1111011 1111110 1111111
0000000 0000000 1000001 1111111 0100000 0000001 0000000 0110000

样例输出

9:08
12:11