#include <bits/stdc++.h>
using namespace std;
int s[3], t[3], u[3], _time, vtime[2];
int main() {
  while (true) {
    cin >> s[0] >> s[1] >> s[2];
    if (s[0] == -1) {
      break;
    }
    _time = s[0] * 3600 + s[1] * 60 + s[2];
    vtime[0] = 7200 - _time;
    vtime[1] = 7200 - (_time / 3);
    t[0] = vtime[0] / 3600;
    t[1] = (vtime[0] / 60) % 60;
    t[2] = vtime[0] % 60;
    u[0] = vtime[1] / 3600;
    u[1] = (vtime[1] / 60) % 60;
    u[2] = vtime[1] % 60;
    for (int i = 0; i < 3; i++) {
      if (i) {
        cout << ':';
      }
      if (t[i] < 10) {
        cout << '0' << t[i];
      } else {
        cout << t[i];
      }
    }
    cout << endl;
    for (int i = 0; i < 3; i++) {
      if (i) {
        cout << ':';
      }
      if (u[i] < 10) {
        cout << '0' << u[i];
      } else {
        cout << u[i];
      }
    }
    cout << endl;
  }
}
