#include <bits/stdc++.h>
using namespace std;
using namespace std;
int main() {
  int h, m, s;
  while (cin >> h >> m >> s, !(h + m + s == -3)) {
    int r = 3600 * 2 - (h * 3600 + m * 60 + s);
    int hoge = 3 * r;
    int th = r / 3600;
    r %= 3600;
    int tm = r / 60;
    r %= 60;
    int ts = r;
    printf("%02d:%02d:%02d\n", th, tm, ts);
    th = hoge / 3600;
    hoge %= 3600;
    tm = hoge / 60;
    hoge %= 60;
    ts = r;
    printf("%02d:%02d:%02d\n", th, tm, ts);
  }
}
