#include<stdio.h>
int main(){
  int t,h,s,sum;
  while(scanf("%d %d %d",&t,&h,&s),t!=-1&&h!=-1&&s!=-1){
    sum = 120*60 - t*3600 - h*60 - s;
    printf("%02d:%02d:%02d\n",sum/3600,(sum/60)%60,sum%60);
    sum *= 3;
    printf("%02d:%02d:%02d\n",sum/3600,(sum/60)%60,sum%60);
  }  
  return(0);
}

