#include <iostream>
#include <vector>
#include <string>
#include <cstring>
#include <algorithm>
#include <sstream>
#include <map>
#include <set>
#include <cstdio>
using namespace std;

#define REP(i,a,b) for(i=a;i<b;i++)
#define rep(i,n) REP(i,0,n)

typedef long long ll;
typedef unsigned long long ull;
typedef long double ld;
/* ここからが本編 */
/* */
/* 入力開始！ */
/* 入力終了！ */
 
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;
}