#include <bits/stdc++.h>
using namespace std;
int size(string x) {
  string::size_type size = x.size();
  return size;
}
double pi() { return M_PI; }
int INF = 1000000;
int main() {
  int h, m, s;
  while (1) {
    int sr = 0, ssr, ssr3, ur[3] = {};
    cin >> h >> m >> s;
    if (h == -1 && m == -1 && s == -1) break;
    sr = h * 3600 + m * 60 + s;
    ssr = 120 * 60 - sr;
    ssr3 = ssr * 3;
    ur[0] = ssr / 3600;
    ur[1] = (ssr % 3600) / 60;
    ur[2] = (ssr % 3600) % 60;
    for (int i = 0; i < 3; i++) {
      if (ur[i] < 10 && i != 2)
        cout << "0" << ur[i] << ":";
      else if (ur[i] > 10 && i != 2)
        cout << ur[i] << ":";
      else if (ur[i] < 10)
        cout << "0" << ur[i] << endl;
      else
        cout << ur[i] << endl;
    }
    if (ssr3 <= 120 * 60) {
      ur[0] = ssr3 / 3600;
      ur[1] = (ssr3 % 3600) / 60;
      ur[2] = (ssr3 % 3600) % 60;
      for (int i = 0; i < 3; i++) {
        if (ur[i] < 10 && i != 2)
          cout << "0" << ur[i] << ":";
        else if (ur[i] > 10 && i != 2)
          cout << ur[i] << ":";
        else if (ur[i] < 10)
          cout << "0" << ur[i] << endl;
        else
          cout << ur[i] << endl;
      }
    } else
      cout << "02"
           << ":"
           << "00"
           << ":"
           << "00" << endl;
  }
}
