# https://note.nkmk.me/python-format-zero-hex/
while 1:
    t,h,s = map(int, input().split())
    if t==h==s==-1:
        break
    rest_time = 7200-(t*3600+h*60+s)
    print('{:02d}:{:02d}:{:02d}'.format(rest_time//3600, (rest_time%3600)//60, rest_time%60))
    rest_time_3 = rest_time*3
    print('{:02d}:{:02d}:{:02d}'.format(rest_time_3//3600, (rest_time_3%3600)//60, rest_time_3%60))
