#include <iostream>
#include <sstream>
#include <algorithm>
#include <cstdio>
#include <string>
#include <vector>
#include <cmath>

//AOJ0074
#define rep(x,to) for(int x=0;x<to;x++)
#define rep2(x,from,to) for(int x=from;x<to;x++)

using namespace std;

int main(void){

int tm[3];
	while(cin >> tm[0] >> tm[1] >> tm[2]){
		if(tm[0]==-1 && tm[1]==-1 && tm[2]==-1 || cin.eof()) break;
		int fl[3]={1,59,60};
		rep(i,3) fl[i] -= tm[i];
		rep(i,2) while(fl[2-i] >= 60){ fl[2-i] -=60; fl[1-i]++; }
		printf("%02d:%02d:%02d\n",fl[0],fl[1],fl[2]);
		rep(i,3) fl[i] *= 3;
		rep(i,2) while(fl[2-i] >= 60){ fl[2-i] -=60; fl[1-i]++; }
		printf("%02d:%02d:%02d\n",fl[0],fl[1],fl[2]);
		
	}
	return 0;
	
}