#include<iostream>
#include<algorithm>
#include<vector>
#include<cstdio>
#include<cstring>
#include<climits>
#include<cfloat>
#include<cmath>
#include<map>
#include<complex>

#define f first
#define s second
#define mp make_pair

#define REP(i,n) for(int i=0; i<(int)(n); i++)
#define FOR(i,c) for(__typeof((c).begin()) i=(c).begin(); i!=(c).end(); i++)
#define ALL(c) (c).begin(), (c).end()
#define DBL(x) ((x)*(x))

typedef unsigned int uint;
typedef long long ll;

using namespace std;

void print(int s){
  int h = s/(60*60);
  s%=(60*60);
  int m = s/60;
  s%= 60;
  printf("%02d:%02d:%02d\n",h,m,s);
}

int main(){
  int h,m,s;
  while(cin>>h>>m>>s, h+m+s>=0){
    int sum  = h*60*60 + m*60 + s;
    int rest = 120*60 - sum;
    print(rest); print(rest*3);
  }
  return 0;
}