#include <iostream>
#include <string>
#include <vector>
#include <cstdio>
using namespace std;
int main(){
    int T,H,S,t3,h3,s3,sum,sum3,t,h,s;
    for(;;){
        cin>>T>>H>>S;
        if(T==-1&&H==-1&&S==-1)break;
        sum=7200-(T*3600+H*60+S);
        t=sum/3600;
        s=sum%60;
        h=(sum-(t*3600)-s)/60;
        sum3=sum*3;
        t3=sum3/3600;
        s3=sum3%60;
        h3=(sum3-(t3*3600)-s3)/60;
        printf("%02d:%02d:%02d",t,h,s);
        cout<<endl;
        printf("%02d:%02d:%02d",t3,h3,s3);
        cout<<endl;
    }
    return 0;
}