#include<iostream>
#include<cstdio>
#include<string>
#include<cstdlib>
using namespace std;

int main()
{
    int h,m,s;
    while(cin >> h >> m >> s)
    {
        if(h==-1&&m==-1&&s==-1)break;
        int rest[3]={};
        rest[2]=120*60-( 60*60*h + 60*m + s);
        int rest3[3]={};
        rest3[2]=rest[2] * 3;
        //rests -= (h*60*60 + m*60 + s);
        rest[0] = rest[2]/3600;
        rest[1] = (rest[2] - rest[0]*3600)/60;
        rest[2] = rest[2] % 60;
        rest3[0] = rest3[2] / 3600;
        rest3[1] = (rest3[2] - rest3[0]*3600)/60;
        rest3[2] = rest3[2] % 60;
        string ans1 = "",ans2="";
        char t1[2],t2[2];
        for(int i=0;i<3;i++)
        {
            t1[0] = (char)(rest[i]/10 +'0');
            t1[1] = (char)(rest[i]%10 +'0');
            t2[0] = (char)(rest3[i]/10 +'0');
            t2[1] = (char)(rest3[i]%10 +'0');
            ans1 += t1[0];
            ans1 += t1[1];
            ans2 += t2[0];
            ans2 += t2[1];
            if(i==2)break;
            ans1+= ":"; ans2+= ":";
        }
        cout << ans1<< endl;
        cout << ans2 << endl;
    }
    return 0;
}