#include <bits/stdc++.h>
using namespace std;
const int iINF = 2147483647;
const long long lINF = 9223372036854775807;
template <class T>
inline void dbg(T t) {
  cout << t << endl;
}
int main() {
  int h, m, s;
  while (1) {
    cin >> h >> m >> s;
    if (h == -1 && m == -1 && s == -1) break;
    int sum = h * 60 * 60 + m * 60 + s;
    int rest = 120 * 60 - sum;
    int ah, am, as;
    ah = rest / 3600;
    rest %= 3600;
    am = rest / 60;
    rest %= 60;
    as = rest;
    printf("%02d:%02d:%02d\n", ah, am, as);
    sum /= 3;
    rest = 120 * 60 - sum;
    ah = rest / 3600;
    rest %= 3600;
    am = rest / 60;
    rest %= 60;
    as = rest;
    printf("%02d:%02d:%02d\n", ah, am, as);
  }
  return 0;
}
