#include<stdio.h>
int main()
{
	int t,h,s;
	int r;
	while(1){
		scanf("%d%d%d",&t,&h,&s);
		if(t==-1&&h==-1&&s==-1){
			break;
		}
		r = 7200 - t*3600 - h*60 - s;
		printf("%02d:%02d:%02d\n",r/3600,(r%3600)/60,r%60);
		printf("%02d:%02d:%02d\n",3*r/3600,(3*r%3600)/60,3*r%60);
	}
	return 0;
}