#include <bits/stdc++.h>
int toSec(int h, int m, int s) { return 3600 * h + 60 * m + s; }
void printTime(int sec) {
  int h, m;
  h = sec / 3600;
  sec %= 3600;
  m = sec / 60;
  sec %= 60;
  printf("%02d:%02d:%02d\n", h, m, sec);
}
int main(void) {
  int h, m, s;
  while (1) {
    scanf("%d%d%d", &h, &m, &s);
    if (h == -1) break;
    s = toSec(h, m, s);
    printTime(7200 - s);
    printTime(7200 - s / 3);
  }
  return 0;
}
