#include <bits/stdc++.h>
using namespace std;
int hh, mm, ss;
void print_hms(int s) {
  int th, tm;
  if (s >= 3600) {
    th = s / 3600;
    s %= 3600;
  }
  if (s >= 60) {
    tm = s / 60;
    s %= 60;
  }
  cout << "0" << th << ":";
  if (tm < 10) cout << "0";
  cout << tm << ":";
  if (s < 10) cout << "0";
  cout << s << endl;
}
void solve() {
  int sum_ss = hh * 3600 + mm * 60 + ss;
  double notimes = 7200.0 - sum_ss;
  double thtimes = 7200.0 - (sum_ss / 3.0);
  print_hms((int)notimes);
  print_hms((int)thtimes);
}
int main(int argc, char const* argv[]) {
  while (cin >> hh >> mm >> ss) {
    if (hh == -1) break;
    solve();
  }
  return 0;
}
