#include <bits/stdc++.h>

using namespace std;

int main(){

        int hour, minute, second, time[2];

        while(cin >> hour >> minute >> second){

                if(hour == -1 && minute == -1 && second == -1) break;

                time[0] = 120 * 60 - (hour * 3600 + minute * 60 + second);
                time[1] = time[0] * 3;

                for(int i = 0; i < 2; ++i)  printf("%02d:%02d:%02d\n", time[i] / 3600, time[i] % 3600 / 60, time[i] % 3600 % 60);

        }

}