#include <iostream>
using namespace std;

int main(){
    int hour;
    int minute;
    int second;

    int epoch;
    int remain;
    int remain3;

    while(cin >> hour >> minute >> second, hour != -1 && minute != -1 && second != -1){
        epoch = hour * 3600 + minute * 60 + second;
        remain = 120 * 60 - epoch;
        remain3 = remain * 3;

        hour = remain / 3600;
        remain = remain % 3600;
        minute = remain / 60;
        remain = remain % 60;
        second = remain;

        printf("%d:%d:%d\n", hour, minute, second);

        hour = remain3 / 3600;
        remain3 = remain3 % 3600;
        minute = remain3 / 60;
        remain3 = remain3 % 60;
        second = remain3;

        printf("%d:%d:%d\n", hour, minute, second);
    }

    return 0;
}