#include<iostream>
using namespace std;
int s[3], t[3], u[3], _time, vtime[2];
int main() {
	while (true) {
		cin >> s[0] >> s[1] >> s[2];
		if (s[0] == -1) { break; }
		_time = s[0] * 3600 + s[1] * 60 + s[2];
		vtime[0] = 7200 - _time;
		vtime[1] = 7200 - (_time / 3);
		t[0] = vtime[0] / 3600;
		t[1] = (vtime[0] / 60) % 60;
		t[2] = vtime[0] % 60;
		u[0] = vtime[1] / 3600;
		u[1] = (vtime[1] / 60) % 60;
		u[2] = vtime[1] % 60;
		for (int i = 0; i < 3; i++) {
			if (i) { cout << ':'; }
			if (t[i] < 10) { cout << '0' << t[i]; }
			else { cout << t[i]; }
		}
		cout << endl;
		for (int i = 0; i < 3; i++) {
			if (i) { cout << ':'; }
			if (u[i] < 10) { cout << '0' << u[i]; }
			else { cout << u[i]; }
		}
		cout << endl;
	}
}