#511. 神奇的钟点

神奇的钟点

说明


一天,小L看到了3块钟表,分别显示着01:08、03:40、13:52。小L发现,每块表上的时间都是hh:mm的形式,其中h

h表示小时,mm表示分钟,而且都不是整点(即0≤hh<24,1≤mm<60)。回想起小学数学老师刚刚讲的关于比例的知
识,hh:mm也表示一个比,它的值等于hh/mm。这时小L发现了一件神奇的事情:把这三个钟点加起来会得到18:40,
这也是一个不是整点的合法时间(注意小时数要小于24),它对应的比值9/20与这三个钟点对应的比值1/8、3/40
、1/4之和竟然相等!现在小L想知道,把所有的满足这个神奇的性质的3个钟点组成的钟点组按照字典序排序后,
第k小的是什么。


Input

输入只包含一个正整数k。
对于 30%的数据  ,k ≤ 1000。
对于 60%的数据  ,k ≤ 20000。
对于 100%的数据  ,1 ≤ k ≤ 2*10^9。

Output

输出字典序第k小的满足题目所述神奇性质的钟点组,以一个空格隔开,详见样例输出。
如果答案不存在,输出“-1”(不含引号)。

Sample Input

65432

Sample Output

01:08 03:40 13:52

样例