#include <bits/stdc++.h>
using namespace std;
int main() {
  int H, M, S;
  while (cin >> H >> M >> S, H != -1 && M != -1 && S != -1) {
    S += M * 60 + H * 3600;
    S = 2 * 3600 - S;
    printf("%02d:%02d:%02d\n", S / 3600, S / 60, S % 60);
    S *= 3;
    printf("%02d:%02d:%02d\n", S / 3600, S / 60 % 60, S % 60);
  }
  return 0;
}
