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