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

typedef long long lli;

lli toSec(lli h, lli m, lli s) {
  return h * 3600LL + m * 60LL + s;
}

vector<lli> toHMS(lli s) {
  vector<lli> v(3);
  v[0] = s / 3600LL;
  s %= 3600LL;
  v[1] = s / 60;
  s %= 60;
  v[2] = s;
  return v;
}

void show(const vector<lli> &v) {
  printf("%02lld:%02lld:%02lld\n", v[0], v[1], v[2]);
}

int main() {
  lli h, m, s;
  while(cin >> h >> m >> s) {
    if(h == -1 && m == -1 && s == -1) break;
    lli sec = toSec(h,m,s);
    lli remain = toSec(0,120,0) - sec;
    vector<lli> a = toHMS(remain);
    vector<lli> b = toHMS(remain*3);
    show(a);
    show(b);
  }
  return 0;
}