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

int main() {
    int h, m, s;
    while (cin >> h >> m >> s && (0 <= h)) {
        int second = 7200 - (h * 3600 + m * 60 + s);
        int hh, mm, ss;
        hh = second / 3600;
        mm = (second % 3600) / 60;
        ss = second % 60;
        cout << (10 <= hh ? "" : "0") << hh << ":";
        cout << (10 <= mm ? "" : "0") << mm << ":";
        cout << (10 <= ss ? "" : "0") << ss << endl;
        second *= 3;
        hh = second / 3600;
        mm = (second % 3600) / 60;
        ss = second % 60;
        cout << (10 <= hh ? "" : "0") << hh << ":";
        cout << (10 <= mm ? "" : "0") << mm << ":";
        cout << (10 <= ss ? "" : "0") << ss << endl;
    }
    return 0;
}