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