#include <bits/stdc++.h>
using namespace std;
int main() {
  int h, m, s;
  while (1) {
    int tmp;
    int stan, stan_3;
    scanf("%d %d %d", &h, &m, &s);
    if (h == -1 && m == -1 && s == -1) {
      break;
    }
    tmp = h * 3600 + m * 60 + s;
    stan = 7200 - tmp;
    stan_3 = 7200 - (tmp / 3);
    int h_2, m_2, s_2;
    h_2 = stan / 3600;
    m_2 = (stan - 3600 * h_2) / 60;
    s_2 = (stan - 3600 * h_2 - 60 * m_2);
    printf("%02d:%02d:%02d\n", h_2, m_2, s_2);
    int h_3, m_3, s_3;
    h_3 = stan_3 / 3600;
    m_3 = (stan_3 - 3600 * h_3) / 60;
    s_3 = (stan_3 - 3600 * h_3 - 60 * m_3);
    printf("%02d:%02d:%02d\n", h_3, m_3, s_3);
  }
  return (0);
}
