#include <cstdio>
using namespace std;

int main()
{
	int h,m,s,r1,r3;
	while(scanf("%d %d %d",&h,&m,&s), h!=-1&&m!=-1&&s!=-1)
	{
		r1 = 120*60 - (((h*60)+m)*60+s);
		r3 = r1*3;

		printf("%02d:%02d:%02d\n",r1/3600,(r1/60)%60,r1%60);
		printf("%02d:%02d:%02d\n",r3/3600,(r3/60)%60,r3%60);
	}
}