#include<iostream>
using namespace std;

int main(void){
	while(1){
		int time=7200;
		int h,t,m;
		scanf("%d%d%d",&h,&t,&m);
		if(h==-1 && t==-1 && m==-1)break;
		time-=h*3600+t*60+m;
		printf("%02d:%02d:%02d\n",time/3600,time%3600/60,time%60);
		time*=3;
		printf("%02d:%02d:%02d\n",time/3600,time%3600/60,time%60);
	}
    return 0;
}