#include <bits/stdc++.h>
int main(void) {
  int i;
  int h, m, s;
  int t, t3;
  while (scanf("%d %d %d", &h, &m, &s), h != -1 || m != -1 || s != -1) {
    t = 7200;
    t -= (h * 3600) + (m * 60) + s;
    t3 = t * 3;
    h = t / 3600;
    t %= 3600;
    m = t / 60;
    t %= 60;
    s = t;
    printf("%d:%d:%d\n", h, m, s);
    h = t3 / 3600;
    t3 %= 3600;
    m = t3 / 60;
    t3 %= 60;
    s = t3;
    printf("%d:%d:%d\n", h, m, s);
  }
  return (0);
}
