#include<iostream>
#include<math.h>
#include<vector>
#include<algorithm>
#include<cstdio>
using namespace std;

int main(){
int t,h,s,sec,sec3;

while(1){
    cin>>t>>h>>s;
    if(t==-1&&h==-1&&s==-1){
        break;
    }
    sec = 7200 - (3600*t+60*h+s);
    sec3=3*sec;

    printf("%02d:%02d:%02d\n",sec/3600,(sec%3600)/60,(sec%3600)%60);
    printf("%02d:%02d:%02d\n",sec3/3600,(sec3%3600)/60,(sec3%3600)%60);
}
    return 0;
}
