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

int main(){
	int a, b, c, nokori, nokori_3bai;
	while(true){
		cin>>a>>b>>c;
		if(a==-1 && b==-1 && c==-1)break;
		nokori = 120*60;
		nokori = nokori - (3600*a + 60*b + c);
		nokori_3bai = nokori*3;
		printf("%02d:%02d:%02d\n", nokori/3600, (nokori/60)%60, (nokori)%60);
		printf("%02d:%02d:%02d\n", nokori_3bai/3600, (nokori_3bai/60)%60, (nokori_3bai)%60);
	}
	return 0;
}