#include <bits/stdc++.h>
using namespace std;
void output(int second) {
  printf("%02d:", second / 60 / 60);
  second -= second / 60 / 60 * 60 * 60;
  printf("%02d:", second / 60);
  second -= second / 60 * 60;
  printf("%02d\n", second);
}
int main() {
  int hour, minutes, second;
  int allSecond;
  while (cin >> hour >> minutes >> second, hour + minutes + second != -3) {
    second += minutes * 60 + hour * 60 * 60;
    allSecond = second;
    second = 2 * 60 * 60 - second;
    output(second);
    second = 2 * 60 * 60 - allSecond / 3;
    output(second);
  }
}
