#include<bits//stdc++.h>
using namespace std;
int main(){
	int a,b,c;
	while(cin>>a>>b>>c,a+1||b+1||c+1){
		int d=7200;
		int f=a*3600+b*60+c;
		d-=f;
		printf("%.2d:%.2d:%.2d\n",d/3600,d%3600/60,d%3600%60);
		d*=3;
		printf("%.2d:%.2d:%.2d\n",d/3600,d%3600/60,d%3600%60);
	}
}