#include <cstdio>
#include <algorithm>
using namespace std;
int a,b,c;
int main(){
	while(scanf("%d %d %d",&a,&b,&c) && a!=-1){
		int ru=a*3600+b*60+c;
		ru=7200-ru;
		int ans1=ru/3600;
		int ans2=(ru%3600)/60;
		int ans3=(ru%60);
		ru*=3;
		int bns1=ru/3600;
		int bns2=(ru%3600)/60;
		int bns3=(ru%60);
		printf("%02d:%02d:%02d\n%02d:%02d:%02d\n",ans1,ans2,ans3,bns1,bns2,bns3);
	}
}