#include <bits/stdc++.h>
using namespace std;
int main(void){
    int t,h,s;
    while (cin>>t>>h>>s) {
        if (t==-1&&h==-1&&s==-1) {
            break;
        } else {
            s=t*60*60+h*60+s;
            int normal=120*60-s;
            int comp=(120*60-s)*3;
            
            t=normal/3600;
            h=(normal%3600)/60;
            s=(normal%60);
            string tmp_t=to_string(t);
            if (tmp_t.size()==1) {
                cout<<0<<t<<":";
            } else {
                cout<<t<<":";
            }
            string tmp_h=to_string(h);
            if (tmp_h.size()==1) {
                cout<<0<<h<<":";
            } else {
                cout<<h<<":";
            }
            string tmp_s=to_string(s);
            if (tmp_s.size()==1) {
                cout<<0<<s<<endl;
            } else {
                cout<<s<<endl;
            }
            
            t=comp/3600;
            h=(comp%3600)/60;
            s=(comp%60);
            string tmp_3t=to_string(t);
            if (tmp_3t.size()==1) {
                cout<<0<<t<<":";
            } else {
                cout<<t<<":";
            }
            string tmp_3h=to_string(h);
            if (tmp_3h.size()==1) {
                cout<<0<<h<<":";
            } else {
                cout<<h<<":";
            }
            string tmp_3s=to_string(s);
            if (tmp_3s.size()==1) {
                cout<<0<<s<<endl;
            } else {
                cout<<s<<endl;
            }
        }
    }
}

