#include <iostream>

using namespace std;

const int max_t = 120 * 60;

inline int get_time(int h, int m, int s)
{
    return (h * 60 + m) * 60 + s;
}

void print_time(int t)
{
    int h, m;
    
    h = t / 3600;
    t = t - h * 3600;
    m = t / 60;
    t = t - m * 60;

    cout << '0' << h << ':';
    if (m / 10)
        cout << m << ':';
    else
        cout << '0' << m << ':';
    if (t / 10)
        cout << t << endl;
    else
        cout << '0' << t << endl;
}

int main()
{
    int h, m, s;

    while (cin >> h >> m >> s, h != -1 || m != -1 || s != -1) {
        int res = max_t - get_time(h, m, s);

        print_time(res);
        print_time(3 * res);
    }

    return 0;
}