#include <iostream>
#include <cstdio>

using namespace std;

typedef long long ll;

const int T = 120*60;

int main()
{
	ll h, s, m;
	ll t;

	while (cin >> h >> m >> s && h != -1 ){
		t = (ll)T - (h*60*60 + m*60 + s );
		printf ("%02lld:%02lld:%02lld\n", t/3600, t%3600/60, t%3600%60 );
		t *= 3L;
		printf ("%02lld:%02lld:%02lld\n", t/3600, t%3600/60, t%3600%60 );
	} // end loop

	return 0;
}