#include<stdio.h>
#include<string.h>

int h,m,s,c,t;

int main(){
	while(~scanf("%d%d%d",&h,&m,&s)){
		if(h==-1)break;
		
		if(s==0){
			s=0;
			c=0;
		}else{
			s=60-s;
			c=1;
		}
		
		if(m==0 && c==0){
			m=0;
		}else{
			m=60-c-m;
			c=1;
		}
		
		if(h==0 && c==0){
			h=2;
		}else{
			h=2-c-h;
		}
		printf("%02d:%02d:%02d\n",h,m,s);
		t=3*s;
		s=(3*s)%60;
		c=t/60;
		t=3*m;
		m=(3*m+c)%60;
		c=t/60;
		h=3*h+c;
		printf("%02d:%02d:%02d\n",h,m,s);
	}
	return 0;
}