#include <iostream>
#include <cstdio>
using namespace std;

void print(int time) {
    int second = time % 60;
    int minute = time / 60;
    int hour = minute / 60;
    minute %= 60;
    printf("%02d:%02d:%02d\n", hour, minute, second);
    
}

int main(void) {
    int all = 120 * 60;
    int hour, minute, second;
    while(cin >> hour >> minute >> second, hour != -1 && minute != -1 && second != -1) {
        int time = second + minute * 60 + hour * 60 * 60;
        print(all - time);
        print((all - time) * 3);
    }
    return(0);
}