#include <stdio.h>

int main(void)
{
	int i;
	int h, m, s;
	int t, t3;
	
	while (scanf("%d %d %d", &h, &m, &s), h != -1 || m != -1 || s != -1){
		t = 7200;
		t -= (h * 3600) + (m * 60) + s;
		t3 = t * 3;
		h = t / 3600;
		t %= 3600;
		m = t / 60;
		t %= 60;
		s = t;
		printf("%d:%d:%d\n", h, m, s);
		h = t3 / 3600;
		t3 %= 3600;
		m = t3 / 60;
		t3 %= 60;
		s = t3;
		printf("%d:%d:%d\n", h, m, s);
	}
	
	return (0);
}