#include <bits/stdc++.h>
int main(void) {
  int a, s, d, z, x, c, f, k, v, b, n, i;
  scanf("%d %d %d", &a, &s, &d);
  while (!(a == -1 && s == -1 && d == -1)) {
    for (i = 1; i <= 100; i++) {
      f = (120 * 60 - (s * 60 + a * 3600 + d)) / 60;
      k = (120 * 60 - (s * 60 + a * 3600 + d)) % 60;
      x = f / 60;
      c = f % 60;
      z = f * 3 / 60;
      n = f * 3 % 60;
      v = z / 60;
      b = z % 60;
    }
    printf("%02d:%02d:%02d\n", x, c, k);
    printf("%02d:%02d:%02d\n", b, n, v);
    scanf("%d %d %d", &a, &s, &d);
  }
  return 0;
}
