#include<bits/stdc++.h>
using namespace std;

int main(){
  int a,b,c;
  int stan = 2*60*60;
  while(1){
    cin >> a >> b >> c;
    if(a == -1 && b == -1 && c == -1) break;
    int minute = a*60*60 + b*60 + c;
    int s = stan - minute;
    if(s > 0){
      int tmp = s;
      int ho,mi,se;
      ho = tmp / (60*60);
      tmp %= (60*60);
      mi = tmp / 60;
      tmp %= 60;
      se = tmp;
      if(ho < 10) cout << "0" << ho << ":";
      else cout << ho << ":";
      if(mi < 10) cout << "0" << mi << ":";
      else cout << mi << ":";
      if(se < 10) cout << "0" << se << endl;
      else cout << se << endl;
      tmp = s*3;
      ho = tmp / (60*60);
      tmp %= (60*60);
      mi = tmp / 60;
      tmp %= 60;
      se = tmp;
      if(ho < 10) cout << "0" << ho << ":";
      else cout << ho << ":";
      if(mi < 10) cout << "0" << mi << ":";
      else cout << mi << ":";
      if(se < 10) cout << "0" << se << endl;
      else cout << se << endl;
    } else {
      cout << "00:00:00" << endl;
      cout << "00:00:00" << endl;
    }
  }
}