/* 3???????????£???????????????????????± */

#include <cstdio>
using namespace std;

int t, h, s;

int main() {
  while (1) {
    scanf("%d%d%d", &t, &h, &s);
    if (t == -1 && h == -1 && s == -1) return 0;

    int rem_sec = 7200 - (t*3600 + h*60 + s);
    printf("%02d:%02d:%02d\n", rem_sec/3600, rem_sec%3600/60, rem_sec%60);
    rem_sec *= 3;
    printf("%02d:%02d:%02d\n", rem_sec/3600, rem_sec%3600/60, rem_sec%60);
  }
}