#include <bits/stdc++.h>

using namespace std;

int main() {
    int T, H, S;
    while (scanf("%d %d %d", &T, &H, &S), (T != -1)) {
        int sec = 120 * 60 - T * 3600 - H * 60 - S;
        int h = sec / 3600, m = sec % 3600 / 60, s = sec % 60;
        
        printf("%02d:%02d:%02d\n", h, m, s);

        sec *= 3;
        h = sec / 3600, m = sec % 3600 / 60, s = sec % 60;
        
        printf("%02d:%02d:%02d\n", h, m, s);
    }

    return 0;
}
