#include<iostream>
#include<string>
#include<sstream>
#include<vector>
#include<map>
#include<cctype>
#include<cstdlib>
using namespace std;
#define REP(i, j) for(int i = 0; i < j; i++)
#define FOR(i, j, k) for(int i = j; i < k; i++)
const int N = 120 * 60;
const int N3 = N * 3;

void disp(int n){
    stringstream ss;
    int h = n / (60 * 60);
    n -= (h * 60 * 60);
    int m = n / 60, s = (n - (m *  60));
    ss <<(h < 10? "0" : "") <<h <<":";
    ss <<(m < 10? "0" : "") <<m <<":";
    ss <<(s < 10? "0" : "") <<s;
    cout <<ss.str() <<endl;
}


int main(){
    int h, m, s;
    while(cin >>h >>m >>s && h != -1){
        int sum = s + (m * 60) + (h * 60 * 60);
        disp(N - sum);
        disp(N3 - 3 * sum);
    }
    return 0;
}