#include<stdio.h>

#define TAPE_VOLUME (120*60)	/* seconds */

int main(void){
	while(1){
		int left=0,left_tpl;
		int h,m,s;

		scanf("%d%d%d",&h,&m,&s);

		if(h==-1&&m==-1&&s==-1) break;

		left = TAPE_VOLUME - (h*3600+m*60+s);
		left_tpl = left * 3;

		h=left/3600;left-=3600*h;
		m=left/60;left-=60*m;
		s=left;
		printf("%02d:%02d:%02d\n",h,m,s);

		h=left_tpl/3600;left_tpl-=3600*h;
		m=left_tpl/60;left_tpl-=60*m;
		s=left_tpl;
		printf("%02d:%02d:%02d\n",h,m,s);
	}
	return 0;
}