[aoj]0074

#include <iostream>
#include <cstdio>
using namespace std;
 
int main(void){
  int sec, sec3;
  int used;
  int hh,mm,ss;
  int reth,retm,rets;
 
 
  while(cin >> hh >> mm >> ss){
	if(hh == -1 && mm == -1 && ss == -1) break;
	used = hh * 3600 + mm * 60 + ss;
	sec = 7200 - used;
	sec3 = sec * 3;
 
	reth = sec / 3600;
	sec -= 3600 * reth;
	retm = sec / 60;
	sec -= 60 * retm;
	rets = sec;
	printf("%02d:%02d:%02d\n", reth, retm, rets);
	reth = sec3 / 3600;
	sec3 -= 3600 * reth;
	retm = sec3 / 60;
	sec3 -= 60 * retm;
	rets = sec3;
	printf("%02d:%02d:%02d\n", reth, retm, rets);
  }
}