#include <iostream>
#include <stdio.h>
using namespace std;

void q74() {
	int t, h, s;
	for (; cin >> t >> h >> s;) {
		if (t == -1) break;
		int sec = 2 * 60 * 60 - t * 60 * 60 - h * 60 - s;
		printf("%02d:%02d:%02d\n", sec / 60 / 60, (sec / 60) % 60, sec % 60);
		sec *= 3;
		printf("%02d:%02d:%02d\n", sec / 60 / 60, (sec / 60) % 60, sec % 60);
	}
}
int main() {
	q74();
	return 0;
}