#include<iostream>
#include<stdio.h>
using namespace std;




int main() {
	int T, H, S, time;
	while (true) {
		cin >> T >> H >> S;
		if (T == -1 && H == -1 && S == -1) {
			break;
		}
		time = 7200 - (T * 3600 + H * 60 + S);
		printf("%02d:%02d:%02d\n", time / 3600, (time % 3600) / 60, (time % 3600) % 60);
		time = 3 * time;
		printf("%02d:%02d:%02d\n", time / 3600, (time % 3600) / 60, (time % 3600) % 60);



	}
	return 0;
}
