#include<iostream>
#include<iomanip>
#include<algorithm>
#include<array>
#include<bitset>
#include<cassert>
#include<cctype>
#include<cmath>
#include<cstdio>
#include<cstring>
#include<functional>
#include<limits>
#include<list>
#include<map>
#include<numeric>
#include<set>
#include<stack>
#include<string>
#include<sstream>
#include<queue>
#include<vector>
using namespace std;

using ll = long long;
using ull = unsigned long long;
using pii = pair<int, int>;

#define FOR(i,a,b) for(int i=(a);i<(b);i++)
#define RFOR(i,a,b) for(int i=(b)-1;i>=(a);i--)
#define REP(i,n) for(int i=0;i<(n);i++)
#define RREP(i,n) for(int i=(n)-1;i>=0;i--)
#define ALL(a) (a).begin(),(a).end()
#define DUMP(o) {cerr<<#o<<" "<<o<<endl;}
#define DUMPC(o) {cerr<<#o; for(auto &e:(o))cerr<<" "<<e;cerr<<endl;}
#define INF 0x3f3f3f3f
#define INFL 0x3f3f3f3f3f3f3f3fLL
const int MOD = 1e9 + 7;

//?§? ??? hh:mm:ss ???
string timeToStr(int s) {
	int hh = s / 3600;
	int mm = (s % 3600) / 60;
	int ss = s % 60;
	ostringstream stream;
	stream << setfill('0') << setw(2) << hh;
	stream << ":";
	stream << setfill('0') << setw(2) << mm;
	stream << ":";
	stream << setfill('0') << setw(2) << ss;
	return stream.str();
}

signed main() {
	for (int T, H, S; cin >> T >> H >> S&&T != -1;) {
		int a, b;
		a = 2 * 3600 - (T * 3600 + H * 60 + S);
		b = 2 * 3600 - (int)ceil((double)(T * 3600 + H * 60 + S) / 3);
		cout << timeToStr(a) << endl;
		cout << timeToStr(b) << endl;
	}
	return 0;
}