#include<iostream>
#include<cstdio>
using namespace std;
int main(){
long h,m,s,r,r1,r2,r3;
while(cin>>h){
cin>>m>>s;
if(h==-1)break;
r=7200-h*3600-m*60-s;
r1=r/3600;
r2=(r-r1*3600)/60;
r3=r-r1*3600-r2*60;
printf("%02d:%02d:%02d\n",r1,r2,r3);
r*=3;
r1=r/3600;
r2=(r-r1*3600)/60;
r3=r-r1*3600-r2*60;
printf("%02d:%02d:%02d\n",r1,r2,r3);
}
return 0;
}