#include <iostream>
#include <vector>
#include <algorithm>
#include <string>
#include <sstream>
#include <bitset>
 
#define INPUT_FROM_FILE (0) 
#if INPUT_FROM_FILE
#include <fstream>
#endif

void seconds_to_ths(int seconds, int &t, int &h, int &s){
	t = seconds / 3600; seconds %= 3600;
	h = seconds / 60; seconds %= 60;
	s = seconds;
}

int main(int argc, char **argv){
	int T, H, S;

#if INPUT_FROM_FILE
	std::ifstream ifs("test.txt");
	//FILE *fp = fopen("test.txt", "r");
#endif

#if INPUT_FROM_FILE
	while(ifs >> T >> H >> S){
#else
	while(std::cin >> T >> H >> S){
#endif
		if(T == -1 && H == -1 && S == -1){ break; }
		int total_seconds = 120 * 60;
		int record_seconds = 3600 * T + 60 * H + S;
		int rem_seconds = total_seconds - record_seconds;
		int t, h, s;

		seconds_to_ths(rem_seconds, t, h, s);
		printf("%02d:%02d:%02d\n", t, h, s);
		seconds_to_ths(3 * rem_seconds, t, h, s);
		printf("%02d:%02d:%02d\n", t, h, s);
	}


 
#if INPUT_FROM_FILE
	//fclose(fp);
#endif
    return 0;
}
