#include <stdio.h>
int main(void)
{
	int h,m,s;
	int ans;
	int ansm;

	scanf("%d %d %d", &h, &m, &s);
	while(h != -1){

		ans = 7200 - (h * 3600 + m * 60 + s);

		printf("0%d:",ans / 3600);

		ansm = (ans % 3600) / 60;

		if(ansm < 10){
			printf("0%d:",ansm);
		}else{
			printf("%d:",ansm);
		}

		ansm = ans % 60;

		if(ansm < 10){
			printf("0%d\n",ansm);
		}else{
			printf("%d\n",ansm);
		}
		ans = (7200 - (h * 3600 + m * 60 + s)) * 3;

		printf("0%d:",ans / 3600);

		ansm = (ans % 3600) / 60;

		if(ansm < 10){
			printf("0%d:",ansm);
		}else{
			printf("%d:",ansm);
		}

		ansm = ans % 60;

		if(ansm < 10){
			printf("0%d\n",ansm);
		}else{
			printf("%d\n",ansm);
		}


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