#include <iostream>
using namespace std;

int main(void)
{
	int h, m, s;
	while (cin >> h >> m >> s){
		if (h == -1) break;
		int rest = 120 * 60;
		rest -= (h * 60 * 60);
		rest -= (m * 60);
		rest -= s;
		
		printf("%02d:%02d:%02d\n", rest / 3600, (rest / 60) % 60, rest % 60);
		rest *= 3;
		printf("%02d:%02d:%02d\n", rest / 3600, (rest / 60) % 60, rest % 60);
	}
	
	return 0;
}