#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 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;
			}		
			
			if(b<0){
			a-=1;
			b+=60;
			}
		if(c<0){
			b-=1;
			c+=60;
			}		
			
			printf("%.2d:%.2d:%.2d\n",a,b,c);
		
		int d=a*3;
		int e=b*3;
		int f=c*3;
		
		if(f>=60){
			f-=60;
			e+=1;
			}
		if(f>=60){
			f-=60;
			e+=1;
			}	
			
		if(e>=60){
			e-=60;
			d+=1;
			}	
		if(e>=60){
			e-=60;
			d+=1;
			}
			
			printf("%.2d:%.2d:%.2d\n",d,e,f);	
	}
		return 0;
	}