#include <stdio.h>
int main(void){
	int minute1,second1,hour1;
	while(scanf("%d %d %d",&hour1,&minute1,&second1)){
		int hour2,minute2,second2,sum1,sum2;
		if(hour1==-1 && minute1==-1 && second1==-1) break;
		sum1=hour1*3600+minute1*60+second1;	//secondに変換
		sum1=7200-sum1;
		sum2=3*sum1;
		hour1=sum1/3600;
		hour2=sum2/3600;
		sum1%=3600;
		sum2%=3600;
		minute1=sum1/60;
		minute2=sum2/60;
		sum1%=60;
		sum2%=60;
		second1=sum1;
		second2=sum2;
		printf("%02d:%02d:%02d\n",hour1,minute1,second1);
		printf("%02d:%02d:%02d\n",hour2,minute2,second2);
	}
	return 0;
}