#include <stdio.h>
#include<math.h>
#include <algorithm>
using namespace std;

int main(){

	int T,H,S,seconds,seconds3;

	while(true){
		scanf("%d %d %d",&T,&H,&S);
		if(T == -1 && H == -1 && S == -1)break;
		seconds = 7200 - (3600*T + 60*H + S);
		seconds3 = 3*seconds;
		printf("%02d:%02d:%02d\n",seconds/3600,(seconds%3600)/60,(seconds%3600)%60);
		printf("%02d:%02d:%02d\n",seconds3/3600,(seconds3%3600)/60,(seconds3%3600)%60);
	}

    return 0;
}