#include <bits/stdc++.h>
using namespace std;
int main() {
  int h, m, s;
  int a[2], b[2], c[2];
  while (cin >> h >> m >> s, h != -1 || m != -1 || s != -1) {
    int t1 = 3600 * 2;
    int t2 = t1;
    int sum1 = h * 3600 + m * 60 + s;
    int sum2 = (h * 3600 + m * 60 + s) / 3;
    t1 -= sum1;
    t2 -= sum2;
    a[0] = t1 / 3600;
    b[0] = (t1 - a[0] * 3600) / 60;
    c[0] = (t1 - (a[0] * 3600 + b[0] * 60));
    a[1] = t2 / 3600;
    b[1] = (t2 - a[1] * 3600) / 60;
    c[1] = (t2 - (a[1] * 3600 + b[1] * 60));
    for (int i = 0; i < 2; i++) printf("%02d:%02d:%02d\n", a[i], b[i], c[i]);
  }
}
