#include <bits/stdc++.h>
using namespace std;
int toSec(int h, int m, int s) { return (h * 60 + m) * 60 + s; }
vector<int> toHms(int sec) {
  vector<int> v;
  v.push_back(sec / (60 * 60));
  sec -= v[0] * 60 * 60;
  v.push_back(sec / 60);
  v.push_back(sec - v[1] * 60);
  return v;
}
int main() {
  int h, m, s;
  while (cin >> h >> m >> s) {
    if (h == -1 && m == -1 && s == -1) break;
    int sec = toSec(h, m, s);
    vector<int> v[2];
    v[0] = toHms(toSec(2, 0, 0) - sec);
    v[1] = toHms(toSec(3, 0, 0) - sec);
    for (int i = 0; i < 2; ++i) {
      printf("%02d:%02d:%02d\n", v[i][0], v[i][1], v[i][2]);
    }
  }
  return 0;
}
