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

vector<int> a(int t){
  vector<int> ret;
  ret.push_back(t/3600); t%=3600;
  ret.push_back(t/60); t%=60;
  ret.push_back(t);
  return ret;
}

int main(){
  int h, m, s;
  while(cin>>h>>m>>s){
    if(h==-1)break;
    vector<int> ans=a(7200-(3600*h+60*m+s));
    printf("%02d:%02d:%02d\n", ans[0], ans[1], ans[2]);
    ans=a(3*(3600*ans[0]+60*ans[1]+ans[2]));
    printf("%02d:%02d:%02d\n", ans[0], ans[1], ans[2]);
  }
  return 0;
}