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