#include <iostream>
#include <cstdio>

using namespace std;
#define rep2(x,from,to) for(int x = (from); x < (to); ++(x))
#define rep(x,to) rep2(x,0,to)
int main() {
	int h, m, s;
	while(cin >> h >> m >> s && (h != -1 || m != -1 || s != -1)) {
		int second = 2 * 60 * 60 - h * 60 * 60 - m * 60 - s;
		int tsecond = second * 3;
		int hour = second / (60 * 60);
		second -= hour * 60 * 60;
		int minute = second / 60;
		second -= minute * 60;
		int thour = tsecond / (60 * 60);
		tsecond -= thour * 60 * 60;
		int tminute = tsecond / 60;
		tsecond -= tminute * 60;
		printf("%02d:%02d:%02d\n%02d:%02d:%02d\n", hour, minute, second, thour, tminute, tsecond);
	}
	return 0;
}