import std.stdio,std.string,std.conv;

int main()
{
	string s;
	while((s = readln.chomp) != "-1 -1 -1")
	{
		string[] _s = s.split(" ");
		int hours = _s[0].to!int;
		int minutes = _s[1].to!int;
		int seconds = _s[2].to!int;
		int max_hours = 2;
		int temp = max_hours*60*60 - hours*60*60 - minutes*60 - seconds;
		int ans_seconds = temp % 60;
		int ans_minutes = temp/60;
		int ans_hours = ans_minutes/60;
		ans_minutes -= ans_hours*60;

		writefln("%02d:%02d:%02d",ans_hours,ans_minutes,ans_seconds);

		temp *= 3;
		ans_seconds = temp % 60;
		ans_minutes = temp/60;
		ans_hours = ans_minutes/60;
		ans_minutes -= ans_hours*60;

		writefln("%02d:%02d:%02d",ans_hours,ans_minutes,ans_seconds);

	}
	return 0;
}