#include<iostream>
#include<cstdio>
using namespace std;

int main() {
  int h,m,s;
  while(1) {
    cin>>h>>m>>s;
    if(h == -1) break;
    int ah = 2,mh = 0,sh = 0;
    if(s > sh) {
      ah--;
      mh = 59;
      sh = 60-s;
    }
    if(m > mh) {
      ah--;
      mh = 60 - m;
    }
    ah -= h;
    printf("0%d:", ah);
    if(mh < 10) printf("0%d:", mh);
    else printf("%d:", mh);
    if(sh < 10) printf("0%d\n", sh);
    else printf("%d\n", sh);
    ah *= 3;
    mh *= 3;
    if(mh > 60) ah += mh/60;
    mh %= 60;
    sh *= 60;
    if(sh > 60) mh += sh/60;
    sh %= 60;
    printf("0%d:%2d:", ah, mh);
    if(sh < 10) printf("0%d\n", sh);
    else printf("%d\n", sh);
  }
}