#include<stdio.h>
int main(void)
{
	int v,h2,m2,s2,s,h,m,g,e,f,d,a,b,c;
	scanf("%d %d %d",&a,&b,&c);
	while(a!=-1 && b!=-1 && c!=-1){
	e=a*60;
	g=(e+b)*60+c;
	f=(2*3600)-g;
	h=f/3600;
	m=(f-(h*3600))/60;
	s=f-(h*3600+m*60);
	v=(3600*2-g)*3;
	h2=v/3600;
	m2=(v-h2*3600)/60;
	s2=(v-h2*3600)%60;;
	printf("%02d:%02d:%02d\n",h,m,s);
	printf("%02d:%02d:%02d\n",h2,m2,s2);
	scanf("%d %d %d",&a,&b,&c);
	}
	return 0;
}