#include <iostream>
#include <cstdio>

using namespace std;

int main()
{
        const int T2S = 3600, H2S = 60;
        const int MAXS = 120 * H2S;
        int t, h, s;

        while (true) {
                cin >> t >> h >> s;
                if (t < 0 && h < 0 && s < 0) {
                        break;
                }
                int sec = t * T2S + h * H2S + s;
                int ans = MAXS - sec;
                int ans3bai = ans * 3;
                int t2 = ans / T2S, t23bai = ans3bai / T2S;
                ans %= T2S, ans3bai %= T2S;
                int h2 = ans / H2S, h23bai = ans3bai / H2S;
                int s2 = ans % H2S, s23bai = ans3bai % H2S;

                printf("%02d:%02d:%02d\n", t2, h2, s2);
                printf("%02d:%02d:%02d\n", t23bai, h23bai, s23bai);
        }
}