#include <bits/stdc++.h>
#define rep(i,a,n) for(int i=a;i<n;i++)
#define repr(i,a,n) for(int i=a;i>=n;i--)
#define INF 999999999
#define INF_M 2147483647
#define pb(a) push_back(a)
using namespace std;
typedef pair<int, int> pii;
typedef long long int ll;

int main() {
    int t,h,s;
    while(cin >> t >> h >> s) {
        while(t == -1 && h == -1 && s == -1) break;
        int temp = 7200 - (3600 * t + 60 * h + s);
        int a,b,c;
        a = temp / 3600;
        b = temp / 60 % 60;
        c = temp % 60;
        printf("%02d:%02d:%02d\n",a,b,c);
        
        temp *= 3;
        a = temp / 3600;
        b = temp / 60 % 60;
        c = temp % 60;
        printf("%02d:%02d:%02d\n",a,b,c);
    }
    return 0;
}