import std.stdio;

void SectoTime(int sec){
	int h = sec / 3600, m = sec % 3600 / 60, s = sec % 3600 % 60;
	writefln("%02d:%02d:%02d", h, m, s);
}

void main(){
	int h, m, s;
	while(1){
		readf("%d %d %d\n", &h, &m, &s);
		if(h == -1)break;
		int t = h * 3600 + m * 60 + s;
		SectoTime(120*60-t);
		SectoTime(120*60-t/3);
	}
}