#include <bits/stdc++.h>
using namespace std;

#define FOR(i, a, b) for (int i = (a); i < (b); i++)
#define REP(i, n) for (int i = 0; i < (n); i++)

int main()
{
  int h, m, s;

  while (cin >> h >> m >> s, h + m + s != -3){
    int a = 3600 * 2 - (h * 3600 + m * 60 + s);
    printf("%02d:%02d:%02d\n", a / 3600, a % 3600 / 60, a % 60);
    printf("%02d:%02d:%02d\n", a * 3 / 3600, a * 3 % 3600 / 60, a * 3 % 60);
  }
}