#include <bits/stdc++.h>
using namespace std;
int main() {
  int h, m, s;
  while (1) {
    scanf("%d %d %d", &h, &m, &s);
    if (h == -1 && m == -1 && s == -1) break;
    int h1, m1, s1;
    int ans1 = 0;
    int ans2 = 0;
    s += h * 3600 + m * 60;
    ans1 = 7200 - s;
    ans2 = 7200 - (s / 3);
    h1 = ans1 / 3600;
    ans1 -= 3600 * h1;
    m1 = ans1 / 60;
    ans1 -= 60 * m1;
    s1 = ans1;
    h = ans2 / 3600;
    ans2 -= 3600 * h;
    m = ans2 / 60;
    ans2 -= 60 * m;
    s = ans2;
    printf("%02d:%02d:%02d\n%02d:%02d:%02d\n", h1, m1, s1, h, m, s);
  }
  return 0;
}
