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