#include <bits/stdc++.h>
using namespace std;
const int INIT_SIZE_MAX = (1 << 29) + 10;
const int INIT_SIZE_MIN = -(1 << 29) - 10;
const int INIT_SIZE = 0;
const int MAX = 8;
const int DIR_SIZE = 12;
const double PI = 3.1415926535897932384;
template <class T, class U>
void convert(T &t, U &u) {
  stringstream ss;
  ss << t;
  ss >> u;
}
int main() {
  int h, m, s;
  while (cin >> h >> m >> s) {
    if (h == -1 && m == -1 && s == -1) break;
    int used = (h * 60 + m) * 60 + s;
    int standard = 2 * 60 * 60 - used;
    int three_times = 2 * 60 * 60 - (used / 3) - (used % 3);
    printf("%02d:%02d:%02d\n", standard / 3600, standard % 3600 / 60,
           standard % 3600 % 60);
    printf("%02d:%02d:%02d\n", three_times / 3600, three_times % 3600 / 60,
           three_times % 3600 % 60);
  }
  return 0;
}
