#include <bits/stdc++.h>

using namespace std;

int main()
{
    int h, m, s;
     
    while (cin >> h >> m >> s, h >= 0) {
        int tl = (3600 * 2) - (3600 * h + 60 * m + s), tri = tl * 3;
        printf("%02d:%02d:%02d\n", tl/60/60, tl/60%60, tl%60);
        printf("%02d:%02d:%02d\n", tri/60/60, tri/60%60, tri%60);
    }
    return 0;
}