#include <bits/stdc++.h>
#define range(i,a,b) for(int (i)=(a);(i)<(b);(i)++)
#define rep(i,n) range(i,0,n)
using namespace std;

void inline output(int res){
	int h=res/3600;
	int m=(res/60)%60;
	int s=res%60;
	printf("%02d:%02d:%02d\n",h,m,s);
}

int main(void){
	int h,m,s;
	while(cin >> h >> m >> s){
		if(h==-1) break;
		int sum=3600*h+60*m+s;
		int res=3600*2-sum;
		output(res);
		output(res*3);
	}
	return 0;
}