#include<iostream>
#include<stdio.h>

int main()
{
	int h, m, s;
	
	while( 1 ){
	 	std::cin >> h >> m >> s;
		
		if( h == -1 && m == -1 && s == -1 ) break;
		
		int sec = h * 3600 + m * 60 + s;
		
		int ans1 = 7200 - sec;
		int ans2 = ans1 * 3;
		
		printf( "%02d:%02d:%02d\n", ans1 / 3600, ans1 % 3600 / 60, ans1 % 60 );
		printf( "%02d:%02d:%02d\n", ans2 / 3600, ans2 % 3600 / 60, ans2 % 60 );
	}

 	return 0;
}