python

import sys


def change_ip_2_int(ip_str):
    ip_list = ip_str.split('.')
    all_data = ''
    for i in ip_list:
        if int(i) > 255:
            return ''
        bin_str = bin(int(i)).replace('0b', '').rjust(8, '0')
        all_data += bin_str
        
    return int(all_data, 2)

def change_int_2_ip(input_int):
    new_data = bin(input_int).replace('0b', '').rjust(32, '0')

    new_ip = []
    for i in range(0,len(new_data),8):
        new_ip.append(str(int(new_data[i:i+8],2)))
    
    return '.'.join(new_ip)

def main():
    while True:
        ip_str = sys.stdin.readline().strip()
        if ip_str == '':
            break
        
        input_int = sys.stdin.readline().strip()
        print(change_ip_2_int(ip_str))
        print(change_int_2_ip(int(input_int)))
        

if __name__ == '__main__':
    main()