#include <bits/stdc++.h>
using namespace std;
int h, m, s, t;
int main() {
  while (cin >> h >> m >> s) {
    if (h == -1 && m == -1 && s == -1) break;
    t = 7200 - (h * 3600 + m * 60 + s);
    printf("%02d:%02d:%02d\n", t / 3600, t % 3600 / 60, t % 60);
    t = 7200 * 3 - (h * 3600 + m * 60 + s);
    t /= 3;
    printf("%02d:%02d:%02d\n", t / 3600, t % 3600 / 60, t % 60);
  }
}
