#include "bits/stdc++.h"
using namespace std;
using namespace std;

int main() {
	int a, b, c;
	while (cin >> a >> b >> c) {
		if (a == -1 || b == -1 || c == -1)
			break;
		int second = 7200 - (a * 3600 + b * 60 + c);
		printf("%02d:%02d:%02d\n", second / 3600, second / 60%60, second % 60);
		second = second * 3;
		printf("%02d:%02d:%02d\n", second / 3600, second / 60 % 60,
				second % 60);
	}
}