#include <bits/stdc++.h>
using namespace std;
int main() {
  int h, m, s;
  int a = 2;
  int b = 0;
  int c = 0;
  int t = 0;
  int ans[2][3] = {0};
  while (cin >> h >> m >> s, h != -1 && m != -1 && s != -1) {
    if (c < s) {
      a--;
      b += 59;
      c += 60;
    }
    if (b < m) {
      a--;
      b += 60;
    }
    ans[0][0] = a - h;
    ans[0][1] = b - m;
    ans[0][2] = c - s;
    t = (a - h) * 3600 + (b - m) * 60 + (c - s);
    t = t * 3;
    ans[1][0] = t / 3600;
    t = t % 3600;
    ans[1][1] = t / 60;
    t = t % 60;
    ans[1][2] = t;
    for (int i = 0; i < 2; i++)
      printf("%02d:%02d:%02d\n", ans[i][0], ans[i][1], ans[i][2]);
  }
}
