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