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

int main(){
    while(1){
        int h,m,s;
        cin >> h >> m >> s;
        if(h==-1) break;
        int t = 120*60 -h*3600 -m*60 -s;
        printf("%02d:%02d:%02d\n", t/3600, (t/60)%60, t%60);
        t *= 3;
        printf("%02d:%02d:%02d\n", t/3600, (t/60)%60, t%60);
    }
    return 0;
}

