def str2num(m):
   return int(m.encode('hex'),16)

def num2str(n):
    d = ('%x' % n)
    if len(d) % 2 == 1:
        d = '0' + d
    return d.decode('hex')

v8 = 7523094288207667809
v9 = 8101815670912281193
v10 = 8680537053616894577
v11 = 3833745473465776761
v12 = 959985462
v13 = 24929
v2 = 6508264540403273223
v3 = 5213490578399759196
v4 = 5409190721146722066
v5 = 73472674227045146
v6 = 202114575
v7 = 7173
data1 = [v2,v3,v4,v5,v6,v7]
data2 = [v8,v9,v10,v11,v12,v13]
v1 = ''
for i , j in zip( data1,data2 ):
    char =  num2str( i ^ j )
    v1+= char[::-1]
print v1