
import std.stdio;
import std.string;
import std.conv;
import std.algorithm;
import std.math;
import std.array;

void show_clock(int time) {
  for(int i = 2; i >= 0; i--) {
    write(format("%02d%s", time / (pow(60, i)), i ? ":" : ""));
    time %= pow(60, i);
  }
  writeln;
}

void main() {
  while(true) {
    int[] line = readln.chomp.split(" ").map!(to!(int)).array;
    if (line.filter!((x) => x == -1).array.length == 3) break;
    int time = (line[0] * 3600 + line[1] * 60 + line[2]);
    show_clock(7200 - time);
    show_clock((7200 - time) * 3);
  }
}