#include<iostream>
#include<cstdio>
#include<utility>
#define loop(i,a,b) for(int i=a;i<b;i++)
#define rep(i,a) loop(i,0,a)
using namespace std;
typedef pair<int,int> pii;
typedef pair<pii,int> piii;

void print(piii p){
	if(p.first.first<10)cout<<0<<p.first.first;
	else cout<<p.first.first;
	cout<<":";
	if(p.first.second<10)cout<<0<<p.first.second;
	else cout<<p.first.second;
	cout<<":";
	if(p.second<10)cout<<0<<p.second<<endl;
	else cout<<p.second<<endl;
}

int main(){
	int h,m,s,rh,rm,rs,res=120*60;
	piii ans[2];
	while(1){
		scanf("%d %d %d",&h,&m,&s);
		if(h==-1 && m==-1 && s==-1)break;
		res=120*60-(h*60*60+m*60+s);
		rh=res/3600;
		res%=3600;
		rm=res/60;
		res%=60;
		rs=res;
		ans[0]=piii(pii(rh,rm),rs);
		res=120*60-(h*60*60+m*60+s);
		res*=3;
		rh=res/3600;
		res%=3600;
		rm=res/60;
		res%=60;
		rs=res;
		ans[1]=piii(pii(rh,rm),rs);
		print(ans[0]);
		print(ans[1]);
	}
	return 0;
}