#include<iostream>
#include<string.h>
#include<cstdio>
#include<algorithm>
#include<stack>
#include<queue>
#include<vector>
#include<cmath>
#include<utility>
#define ll long long int
#define ld long double
#define INF 1000000000
#define EPS 0.0000000001
#define rep(i,n) for(i=0;i<n;i++)
using namespace std;
typedef pair<int, int> P;

string str;

int main()
{
  int t,h,s;
  while(1){

    cin>>t>>h>>s;
    if(t==-1 && h==-1 && s==-1)break;
    int all=7200;//7200second
    int total=s+60*h+3600*t;//used

    all-=total;
    total=all;
    int hour=all/3600;
    all%=3600;
    int minute=all/60;
    all%=60;
    int second=all;
    printf("%02d:%02d:%02d\n",hour,minute,second);

    all=total*3;
    hour=all/3600;
    all%=3600;
    minute=all/60;
    all%=60;
    second=all;
    printf("%02d:%02d:%02d\n",hour,minute,second);

  }

}