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