题目描述

一天，小L 看到了3 块钟表，分别显示着01:08、03:40、13:52。 小L 发现，每块表上的时间都是hh:mm 的形式，其中hh 表示小时，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 小的是什么。

输入格式

输入只包含一个正整数k。

输出格式

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

65432

01:08 03:40 13:52

1

00:01 00:01 00:01

58

00:01 00:02 00:01

2000000000

-1

提示

【样例说明】

注意钟点可以相同。

【数据规模和约定】

对于30%的数据，$k ≤ 1000$。

对于60%的数据，$k ≤ 20000$。

对于100%的数据，$1 ≤ k ≤ 2*10^9$。