#include <cstdio>

int main() {
	int res = 120;
	int h, m, s;
	while (scanf("%d%d%d", &h, &m, &s)) {
		if (h==-1&&m==-1&&s==-1) break;
		m += h * 60;
		res -= m;
		if (s != 0) {
			res--;
			s = 60 - s;
		}
		h = 0;
		while (res >= 60) {
			h++;
			res -= 60;
		}
		m = res;
		printf("%02d:%02d:%02d\n", h, m, s);
		res += h * 60;
		res *= 3;
		s *= 3;
		res += s / 60;
		s -= s / 60 * 60;
		h = 0;
		while (res >= 60) {
			h++;
			res -= 60;
		}
		m = res;
		printf("%02d:%02d:%02d\n", h, m, s);
	}
}