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