#include<bits/stdc++.h>
#define rep(i,n)for(ll i=0;i<n;i++)
using namespace std;
typedef long long ll;

int main() {
	int t, h, s;
	while (cin >> t >> h >> s, ~t) {
		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;
}