题目描述

在著名的 unix 系统中，使用了一种简洁高效的时间表示方法，即：

将 1970 年 1 月 1 日 0 点作为 “unix纪元” 的原点，从 1970 年 1 月 1 日开始经过的秒数存储为一个 32 位整数。

请编写一个程序，帮助把一个 unix 时间辍，转换成形如 "YYYY-mm-dd HH:ii:ss" 的格式，其中的字母分别表示：

1. YYYY 4 位数字完整表示的年份

2. mm 数字表示的月份，有前导零的 2 位数字

3. dd 月份中的第几天，有前导零的 2 位数字

4. HH 小时，24 小时格式，有前导零

5. ii 有前导零的分钟数

6. ss 秒数，有前导零

输入格式

输入数据有若干行，每行包含一个整数 t ，( 0 <= t < $2^{31}$ )

输出格式

对每一行输入数据，输出一行，为形如 “YYYY-mm-dd HH:ii:ss” 格式的时间

样例

10
1234567890

1970-01-01 00:00:10
2009-02-13 23:31:30