#include <bits/stdc++.h>
int main(void) {
  int h, m, s, h1, m1, s1, p, h2, m2, s2, h3, m3, s3, p1, p2;
  scanf("%d %d %d", &h, &m, &s);
  while (!(h == -1 && m == -1 && s == -1)) {
    h1 = h * 3600;
    m1 = m * 60;
    s1 = s;
    p = h1 + m1 + s1;
    p1 = 7200 - p;
    h2 = p1 / 3600;
    m2 = p1 / 60;
    s2 = p1 % 60;
    printf("0%d:", h2);
    if (m2 < 10) {
      printf("0%d:", m2);
    } else {
      printf("%d:", m2);
    }
    if (s2 < 10) {
      printf("0%d\n", s2);
    } else {
      printf("%d\n", s2);
    }
    p2 = p1 * 3;
    h3 = p2 / 3600;
    m3 = (p2 - (p1 * 2)) / 60;
    s3 = p2 % 60;
    printf("0%d:", h3);
    if (m3 < 10) {
      printf("0%d:", m3);
    } else {
      printf("%d:", m3);
    }
    if (s3 < 10) {
      printf("0%d\n", s3);
    } else {
      printf("%d\n", s3);
    }
    scanf("%d %d %d", &h, &m, &s);
  }
  return 0;
}
