#include <bits/stdc++.h>
using namespace std;
stack<short> x, y;
short h, m, s, ans;
int main() {
  while (true) {
    scanf("%d %d %d", &h, &m, &s);
    if (h == -1 && m == -1 && s == -1) return 0;
    s += m * 60 + h * 3600;
    ans = (120 * 60) - s;
    printf("%02d:%02d:%02d\n", ans / 3600, ans % 3600 / 60, ans % 60);
    ans *= 3;
    printf("%02d:%02d:%02d\n", ans / 3600, ans % 3600 / 60, ans % 3600 % 60);
  }
}
