#include <bits/stdc++.h>
using namespace std;
int main() {
  int a, b, c;
  while (cin >> a >> b >> c) {
    if (a == -1) break;
    int sum = 120 * 60 - (a * 60 + b) * 60 + c;
    int sum2 = sum * 3;
    vector<int> s;
    for (int i = 0; i < int(3); i++) {
      s.push_back(sum % 60);
      sum /= 60;
    }
    vector<int> s2;
    for (int i = 0; i < int(3); i++) {
      s2.push_back(sum2 % 60);
      sum2 /= 60;
    }
    printf("%02d:%02d:%02d\n", s[2], s[1], s[0]);
    printf("%02d:%02d:%02d\n", s2[2], s2[1], s2[0]);
  }
}
