#include <iostream>
using namespace std;

void ans( int i ) {

  if ( i < 10 ) cout << "0";
  cout << i;

  return;

}

int main() {

  int input1,input2,input3;

  while(true) {

    cin >> input1 >> input2 >> input3;
    if ( input1 == -1 ) break;

    int time = 7200 - input1 * 3600 - input2 * 60 - input3;

    for ( int i = 0; i < 2; i++ ) {
      ans( time/3600 );
      cout << ":";
      ans( (time%3600)/60 );
      cout << ":";
      ans( time%60 );
      cout << endl;
      time *= 3;
    }

  }

}