题目描述

给定一个起始时间字符串 $hh:mm:ss$ 和一个整数 $a$，从起始时间开始，每隔 $a$ 秒 输出一次时间，直到时间到达 $00:00:00$ 为止。

输出的时间格式同样为 $hh:mm:ss$。

输入格式

每个测试文件仅有一组测试数据。

第一行，包含一个时间字符串 $hh:mm:ss$ 和一个整数 $a$，中间用空格隔开。

输出格式

输出多行，每行一个 $hh:mm:ss$ 格式的时间，从起始时间开始，每隔 $a$ 秒输出一次，直到 $00:00:00$ 为止（包含起始时间，不包含 $00:00:00$）。

（保证至少有一行输出）

00:00:10 1

00:00:10
00:00:09
00:00:08
00:00:07
00:00:06
00:00:05
00:00:04
00:00:03
00:00:02
00:00:01

说明

时间从起始时间开始，每次减少 $a$ 秒。

当时间减少到 $00:00:00$ 时停止输出，不输出 $00:00:00$。

保证起始时间大于 $00:00:a$，且 $a$ 为正整数。

输出的时间格式中，时、分、秒均为两位，不足两位时补前导零。