#include <iostream>
using namespace std;

 void printTime(int a,int b,int c)
 {
		cout.width(2);
		cout.fill('0');
		cout << a << ":";

		cout.width(2);
		cout.fill('0');
		cout << b << ":";

		cout.width(2);
		cout.fill('0');
		cout << c << endl;
 }

int main()
{
	int hours,minutes,seconds;
	while(cin >> hours >> minutes >> seconds  && hours != -1 && minutes != -1 && seconds != -1)
	{
		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;

		printTime(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;

		printTime(ans_hours,ans_minutes,ans_seconds);
	}
	return 0;
}