#include "bits/stdc++.h"

#define REP(i,num) for(int i=0;i<(num);++i)
#define ALL(c) c.begin(),c.end()
#define LOOP(i) while(i--)
#define PRINTALL(c) for(auto& x:c){cout<<x<<' ';}cout<<endl;
#define PAIRCOMP(c,comp) [](const pair<ll,ll>& lhs,const pair<ll,ll>& rhs){return lhs.c comp rhs.c;}

using namespace std;
using ll = long long;

constexpr ll atcoder_mod = 1e9+7;

template<typename T=int>
T in(){T x; cin >> x; return (x);}
template<typename T=int,typename C=vector<T>>
C vecin(int N){C x(N);REP(i,N){x[i]=in<T>();}return move(x);}

void vout(){cout << endl;}
template<typename Head,typename... Tail>
void vout(Head&& h,Tail&&... t){cout << ' ' << h;vout(forward<Tail>(t)...);}
void out(){cout << endl;}
template<typename Head,typename... Tail>
void out(Head&& h,Tail&&... t){cout << h;vout(forward<Tail>(t)...);}

int main(){
	//cin.tie(0);
	//ios::sync_with_stdio(false);

	int T,H,S;
	while(true){
		cin>>T>>H>>S;
		if(T<0 && H<0 && S<0) break;
		int R = 60*60*2-T*60*60-H*60-S;
		int NS = R%60;
		R/=60;
		int NH = R%60;
		int NT = R/60;
		printf("%02d:%02d:%02d\n",NT,NH,NS);
		R = (60*60*2-T*60*60-H*60-S)*3;
		NS = R%60;
		R/=60;
		NH = R%60;
		NT = R/60;
		printf("%02d:%02d:%02d\n",NT,NH,NS);
	}
	
	return 0;
}
