#include<stdio.h>
int main(void)
{
	int a,aa,b,bb,c,s,ss,sss,s1;
	int flg1,flg2;
	scanf("%d %d %d",&a,&b,&c);	
	while(!(a==-1 && b==-1 && c==-1)){
	flg1=flg2=0;
	s=a*3600;
	ss=b*60;
	sss=s+ss+c;
	s1=7200-sss;
	a=s1/3600;
	aa=s1%3600;
	b=aa/60;
	c=aa%60;
	printf("%02d:%02d:%02d\n",a,b,c);
	if(a!=0){
		a=a*3;
	}
	if(b!=0){
		b=b*3;
	}
	if(c!=0){
		c=c*3;
	}
	while(1){
		flg1=flg2=0;
		if(c>=60){
			c=c-60;
			b=b+1;
			flg1=1;
		}
		if(b>=60){
			b=b-60;
			a=a+1;
			flg2=1;
		}
		if(flg1==0 && flg2==0){
			break;
		}
	
	}
	printf("%02d:%02d:%02d\n",a,b,c);
	scanf("%d %d %d",&a,&b,&c);	
	}
	return 0;
}