#include <cstdio>
#include <iostream>

using namespace std;

int main() {

	int h, m, s, t;

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

	return 0;

}