#include <bits/stdc++.h>
using namespace std;
int main() {
  int h, m, s, r1, r3;
  while (scanf("%d %d %d", &h, &m, &s), h != -1 && m != -1 && s != -1) {
    r1 = 120 * 60 - ((h * 60) + m) * 60 + s;
    r3 = r1 * 3;
    printf("%02d:%02d:%02d\n", r1 / 3600, (r1 / 60) % 60, r1 % 60);
    printf("%02d:%02d:%02d\n", r3 / 3600, (r3 / 60) % 60, r3 % 60);
  }
}
