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

int main(){

 int h,m,s;
 
 while(cin>>h>>m>>s,h!=-1){
 	int rest=2*3600-(h*3600+m*60+s);
 	printf("%02d:%02d:%02d\n", rest/3600, rest%3600/60, rest%60);
  rest*=3;
  printf("%02d:%02d:%02d\n", rest/3600, rest%3600/60, rest%60);
 }
 return 0;
}