测试数据来自 wjszez/1949

【问题描述】
一天，戴夫做了一个数字钟来显示时间。所需的四个数字中的每一个都用15个排列在5x3矩阵中的红色小LED二极管表示，如下所示（“#”表示发光二极管，而“.”表示不发光二极管）。

..# ### ### #.# ### ### ### ###

#.# ..# ..# ..# #.# #.. #.. ..# #.# #.#
#.# ..# ### ### ### ### ### ..# ### ###
#.# ..# #.. ..# ..# ..# #.# ..# #.# ..#

..# ### ### ..# ### ### ..# ###

但每天早上醒来后，数字钟的某些二极管都会出些故障。请你编写一个程序，得出数字钟可能的最早时间

【输入格式】
4个上述字符组成的不完整的数字
【输出格式】
输出文件的第一行也是唯一一行应该包含所需的时间

【输入样例1】
#.# ... ... #..
#.# ... ... #..
#.# ### ### ###
#.# #.. ..# ..#

### ### ..#

【输出样例1】
02:34

【输入样例2】

### ..# ...

... #.# #.# #.#

#.# .#. .#.

#.. #.# ..# ..#

#.# ..# ###

【输出样例2】
20:48