#include<stdio.h>
int main()
{
	int t,h,s;
	int m=7200,rt,rt3,ss,tr,hr,sr,tr3,hr3,sr3;
	while(1){
		scanf("%d%d%d",&t,&h,&s);
		if(t==-1&&h==-1&&s==-1){
			break;
		}
		ss=t*3600+h*60+s;
		rt=m-ss;
		tr=rt/ 3600;
		hr=rt/ 60 % 60;
		sr=rt % 3600 % 60;
		rt3=m-(ss/3);
		tr3=rt3/ 3600;
		hr3=rt3/ 60 % 60;
		sr3=rt3 % 3600 % 60;
		printf("%02d:%02d:%02d\n%02d:%02d:%02d\n",tr,hr,sr,tr3,hr3,sr3);
	}
	return 0;
}