#include <stdio.h>
#include <math.h>

int main(void){
	int h, m, s;

	while(1){
		scanf("%d %d %d", &h, &m, &s);
		if(h == -1 && m == -1 && s == -1) break;

		int time = h*3600 + m*60 + s;
		int rem = 2*3600 - time;
		
		printf("%02d:%02d:%02d\n", rem/3600, (rem % 3600)/60, rem % 60);
		rem = (6*3600 - time) / 3;
		printf("%02d:%02d:%02d\n", rem/3600, (rem % 3600)/60, rem % 60);
	}

	return 0;
}