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