#include <bits/stdc++.h>
using namespace std;
int main() {
  int time[3];
  while (1) {
    for (int i = 0; i < 3; i++) {
      cin >> time[i];
    }
    if (time[0] == -1 && time[1] == -1 && time[2] == -1) {
      break;
    }
    if (time[0] == 2) {
      cout << "00:00:00" << endl;
      cout << "06:00:00" << endl;
      continue;
    }
    int ans[3] = {1, 59, 59};
    for (int i = 0; i < 3; i++) {
      ans[i] -= time[i];
    }
    if (ans[2] + 1 == 60) {
      ans[2] = 0;
      ans[1]++;
    } else {
      ans[2]++;
    }
    if (ans[1] == 60) {
      ans[1] = 0;
      ans[0]++;
    }
    for (int i = 0; i < 2; i++) {
      if (!(ans[i] / 10)) {
        cout << '0' << ans[i] << ':';
      } else {
        cout << ans[i] << ':';
      }
    }
    if (!(ans[2] / 10)) {
      cout << '0' << ans[2] << endl;
    } else {
      cout << ans[2] << endl;
    }
    for (int i = 0; i < 3; i++) {
      ans[i] *= 3;
    }
    int hh = ans[2] / 60;
    ans[2] %= 60;
    ans[1] += hh;
    int mm = ans[1] / 60;
    ans[0] += mm;
    ans[1] %= 60;
    for (int i = 0; i < 2; i++) {
      if (!(ans[i] / 10)) {
        cout << '0' << ans[i] << ':';
      } else {
        cout << ans[i] << ':';
      }
    }
    if (!(ans[2] / 10)) {
      cout << '0' << ans[2] << endl;
    } else {
      cout << ans[2] << endl;
    }
  }
  return 0;
}
