#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-(s*60+a*3600+d))/60*3/60;
	n=(120*60-(s*60+a*3600+d))/60*3%60;
	v=z/60;
	b=z%60;

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