#include <cstdio>

using namespace std;

int main() {
    int t, h, s, max = 2*60*60;
    while (scanf("%d %d %d", &t, &h, &s) && t != -1) {
        int ss = max - (s + h*60 + t*60*60);
        printf("%02d:%02d:%02d\n", ss/60/60, ss/60%60, ss%60);
        ss *= 3;
        printf("%02d:%02d:%02d\n", ss/60/60, ss/60%60, ss%60);
    }

    return 0;
}