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

int h,m,s;

int main(){
    while(1){
        cin>>h>>m>>s;
        if(h==-1&&m==-1&&s==-1) break;
        int sec = h*3600 + m*60 + s;
        int ans1 = 3600*2 - sec;
        int ans2 = ans1*3;
        printf("%02d:%02d:%02d\n",
               ans1/3600, ans1%3600/60, ans1%60 );
        printf("%02d:%02d:%02d\n",
               ans2/3600, ans2%3600/60, ans2%60);
    }

    return 0;
}