#include<stdio.h>
int main(void)
{
	int a,s,d,z,x,c,f,k,v,b,n,i;
	
	scanf("%d %d %d",&a,&s,&d);
	while(!(a==-1 && s==-1 && d==-1)){
	for(i=1;i<=100;i++){
	f=(120*60-(s*60+a*3600+d))/60;
	k=(120*60-(s*60+a*3600+d))%60;
	
	x=f/60;
	c=f%60;
	
	z=(120*60*3-(s*60+a*3600+d)*3)/60;
	n=(120*60*3-(s*60+a*3600+d)*3)%60;
	v=z/60;
	b=z%60;

	}
	printf("%02d:%02d:%02d\n",x,c,k);
	printf("%02d:%02d:%02d\n",v,b,n);
	
	scanf("%d %d %d",&a,&s,&d);
	}
	return 0;
}