#include <iostream>
#include <cstdio>
using namespace std;

int toSec(int h,int m,int s){
	return h*3600+m*60+s;
}

void printTime(int sec){
	printf("%02d:%02d:%02d\n",sec/3600,sec%3600/60,sec%60);
}

int main(void){
	int h,m,s;

	while(cin>>h>>m>>s && !(h==-1 || m==-1 || s==-1)){
		int sec = toSec(h,m,s);

		printTime(7200 - sec);
		printTime((7200 - sec) * 3);
	}

	return 0;
}