#include<stdio.h>

int main(){
	int a,b,c;
	while(1){
		scanf("%d%d%d",&a,&b,&c);
		if(a==-1)return 0;
		int d=a*3600+b*60+c;
		int e=7200-d,f=e*3;
		printf("%02d:%02d:%02d\n%02d:%02d:%02d\n",e/3600,e%3600/60,e%60,f/3600,f%3600/60,f%60);
	}
}