#include <bits/stdc++.h>
const double PI = acos(-1);
const double EPS = 1e-10;
using namespace std;
int main() {
  int a, b, c;
  while (cin >> a >> b >> c, a + 1) {
    int sum = a * 3600 + b * 60 + c;
    int out = 7200 - sum;
    printf("%02d:%02d:%02d\n", out / 3600, (out % 3600) / 60, out % 60);
    out = 7200 - sum / 3;
    printf("%02d:%02d:%02d\n", out / 3600, (out % 3600) / 60, out % 60);
  }
}
