#define scanf_s scanf
//#define gets_s gets
#include <stdio.h>
#include <string>
#include <iostream>
#include <math.h>
using namespace std;
#define MAX 1000//0
#define _MAX 81
int main(void)
{
	int max = 120 * 60;
	int t, h, s, s3;
	while (1) {
		scanf_s("%d %d %d", &t, &h, &s);
		if ((t == -1 && h == -1) && s == -1) break;
		h += t * 60; 
		s += h * 60;
		s = max - s;
		s3 = s * 3;
		h = 0; t = 0;
		if (s > 0) {
			h = s / 60;
			s %= 60;
		}
		if (h > 0) {
			t = h / 60;
			h %= 60;
		}
		if (t > 0 && t / 10 > 0) printf("%d:", t);
		else printf("0%d:", t);
		if (h > 0 && h / 10 > 0) printf("%d:", h);
		else printf("0%d:", h);
		if (s > 0 && s / 10 > 0) printf("%d\n", s);
		else printf("0%d\n", s);
		h = 0; t = 0;
		if (s3 > 0) {
			h = s3 / 60;
			s3 %= 60;
		}
		if (h > 0) {
			t = h / 60;
			h %= 60;
		}
		if (t > 0 && t / 10 > 0) printf("%d:", t);
		else printf("0%d:", t);
		if (h > 0 && h / 10 > 0) printf("%d:", h);
		else printf("0%d:", h);
		if (s3 > 0 && s3 / 10 > 0) printf("%d\n", s3);
		else printf("0%d\n", s3);
	}

}