#include <cstdio>
#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;

int main(){

	int h,m,s;
	while(cin>>h>>m>>s&&!(h==-1&&m==-1&&s==-1)){
		int lefts=120*60;
		int nh,nm,ns;

		lefts-=(h*60*60+m*60+s);

		nh=lefts/3600;
		lefts%=3600;
		nm=lefts/60;
		lefts%=60;
		ns=lefts;
		printf("%02d:%02d:%02d\n",nh,nm,ns);

		lefts=(120*60-(h*60*60+m*60+s))*3;
		nh=lefts/3600;
		lefts%=3600;
		nm=lefts/60;
		lefts%=60;
		ns=lefts;
		printf("%02d:%02d:%02d\n",nh,nm,ns);
	}

	return 0;
}