#include <bits/stdc++.h>
using namespace std;
int main() {
  int ti, mi, se, sammin, thrti, afh, afm, afs;
  while (cin >> ti >> mi >> se && ti != -1) {
    sammin = 120 * 60 - (ti * 3600 + mi * 60 + se);
    afh = sammin / 3600;
    afm = sammin % 3600 / 60;
    afs = sammin % 3600 % 60;
    thrti = sammin * 3;
    printf("%0d:%0d:%0d\n", afh, afm, afs);
    afh = thrti / 3600;
    afm = thrti % 3600 / 60;
    afs = thrti % 3600 % 60;
    printf("%0d:%0d:%0d\n", afh, afm, afs);
  }
}
