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