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

int toSec(int h, int m, int s) {
  return (h*60+m)*60+s;
}

vector<int> toHms(int sec) {
  vector<int> v;
  v.push_back(sec/(60*60));
  sec -= v[0]*60*60;
  v.push_back(sec/60);
  v.push_back(sec - v[1]*60);
  return v;
}

int main() {
  int h, m, s;
  while(cin >> h >> m >> s) {
    if(h == -1 && m == -1 && s == -1) break;
    int sec = toSec(h,m,s);
    vector<int> v[2];
    v[0] = toHms(toSec(2,0,0)-sec);
    v[1] = toHms((toSec(2,0,0)-sec)*3);
    for(int i = 0; i < 2; ++i) {
      printf("%02d:%02d:%02d\n", v[i][0], v[i][1], v[i][2]);
    }
  }
  return 0;
}