#include <bits/stdc++.h>
int exhr(int a);
int exmin(int b);
int exsec(int c);
int main() {
  int hr, min, sec;
  int x;
  while (scanf("%d %d %d", &hr, &min, &sec) != EOF) {
    if ((hr == -1) && (min == -1) && (sec == -1)) {
      break;
    }
    x = (120 * 60) - ((hr * 3600) + (min * 60) + sec);
    printf("%02d:%02d:%02d\n", exhr(x), exmin(x), exsec(x));
    printf("%02d:%02d:%02d\n", exhr(3 * x), exmin(3 * x), exsec(3 * x));
  }
  return 0;
}
int exhr(int a) { return (int)(a / 3600); }
int exmin(int b) {
  if ((b / 60) < 60) {
    return (int)(b / 60);
  } else if ((b / 60) == 120) {
    return 0;
  } else {
    return (int)((b / 60) - 60);
  }
}
int exsec(int c) { return (int)(c % 60); }
