#include<stdio.h>
using namespace std;

int main() {
	int t, h, s;
	while (1) {
		scanf("%d %d %d", &t, &h, &s);
		if (t == -1 && h == -1 && s == -1)break;
		int t_second = 3600 * t + 60 * h + s;
		int tmp1 = 7200 - t_second;
		int tmp2 = tmp1 * 3;
		printf("%02d:%02d:%02d\n%02d:%02d:%02d\n", tmp1 / 3600, tmp1 % 3600 / 60, tmp1 % 3600 % 60, tmp2 / 3600, tmp2 % 3600 / 60, tmp2 % 3600 % 60);
	}
}
