from datetime import datetime as dt


while True:
    s = raw_input()
    if s == "-1 -1 -1":
        exit()
    d = dt.strptime(s,'%H %M %S')
    d0 = dt.strptime("2 0 0",'%H %M %S')
    sec = (d0-d).seconds
    print '{:02}:{:02}:{:02}'.format(sec // 3600, sec % 3600 // 60, sec % 60)
    sec *= 3
    print '{:02}:{:02}:{:02}'.format(sec // 3600, sec % 3600 // 60, sec % 60)