#include <stdio.h>
#include<math.h>
#include <algorithm>
using namespace std;
 
int main(){
 
    int T,H,S,seconds,seconds3;
 
    while(true){
        scanf("%d %d %d",&T,&H,&S);
        if(T == -1 && H == -1 && S == -1)break;
        seconds = 7200 - (3600*T + 60*H + S);
        seconds3 = 3*seconds;
        printf("%02d:%02d:%02d\n",seconds/3600,(seconds%3600)/60,(seconds%3600)%60);
        printf("%02d:%02d:%02d\n",seconds3/3600,(seconds3%3600)/60,(seconds3%3600)%60);
    }
 
    return 0;
}
