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