#include <bits/stdc++.h>
using namespace std;
int main() {
  int h, m, s;
  while (cin >> h >> m >> s && !(h == -1 && m == -1 && s == -1)) {
    int lefts = 120 * 60;
    lefts -= (h * 60 * 60 + m * 60 + s);
    int nh, nm, ns;
    nh = lefts / 3600;
    lefts %= 3600;
    nm = lefts / 60;
    lefts %= 60;
    ns = lefts;
    printf("%02d:%02d:%02d\n", nh, nm, ns);
    lefts = 120 * 60 - (h * 60 * 60 + m * 60 + s) / 3;
    nh = lefts / 3600;
    lefts %= 3600;
    nm = lefts / 60;
    lefts %= 60;
    ns = lefts;
    printf("%02d:%02d:%02d\n", nh, nm, ns);
  }
  return 0;
}
