#include <iostream>
#include <stdio.h>
using namespace std;

int main(){
	int h, m, s, time, ans1, ans2, ah, am, as;
	while(1){
		scanf("%d %d %d", &h, &m, &s);
		if(h==-1 && m==-1 && s==-1) break;
		time = h*60*60 + m*60 + s;
		ans1 = 120*60 - time;
		ans2 = ans1 * 3;
		as = ans1%60;
		am = (ans1/60)%60;
		ah = ans1/3600;
		printf("%02d:%02d:%02d\n", ah, am, as);
		as = ans2%60;
		am = (ans2/60)%60;
		ah = ans2/60/60;
		printf("%02d:%02d:%02d\n", ah, am, as);
	}
	
	return 0;
}