#include <iostream>
#include <string>
#include <cstdio>
using namespace std;

string encode(int s) {
    char buf[10];
    int h = s / 3600;
    s -= h * 3600;
    int m = s / 60;
    s -= m * 60;
    sprintf(buf, "%02d:%02d:%02d", h, m, s);
    return string(buf);
}

int main() {
    int h, m, s;
    while (cin >> h >> m >> s) {
        if (h == -1 && m == -1 && s == -1) break;
        int rs = 120 * 60 - h * 3600 - m * 60 - s;
        int rs_3 = rs * 3;
        cout << encode(rs) << endl << encode(rs_3) << endl;
    }
    return 0;
}