#include <iostream>
#include <cstdio>
#include <cstring>
#include <sstream>
#include <algorithm>
#include <math.h>
#include <map>
#include <functional>
#include <iomanip>
#include <vector>
#include <queue>
#include <stack>
#include <set>
#include <typeinfo>
#define PI 3.14159265359
#define INF 99999999
#define rep(i, n) for(int i=0; i<n; i++)
#define REP(n) rep(i, n)
#define pb push_back
#define mp make_pair
typedef long long ll;
using namespace std;
typedef pair<int, int> P;

int h, m, s;
int sum_s, rest_s, rest_s_3;

int main()
{
	while (cin >> h >> m >> s)
	{
		if (h == -1 && m == -1 && s == -1) break;
		sum_s = 3600 * h + 60 * m + s;
		rest_s = 7200 - sum_s;
		rest_s_3 = rest_s * 3;
		printf("%02d:%02d:%02d\n", rest_s / 3600, (rest_s % 3600) / 60, (rest_s % 3600) % 60);
		printf("%02d:%02d:%02d\n", rest_s_3 / 3600, (rest_s_3 % 3600) / 60, (rest_s_3 % 3600) % 60);
	}

	return 0;
}