#include<bits/stdc++.h>
using namespace std;
int main()
{
    int ti,mi,se,sammin,thrti,afh,afm,afs;
    while(cin>>ti>>mi>>se&&ti!=-1&&mi!=-1&&se!=-1){
        sammin=120*60-(ti*3600+mi*60+se);
        afh=sammin/3600;afm=sammin%3600/60;afs=sammin%3600%60;
        thrti=sammin*3;
        printf("%0.2d:%0.2d:%0.2d\n",afh,afm,afs);
        afh=thrti/3600;afm=thrti%3600/60;afs=thrti%3600%60;
        printf("%0.2d:%0.2d:%0.2d\n",afh,afm,afs);
    }
}