#include <bits/stdc++.h>
int main(void) {
  int v, h2, m2, s2, s, h, m, g, e, f, d, a, b, c;
  scanf("%d %d %d", &a, &b, &c);
  while (a != -1 && b != -1 && c != -1) {
    e = a * 60;
    g = (e + b) * 60 + c;
    f = (2 * 3600) - g;
    h = f / 3600;
    m = (f - (h * 3600)) / 60;
    s = f - (h * 3600 + m * 60);
    v = (2 * 3600) - g / 3;
    h2 = v / 3600;
    m2 = (v - (h2 * 3600)) / 60;
    s2 = v - (h2 * 3600 + m2 * 60);
    printf("%02d:%02d:%02d\n", h, m, s);
    printf("%02d:%02d:%02d\n", h2, m2, s2);
    scanf("%d %d %d", &a, &b, &c);
  }
  return 0;
}
