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