#include<bits/stdc++.h>
using namespace std;
main(){
  int a,b,c,t;
  while(cin>>a>>b>>c,a!=-1){
  t=2*3600-a*3600-b*60-c;
  printf("%02d:%02d:%02d\n",t/3600,(t%3600)/60,t%60);
  t*=3;
  printf("%02d:%02d:%02d\n",t/3600,(t%3600)/60,t%60);
  }
}