#include <bits/stdc++.h>
using namespace std;
int main() {
  int T, H, S, t3, h3, s3, sum, t, h, s;
  for (;;) {
    cin >> T >> H >> S;
    if (T == -1) break;
    t3 = T * 3600 * 3;
    h3 = H * 60 * 3;
    s3 = S * 3;
    sum = 7200 - (t3 + h3 + s3);
    t = sum / 3600;
    s = sum % 60;
    h = (sum - (t * 3600) - s) / 60;
    printf("%2d:%2d:%2d", T, H, S);
    cout << endl;
    printf("%2d:%2d:%2d", t, h, s);
    cout << endl;
  }
  return 0;
}
