#include<bits/stdc++.h>
using namespace std;

int main(){
	int t,h,s;
	while(cin>>t>>h>>s&&t!=-1&&h!=-1&&s!=-1){
		int as=(s+(60*h)+(3600*t))/3;
		int ts=as%60;
		int th=((as-ts)/60)%60;
		int tt=(((as-ts)/60)-th)/60%60;
		int a,b,c;
		a=2-t;
		b=0-h;
		c=0-s;
		if(b<0){
			a-=1;
			b+=60;
			}
		if(c<0){
			b-=1;
			c+=60;
			}		
			
		cout<<'0'<<a<<":";
		if(b<10){cout<<'0';}
		cout<<b<<":";
		if(c<10){cout<<'0';}
		cout<<c<<endl;	
		
		int d,e,f;
		d=2-tt;
		e=0-th;
		f=0-ts;
		if(e<0){
			d-=1;
			e+=60;
			}
		if(f<0){
			e-=1;
			f+=60;
			}
		printf("%.2d:%.2d:%.2d\n",d,e,f);
	}
		return 0;
	}