#include<stdio.h>
int main(void)
{
	int h,m,s,h1,m1,s1,p,h2,m2,s2,h3,m3,s3,p1,p2;
	scanf("%d %d %d",&h,&m,&s);
	while(!(h==-1 && m==-1 && s==-1)){
		h1=h*3600;
		m1=m*60;
		s1=s;
		p=h1+m1+s1;
		
		p1=7200-p;
		
		h2=p1/3600;
		m2=p1/60;
		s2=p1%60;
		printf("0%d:",h2);
		if(m2<10){
			printf("0%d:",m2);
		}
		else{
			printf("%d:",m2);
		}
		if(s2<10){
			printf("0%d\n",s2);
		}
		else{
			printf("%d\n",s2);
		}
		
		p2=p1*3;
		h3=p2/3600;
		m3=(p2-(p1*2))/60;
		s3=p2%60;
		
		printf("0%d:",h3);
		if(m3<10){
			printf("0%d:",m3);
		}
		else{
			printf("%d:",m3);
		}
		if(s3<10){
			printf("0%d\n",s3);
		}
		else{
			printf("%d\n",s3);
		}
		
		
		scanf("%d %d %d",&h,&m,&s);
	}
	return 0;
}