#include <iostream>
#include <vector>
#include <algorithm>
#include <math.h>
using namespace std;
typedef long long int ll;

int main(){
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	int t, h, s;
	while (cin >> t >> h >> s, t+h+s!=-3) {
		int cnt = t * 3600 + h * 60 + s;
		cnt = 7200 - cnt;
		int cnt3 = cnt * 3;
		int a = cnt / 3600; cnt %= 3600;
		int b = cnt / 60; cnt %= 60;
		int c = cnt3 / 3600; cnt3 %= 3600;
		int d = cnt3 / 60; cnt3 %= 60;
		printf("%02d:%02d:%02d\n%02d:%02d:%02d\n", a, b, cnt, c, d, cnt3);
	}
	return 0;
} 
