#include<bits//stdc++.h>
using namespace std;
int main(){
	int a,b,c;
	while(true){
		scanf("%d %d %d",&a,&b,&c);
		if(a==-1&&b==-1&&c==-1) break;
		int d=7200;
		int f=a*3600+b*60+c;
		d-=f;
		int t,h,s;
		s=d%60;
		d-=s;
		d/=60;
		h=d%60;
		d-=h;
		d/=60;
		t=d;
		printf("%.2d:%.2d:%.2d\n",t,h,s);
		d=7200-f/3;
		s=d%60;
		d-=s;
		d/=60;
		h=d%60;
		d-=h;
		d/=60;
		t=d;
		printf("%.2d:%.2d:%.2d\n",t,h,s);
	}
}