#include <bits/stdc++.h>
int main() {
  int h, m, s, a, b, c, d = 60, e = d * d;
  while (std::cin >> h >> m >> s, h >= 0) {
    a = e * 2 - (c = h * e + m * d + s);
    b = e * 2 - c / 3;
    printf(
        "%02d:%02d:%02d\n"
        "%02d:%02d:%02d\n",
        a / e, a / d % d, a % d, b / e, b / d % d, b % d);
  }
}
