#include<stdio.h>
int main(){
  int h,m,s,s3,m3,h3;
  while(1){
    scanf("%d %d %d",&h,&m,&s);
    if(h==-1&&m==-1&&s==-1)break;
    m+=60*h;
    s+=60*m;
    s=(120*60)-s;
    s3=3*s;
    h=s/3600;
    h3=s3/3600;
    s%=3600;
    s3%=3600;
    m=s/60;
    m3=s3/60;
    s%=60;
    s3%=60;
    printf("%02d:%02d:%02d\n%02d:%02d:%02d\n",h,m,s,h3,m3,s3);
  }
  return 0;
}