#include <iostream>
#include <stdio.h>

using namespace std;

int main(){

	int now = 60 * 60 * 2;
	int hour,minute,second;
	while(cin>>hour){
		now = 60 * 60 * 2;
		cin>>minute;
		cin>>second;
		if(hour==-1 && minute == -1 && second == -1)break;
		now -= (hour * 60 * 60 + minute * 60 + second);
		hour = now / (60*60);
		now %= (60 * 60);
		minute = now / 60,now%=60;
		second = now;
		printf("%02d:%02d:%02d\n",hour,minute,second);
		hour*=3,minute*=3,second*=3;
		while(second>=60){
			minute++;
			second-=60;
		}
		while(minute>=60){
			hour++;
			minute-=60;
		}
		printf("%02d:%02d:%02d\n",hour,minute,second);
	}

}

/*
Sample Input
1 30 0
-1 -1 -1
Output for the Sample Input
00:30:00
01:30:00
*/