#include <bits/stdc++.h>
using namespace std;
int main(void) {
  int h, m, s;
  int normal;
  int sannbai;
  while (1) {
    scanf("%d %d %d", &h, &m, &s);
    if (h == -1) break;
    normal = 7200 - 3600 * h - 60 * m - s;
    printf("%02d", normal / 3600);
    normal -= (normal / 3600) * 3600;
    printf(":%02d", normal / 60);
    printf(":%02d\n", normal % 60);
    sannbai = 7200 - (3600 * h + 60 * m + s) / 3;
    printf("%02d", sannbai / 3600);
    sannbai -= (sannbai / 3600) * 3600;
    printf(":%02d", sannbai / 60);
    printf(":%02d\n", sannbai % 60);
  }
  return 0;
}
