#include<iostream>
#include<string>
#include<cstdio>
#include<algorithm>
#include<stack>
#include<queue>
#include<vector>
#include<cmath>
#include<cstring>
#include<utility>
#include<set>
#include<stack>
#include<complex>
#include<bitset>
#define vi vector<int>
#define vvi vector<vector<int> >
#define ll long long int
#define vl vector<ll>
#define vvl vector<vector<ll>>
#define vb vector<bool>
#define vc vector<char>
#define vs vector<string>
#define ld long double
#define INF 1e9
#define EPS 0.0000000001
#define rep(i,n) for(int i=0;i<n;i++)
#define CC puts("-------ok--------");
#define all(in) in.begin(), in.end()
#define bv vector<bool>
using namespace std;
typedef pair<int, int>PA;
using namespace std;
#define MAX  999999
int main(){
	int h,m,s;
	while(cin>>h>>m>>s,!(h+m+s==-3)){
		int r=3600*2-(h*3600+m*60+s);int hoge=3*r;
		int th=r/3600; r%=3600;
		int tm=r/60; r%=60;
		int ts=r;
		printf("%02d:%02d:%02d\n",th,tm,ts);	
		 th=hoge/3600; hoge%=3600;
		tm=hoge/60; hoge%=60;
		ts=r;	
		printf("%02d:%02d:%02d\n",th,tm,ts);	

		
	}
}