#include <bits/stdc++.h>
using namespace std;
int main() {
  int a, b, c;
  while (true) {
    scanf("%d %d %d", &a, &b, &c);
    if (a == -1 && b == -1 && c == -1) break;
    int d = 7200;
    int f = a * 3600 + b * 60 + c;
    d -= f;
    int t, h, s;
    s = d % 60;
    d -= s;
    d /= 60;
    h = d % 60;
    d -= h;
    d /= 60;
    t = d;
    printf("%.2d:%.2d:%.2d\n", t, h, s);
    d = 7200 - f / 3;
    s = d % 60;
    d -= s;
    d /= 60;
    h = d % 60;
    d -= h;
    d /= 60;
    t = d;
    printf("%.2d:%.2d:%.2d\n", t, h, s);
  }
}
