分类 RCTF 下的文章

picStore(re)

https://impartial-poinsettia-a05.notion.site/Lua-953ca64d37c9478b82d394ea2f2a0ca1#ce05742c1bd04285ba87bf4d398a861c

dump 后 用 https://luadec.metaworm.site/在线反编译

-- filename: 
-- version: lua53
-- line: [0, 0] id: 0
menu = function()
  -- line: [2, 12] id: 1
  print("-------------------Pictrue Store System-------------------")
  print("1. upload")
  print("2. download")
  print("3. delete")
  print("4. list")
  print("5. check")
  print("6. exit")
  io.write("choice>> ")
end
upload_impl = function()
  -- line: [14, 21] id: 2
  local r0_2 = a_f3_9a7nhRC()
  if r0_2 ~= nil then
    io.write("img data: ")
    a_1sV7zC5yL_(r0_2)
  end
end
download_impl = function()
  -- line: [23, 31] id: 3
  io.write("link: ")
  local r0_3 = io.read("*number")
  if a_IjKn_GF3FE(r0_3) == 1 then
    io.write("img data: ")
    a_TUBSK2FAhN(r0_3)
  end
end
delete_impl = function()
  -- line: [33, 41] id: 4
  io.write("link: ")
  if a_8jzNK8OZ4i(io.read("*number")) == 0 then
    print("error")
  end
end
list_impl = function()
  -- line: [43, 57] id: 5
  print("-------------------img list-------------------")
  local r0_5 = 0
  local r1_5 = 1
  while r0_5 < 30 do
    if a_IjKn_GF3FE(r0_5) == 1 then
      r1_5 = r1_5 + 1
      print(string.format("%d. pic_%04d. link: http://%d\n", r1_5, r0_5, r0_5))
    end
    r0_5 = r0_5 + 1
  end
end
check_impl = function()
  -- line: [59, 84] id: 6
  local r0_6 = 0
  local r1_6 = 0
  local r2_6 = ""
  local r3_6 = false
  while r0_6 < 30 do
    local r4_6 = a_IjKn_GF3FE(r0_6)
    if r0_6 % 2 == 0 and r4_6 == 1 then
      r1_6 = r1_6 + 1
      local r5_6 = a_Cc_ClWQsa5(r0_6)
      if #r5_6 ~= 2 then
        r3_6 = true
      end
      r2_6 = r2_6 .. r5_6
    end
    r0_6 = r0_6 + 1
  end
  if r1_6 == 15 and #r2_6 == 30 and r3_6 == false and check_func(r2_6) == true then
    print("now, you know the flag~")
    print(r2_6)
  else
    print("you fail!")
  end
end
main_logic = function()
  -- line: [86, 108] id: 7
  while true do
    menu()
    local r0_7 = io.read("*l")
    if r0_7 == "1" then
      upload_impl()
    elseif r0_7 == "2" then
      download_impl()
    elseif r0_7 == "3" then
      delete_impl()
    elseif r0_7 == "4" then
      list_impl()
    elseif r0_7 == "5" then
      check_impl()
    elseif r0_7 == "6" then
      print("bye~")
      break
    else
      print("bad choice")
    end
  end
end
value_list = function(r0_8)
  -- line: [111, 118] id: 8
  local r1_8 = {}
  for r5_8 = 1, string.len(r0_8), 1 do
    r1_8[#r1_8 + 1] = string.byte(r0_8, r5_8)
  end
  return r1_8
end
tobinary = function(r0_9)
  -- line: [122, 135] id: 9
  local r1_9 = r0_9
  local r2_9 = ""
  repeat
    if r1_9 % 2 == 1 then
      local r3_9 = r2_9
      r2_9 = r3_9 .. "1"
    else
      local r3_9 = r2_9
      r2_9 = r3_9 .. "0"
    end
    local r3_9 = math.modf(r1_9 / 2)
    r1_9 = r3_9
  until r1_9 == 0
  return string.reverse(r2_9)
end
xor = function(r0_10, r1_10)
  -- line: [137, 170] id: 10
  local r2_10 = tobinary(r0_10)
  local r3_10 = tobinary(r1_10)
  local r4_10 = string.len(r2_10)
  local r5_10 = string.len(r3_10)
  local r6_10 = 0
  local r7_10 = 0
  local r8_10 = ""
  if r5_10 < r4_10 then
    for r12_10 = 1, math.floor(r4_10 - r5_10), 1 do
      r3_10 = "0" .. r3_10
    end
    r6_10 = r4_10
  elseif r4_10 < r5_10 then
    for r12_10 = 1, math.floor(r5_10 - r4_10), 1 do
      r2_10 = "0" .. r2_10
    end
    r6_10 = r5_10
  end
  for r12_10 = 1, r6_10, 1 do
    if string.sub(r2_10, r12_10, r12_10) == string.sub(r3_10, r12_10, r12_10) then
      r8_10 = r8_10 .. "0"
    else
      r8_10 = r8_10 .. "1"
    end
  end
  return tonumber(r8_10, 2)
end
check_func = function(r0_11)
  -- line: [172, 195] id: 11
  local input = value_list(r0_11)
  local r2_11 = {}
  local ans = {
    105,
    244,
    63,
    10,
    24,
    169,
    248,
    107,
    129,
    138,
    25,
    182,
    96,
    176,
    14,
    89,
    56,
    229,
    206,
    19,
    23,
    21,
    22,
    198,
    179,
    167,
    152,
    66,
    28,
    201,
    213,
    80,
    162,
    151,
    102,
    36,
    91,
    37,
    50,
    17,
    170,
    41,
    3,
    84,
    85,
    226,
    131,
    38,
    71,
    32,
    18,
    142,
    70,
    39,
    112,
    220,
    16,
    219,
    159,
    222,
    11,
    119,
    99,
    203,
    47,
    148,
    185,
    55,
    93,
    48,
    153,
    113,
    1,
    237,
    35,
    75,
    67,
    155,
    161,
    74,
    108,
    76,
    181,
    233,
    186,
    44,
    125,
    232,
    88,
    8,
    95,
    163,
    200,
    249,
    120,
    243,
    174,
    212,
    252,
    234,
    58,
    101,
    228,
    86,
    109,
    144,
    104,
    121,
    117,
    87,
    15,
    132,
    12,
    20,
    165,
    115,
    136,
    135,
    118,
    69,
    68,
    2,
    82,
    123,
    250,
    251,
    53,
    255,
    51,
    221,
    211,
    195,
    145,
    140,
    254,
    0,
    116,
    43,
    29,
    217,
    197,
    183,
    168,
    188,
    34,
    218,
    146,
    147,
    98,
    149,
    246,
    180,
    103,
    33,
    40,
    207,
    208,
    192,
    143,
    26,
    154,
    225,
    100,
    141,
    175,
    124,
    230,
    62,
    177,
    205,
    110,
    202,
    253,
    173,
    46,
    52,
    114,
    164,
    166,
    137,
    158,
    122,
    13,
    83,
    178,
    133,
    189,
    187,
    7,
    184,
    77,
    245,
    216,
    190,
    194,
    72,
    157,
    172,
    171,
    199,
    160,
    45,
    49,
    27,
    204,
    81,
    6,
    92,
    59,
    209,
    239,
    130,
    97,
    61,
    214,
    215,
    73,
    90,
    126,
    42,
    30,
    240,
    79,
    224,
    78,
    223,
    111,
    60,
    4,
    5,
    196,
    231,
    106,
    64,
    139,
    235,
    150,
    227,
    238,
    191,
    127,
    31,
    156,
    54,
    241,
    242,
    134,
    247,
    128,
    65,
    94,
    57,
    210,
    236,
    9,
    193
  }
  for i = 1, #input, 1 do
    input[i] = xor(input[i], i - 1)
    input[i] = xor(input[i], 255)
    input[i] = input[i] & 255
    r2_11[#r2_11 + 1] = ans[input[i] + 1]
  end
  local r4_11 = a_AHy3JniQH4(r2_11) == 1
end
main = function()
  -- line: [198, 201] id: 12
  a_bfBfrMZriK()
  main_logic()
end
main()

注意到是调用了check_23,并且这之前还有个简单加密

from z3 import Int, Solver
l = 30
a1 = [Int(f"x{i}") for i in range(l)]
s = Solver()
v1=a1[0]
v2=a1[1]
v3=a1[2]
v4=a1[3]
v5=a1[4]
v6=a1[5]
v7=a1[6]
v8=a1[7]
v10=a1[8]
v24=a1[9]
v25=a1[10]
v26=a1[11]
v27=a1[12]
v28=a1[13]
v29=a1[14]
v30=a1[15]
v31=a1[16]
v32=a1[17]
v33=a1[18]
v34=a1[19]
v35=a1[20]
v36=a1[21]
v37=a1[22]
v38=a1[23]
v39=a1[24]
v40=a1[25]
v20=a1[26]
v41=a1[27]
v22=a1[28]
s.add(255036*v7+-90989*v3+-201344*v4+122006*v5+-140538*v6+109859*v2-109457*v1-9396023 == 0)
s.add(277432*v6+110191*v3+-186022*v4+175123*v2-75564*v5-252340*v1-12226612 == 0)
s.add(127326*v4+260948*v2+-102835*v1+225038*v5-129683*v3-45564209 == 0)
s.add(-170345*v2+217412*v3-26668*v1+38500*v4-27440782 == 0)
s.add(25295*v2+69369*v3+191287*v1-24434293 == 0)
s.add(72265*v1-2384745 == 0)
s.add(264694*v1-190137*v2+19025100 == 0)
s.add(101752*v24+67154*v8+-20311*v1+-30496*v6+-263329*v7+-99420*v10+255348*v3+169511*v4-121471*v2+231370*v5-33888892 == 0)
s.add(17253*v8+-134891*v7+144501*v4+220594*v2+263746*v3+122495*v6+74297*v10+205480*v1-32973*v5-115484799 == 0)
s.add(251337*v3+-198187*v6+-217900*v2+-62192*v8+-138306*v7+-165151*v4-118227*v1-22431*v5+72699617 == 0)
s.add(243012*v27+-233931*v4+66595*v7+-273948*v5+-266708*v24+75344*v8-108115*v3-17090*v25+240281*v10+202327*v1-253495*v2+233118*v26+154680*v6+25687761 == 0)
s.add(41011*v8+-198187*v1+-117171*v7+-178912*v3+9797*v24+118730*v10-193364*v5-36072*v6+10586*v25-110560*v4+173438*v2-176575*v26+54358815 == 0)
s.add(-250878*v24+108430*v1+-136296*v5+11092*v8+154243*v7+-136624*v3+179711*v4+-128439*v6+22681*v25-42472*v10-80061*v2+34267161 == 0)
s.add(65716*v30+-18037*v26+-42923*v7+-33361*v4+161566*v6+194069*v25+-154262*v2+173240*v3-31821*v27-80881*v5+217299*v8-28162*v10+192716*v1+165565*v24+106863*v29-127658*v28-75839517 == 0)
s.add(-236487*v24+-45384*v1+46984*v26+148196*v7+15692*v8+-193664*v6+6957*v10+103351*v29-217098*v28+78149*v4-237596*v5-236117*v3-142713*v25+24413*v27+232544*v2+78860648 == 0)
s.add(-69129*v10+-161882*v3+-39324*v26+106850*v1+136394*v5+129891*v2+15216*v27+213245*v24-73770*v28+24056*v25-123372*v8-38733*v7-199547*v4-10681*v6+57424065 == 0)
s.add(-268870*v30+103546*v24+-124986*v27+42015*v7+80222*v2+-77247*v10+-8838*v25+-273842*v4+-240751*v28-187146*v26-150301*v6-167844*v3+92327*v8+270212*v5-87705*v33-216624*v1+35317*v31+231278*v32-213030*v29+114317949 == 0)
s.add(-207225*v1+-202035*v3+81860*v27+-114137*v5+265497*v30+-216722*v8+276415*v28+-201420*v10-266588*v32+174412*v6+249222*v24-191870*v4+100486*v2+37951*v25+67406*v26+55224*v31+101345*v7-76961*v29+33370551 == 0)
s.add(175180*v29+25590*v4+-35354*v30+-173039*v31+145220*v25+6521*v7+99204*v24+72076*v27+207349*v2+123988*v5-64247*v8+169099*v6-54799*v3+53935*v1-223317*v26+215925*v10-119961*v28-83559622 == 0)
s.add(43170*v3+-145060*v2+199653*v6+14728*v30+139827*v24+59597*v29+2862*v10+-171413*v31+-15355*v25-71692*v7-16706*v26+264615*v1-149167*v33+75391*v27-2927*v4-187387*v5-190782*v8-150865*v28+44238*v32-276353*v34+82818982 == 0)
s.add(-3256*v27+-232013*v25+-261919*v29+-151844*v26+11405*v4+159913*v32+209002*v7+91932*v34+270180*v10+-195866*v3-135274*v33-261245*v1+24783*v35+262729*v8-81293*v24-156714*v2-93376*v28-163223*v31-144746*v5+167939*v6-120753*v30-13188886 == 0)
s.add(-240655*v35+103437*v30+236610*v27+100948*v8+82212*v6+-60676*v5+-71032*v3+259181*v7+100184*v10+7797*v29+143350*v24+76697*v2-172373*v25-110023*v37-13673*v4+129100*v31+86759*v1-101103*v33-142195*v36+28466*v32-27211*v26-269662*v34+9103*v28-96428951 == 0)
s.add(-92750*v28+-151740*v27+15816*v35+186592*v24+-156340*v29+-193697*v2+-108622*v8+-163956*v5+78044*v4+-280132*v36-73939*v33-216186*v3+168898*v30+81148*v34-200942*v32+1920*v1+131017*v26-229175*v10-247717*v31+232852*v25+25882*v7+144500*v6+175681562 == 0)
s.add(234452*v34+-23111*v29+-40957*v2+-147076*v8+16151*v32+-250947*v35+-111913*v30+-233475*v24+-2485*v28+207006*v26+71474*v3+78521*v1-37235*v36+203147*v5+159297*v7-227257*v38+141894*v25-238939*v10-207324*v37-168960*v33+212325*v6+152097*v31-94775*v27+197514*v4+62343322 == 0)
s.add(-142909*v34+-111865*v31+258666*v36+-66780*v2+-13109*v35+-72310*v25+-278193*v26+-219709*v24+40855*v8+-270578*v38+96496*v5+-4530*v1+63129*v28-4681*v7-272799*v30-225257*v10+128712*v37-201687*v39+273784*v3+141128*v29+93283*v32+128210*v33+47550*v6-84027*v4+52764*v40-140487*v27+105279220 == 0)
s.add(216020*v38+-248561*v29+-86516*v33+237852*v26+-132193*v31+-101471*v3+87552*v25+-122710*v8+234681*v5+-24880*v7+-245370*v1+-17836*v36-225714*v34-256029*v4+171199*v35+266838*v10-32125*v24-43141*v32-87051*v30-68893*v39-242483*v28-12823*v2-159262*v27+123816*v37-180694*v6+152819799 == 0)
s.add(-116890*v3+67983*v27+-131934*v4+256114*v40+128119*v24+48593*v33+-41706*v2+-217503*v26+49328*v6+223466*v7+-31184*v5+-208422*v36+261920*v1+83055*v20+115813*v37+174499*v29-188513*v35+18957*v25+15794*v10-2906*v28-25315*v8+232180*v32-102442*v39-116930*v34-192552*v38-179822*v31+265749*v30-54143007 == 0)
s.add(-215996*v4+-100890*v40+-177349*v7+-159264*v6+-227328*v27+-91901*v24+-28939*v10+206392*v41+6473*v25+-22051*v20+-112044*v34+-119414*v30+-225267*v35+223380*v3+275172*v5+95718*v39-115127*v29+85928*v26+169057*v38-204729*v1+178788*v36-85503*v31-121684*v2-18727*v32+109947*v33-138204*v8-245035*v28+134266*v37+110228962 == 0)
s.add(-165644*v32+4586*v39+138195*v25+155259*v35+-185091*v3+-63869*v31+-23462*v30+150939*v41+-217079*v8+-122286*v6+5460*v38+-235719*v7+270987*v26+157806*v34+262004*v29-2963*v28-159217*v10+266021*v33-190702*v24-38473*v20+122617*v2+202211*v36-143491*v27-251332*v4+196932*v5-155172*v22+209759*v40-146511*v1+62542*v37+185928391 == 0)
s.add(57177*v24+242367*v39+226332*v31+15582*v26+159461*v34+-260455*v22+-179161*v37+-251786*v32+-66932*v41+134581*v1+-65235*v29+-110258*v28+188353*v38+-108556*v6+178750*v40+-20482*v25+127145*v8+-203851*v5+-263419*v10+245204*v33+-62740*v20+103075*v2-229292*v36+142850*v30-1027*v27+264120*v3+264348*v4-41667*v35+130195*v7+127279*a1[29]-51967523 == 0)


print(s.check())
m = s.model()

result = []
for i in a1:
    result.append(m[i].as_long())
print(result)

ans = [105,244,63,10,24,169,248,107,129,138,25,182,96,176,14,89,56,229,206,19,23,21,22,198,179,167,152,66,28,201,213,80,162,151,102,36,91,37,50,17,170,41,3,84,85,226,131,38,71,32,18,142,70,39,112,220,16,219,159,222,11,119,99,203,47,148,185,55,93,48,153,113,1,237,35,75,67,155,161,74,108,76,181,233,186,44,125,232,88,8,95,163,200,249,120,243,174,212,252,234,58,101,228,86,109,144,104,121,117,87,15,132,12,20,165,115,136,135,118,69,68,2,82,123,250,251,53,255,51,221,211,195,145,140,254,0,116,43,29,217,197,183,168,188,34,218,146,147,98,149,246,180,103,33,40,207,208,192,143,26,154,225,100,141,175,124,230,62,177,205,110,202,253,173,46,52,114,164,166,137,158,122,13,83,178,133,189,187,7,184,77,245,216,190,194,72,157,172,171,199,160,45,49,27,204,81,6,92,59,209,239,130,97,61,214,215,73,90,126,42,30,240,79,224,78,223,111,60,4,5,196,231,106,64,139,235,150,227,238,191,127,31,156,54,241,242,134,247,128,65,94,57,210,236,9,193]

for i in range(l):
    t = ans.index(result[i])
    print(chr(t ^ 0xff ^ i), end='')
# flag{U_90t_th3_p1c5t0re_fl49!}

主要是要注意下不能用BitVec,可能是因为有负数的运算吧。

RTTT

发现一个异或,出来结果是 Welc0me to RCTF 2O22
然后硬件断点一路跟下去,发现生成RC4的S盒。
然后拿到KeyStream(我的keystream是加密了'f'的结果)
然后对着结果硬件断点,发现一个strcmp。
不过我发现解出来后顺序不对,应该是有个树的遍历(看着比较像)
于是我弄了一个唯一确定的字符序列,用来获取SBox。

keystream = bytes.fromhex("""
11 93 47 0F 85 91 E1 FE  0C 8E 4D F8 6F 8A 87 CC
A4 7C 70 1B 09 96 30 26  5D 30 39 5E 43 BD 0F 81
09 74 B0 F4 4E 0B 90 63  48 11
""")
ans = bytes.fromhex("""
34 C2 65 2D DA C6 B1 AD  47 BA 06 A9 3B C1 CC D7
F1 29 24 39 2A C0 15 02  7E 10 66 7B 5E EA 5E D0
59 46 E1 D6 6E 5E B2 46  6B 31""")

k = [ans[i] ^ keystream[i] ^ ord('f') for i in range(len(keystream))]
t = "".join(map(chr, k))
print(k)
# generate SBOx
a = "yJzLkHwDxaCAtnsPipmIBfhljdGbeOqKNcEMugvFor"
b = "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOP"
sbox = [a.index(b[i]) for i in range(len(a))]
for i in range(len(t)):
    print(t[sbox[i]], end='') # RCTF{03C3E9B2-E37F-2FD6-CD7E-57C91D77DD61}

CheckYourKey

RegisterNatives -> True Function -> AES -> B58Encode(table1) -> B64Encode(table2) -> Strcmp
2024-09-17T05:58:20.png

web_run

JEB 反编译,找到main函数
2024-09-17T09:14:05.png

SEED = (202211110054 - 1) & 0xffffffff
def _f7():
    global SEED
    v0 = SEED * 6364136223846793005 + 1
    SEED = v0
    return (v0 >> 33) % 16


def _f8(par):
    if par >= 0 and par <= 9:
        return 48 + par
    val = par - 10 
    if val == 0:
        return 97
    elif val == 1:
        return 98
    elif val == 2:
        return 99
    elif val == 3:
        return 100
    elif val == 4:
        return 101
    elif val == 5:
        return 102
    return 48


def generate(s):
    for i in range(len(s)):
        if not (s[i] != 52 and s[i] != 45):
            continue
        if s[i] == 120:
            v2 = _f8(_f7())
            s[i] = v2
        else:
            v2 = _f8((_f7() & 3) | 0x8)
            s[i] = v2 
    return bytes(s)


A = generate(list(b'xxxxxxxx-xxxx-4xxx-yxxx-xxxxxxxxxxxx'))
print(f"RCTF{{{A.decode()}}}")
# RCTF{40959ea7-26e0-4c9d-8f4a-62faf14ff392}

PPTT

首先,通过Hook VirtualProtect函数,可以注意到程序有动态代码段修改行为,且调用者是RCTF.exe(主程序段),再通过栈回溯可以注意到,strcmp函数被修改,后续调用的strcmp会让第二个参数的一个确定的字节+1。
2024-05-30T08:07:35.png
通过IDA里面的分析,可以了解到,在最后的大IF语句中,有一个strcmp,Str2是用户输入经过打乱后的值(只取11个字节以后),Str1则是字符串常量值,经过动态调试(IDA里面静态无法进行观察),可以发现strcmp对Str1进行了一些修改,通过反着打乱值,并且通过RCTF{}这样的模式,我们可以确定flag是RCTF{sj***emqrp****tyua},注意,s字符是r字符在strcmp函数中+1而来的
2024-05-30T08:08:16.png
所以我们可以了解,flag只有7位需要知道了,由于在已知中没有大写字符和数字,我们推测全部都是小写字符(并且如果加上所有字符,那么复杂度是非常大的),下面我们观察对于flag的其他判定规则。
2024-05-30T08:08:26.png
经过反复动态调试和确认后,我们可以注意到上下两个图,v10的LODWORD和HIDWORD分别表示了两个开关,当v10不为0但是v10低位为0的时候,才能通过最后的IF判定,所以我们可以确定,下图第一个if的条件是假的,不能成立的。
2024-05-30T08:09:00.png
拿到打乱的顺序列表后,我们有z3-solver

from z3 import *
from Crypto.Util.number import *
from copy import deepcopy
from typing import List

def solve():
    s = Solver()
    x = z3_create_bvs("x", 3, 64)
    v23 = x[0]
    v24 = x[1]
    v25 = x[2]
    
    v20 = v24 & v23
    v19 = (v24 & v23 | v25 & v23) + 65670
    v18 = (v25 & v23 ^ v25 & v24) - 1131796
    v17 = v24 & v23 ^ v25 & v23
    
    s.add((v24 & v23 & (~(v24 | v23) | v25 & v23 | v25 & v24 & ~v18) | v25 & v24 & v18) != 1732474390)
    s.add((v23 ^ (v20 & ~v18 | v20 & ~v19 | v17 & v19 | v25 & v23 & ~v18)) == 0x400010000622000)
    s.add((v18 ^ (v19 - v20)) == 0x2100A0203EFBB8B)
    s.add((v17 ^ v19 ^ v20) == 0x4083102108E)
    s.add((v19 ^ v17) - v18 == 0x1551566F3C6485ED)
    s.add((v18 ^ v19 ^ v25 & v24) == 0x40836ECAB9A)
    s.add((v17 ^ v20) - v18 == 0x3E51566F3C718563)
    s.add(v23 - v24 == 0x1AEFF6FDFC121BF1)
    s.add((v25 + v24 + v23) % 10 == 8)
    z3_all_bv_is_printable(s, [v23, v24, v25])
    
    v23_s = '*p*qyeam'
    v24_s = 'sT*u{**R'
    v25_s = '}CtF*js*'
    for i in range(8):
        if v23_s[i] != '*':
            s.add(v23 & (0xff << (i*8)) == ord(v23_s[i]) << (i*8))
        if v24_s[i] != '*':
            s.add(v24 & (0xff << (i*8)) == ord(v24_s[i]) << (i*8))
        if v25_s[i] != '*':
            s.add(v25 & (0xff << (i*8)) == ord(v25_s[i]) << (i*8))
    
    # answers
    while s.check() == sat:
        m = s.model()
        z3_exclude(s, x, m)
        result = z3_concat_bv_aslong(x, m).decode()
        sbox = [15, 17, 9, 19, 12, 8, 21, 23, 13, 20, 5, 7, 3, 22, 1, 2, 0, 10, 14, 18, 4, 11, 6, 16]
        assert(len(sbox) == len(result))
        for i in range(len(result)):
            print(result[sbox[i]], end='')
        print('')

# Create BitVectors
def z3_create_bvs(name: str, size: int, bvLen: int):
    x = [BitVec(f"{name}{i}", bvLen) for i in range(size)]
    return x

# Copy var
def z3_copy(var: ExprRef):
    return deepcopy(var)

# exclude curr solve to get all solvers
def z3_exclude(solver: Solver, var: List[BitVecRef], model: ModelRef):
    for i in var:
        solver.add(i != model[i])

# concat bitvec(i32/i64) to a byte array
def z3_concat_bv_aslong(var: List[BitVecRef], model: ModelRef) -> bytes:
    ans = b''
    for i in var:
        ans += long_to_bytes(model[i].as_long())[::-1]
    return ans

# filter: printable
def z3_all_bv_is_printable(solver: Solver, var: List[BitVecRef]) -> None:
    for v in var:
        for i in range(v.size() // 8):
            solver.add((v >> (i*8)) & 0xff >= 0x20)
            solver.add((v >> (i*8)) & 0xff <= 0x7f)

if __name__ == '__main__':
    solve()

bloker_vm

本题相当于一个SEH VM,并且它开了个自己,自己调试自己(通过IDA分析,CreateMutex如果发现已经开了,就走另一个地方,不走正常main函数),不过我们只需要在每个vm handler中下断点,(因为这个程序其实是不存在反调试的,只是异常会让程序跑飞),然后研究输入会如何进行变换即可,通过分析,还好RC4是标准RC4,不过有一个细节点就是,RC4的Key是一个字符串,而最后一个字符是不取的,因为有长度限制,我们即可写出EXP:
2024-05-30T08:19:58.png

from z3 import *
from Crypto.Util.number import *
from copy import deepcopy
from typing import List

def solve():
    s = Solver()
    x = z3_create_bvs('x', 25, 8)
    y = z3_copy(x)
    for i in range(25):
        x[i] ^= 0x7d
        x[i] = (x[i] << 6) | (x[i] >> 2)  & 0x3f

    # a通过动态调试获得,并通过CyberChef进行RC4解密,密钥注意最后一个没有y
    # #https://gchq.github.io/CyberChef/#recipe=RC4(%7B'option':'UTF8','string':'thisisyoursecretke'%7D,'Hex','Hex')&input=ODAwNUUzMkYxODJGQzU4QzI1NzBCQzA1MUM0RkYyMDJFNTNFMDIyRkU1MTFBM0Mw&oeol=NEL
    a = bytes.fromhex("cb8f4ace810788c707c701884606c7028688c744848506c300")
    for i in range(len(a)):
        s.add(a[i] == x[i])
    # result = Z3_get_string_bytes()
    while s.check() == sat:
        m = s.model()
        z3_exclude(s, y, m)
        result = z3_concat_bv_aslong(y, m)
        print(result) 

# Create BitVectors
def z3_create_bvs(name: str, size: int, bvLen: int):
    x = [BitVec(f"{name}{i}", bvLen) for i in range(size)]
    return x

# Copy var
def z3_copy(var: ExprRef):
    return deepcopy(var)

# exclude curr solve to get all solvers
def z3_exclude(solver: Solver, var: List[BitVecRef], model: ModelRef):
    for i in var:
        solver.add(i != model[i])

# concat bitvec(i32/i64) to a byte array
def z3_concat_bv_aslong(var: List[BitVecRef], model: ModelRef) -> bytes:
    ans = b''
    for i in var:
        ans += long_to_bytes(model[i].as_long())[::-1]
    return ans

# filter: printable
def z3_all_bv_is_printable(solver: Solver, var: List[BitVecRef]) -> None:
    for v in var:
        for i in range(v.size() // 8):
            solver.add((v >> (i*8)) & 0xff >= 0x20)
            solver.add((v >> (i*8)) & 0xff <= 0x7f)

if __name__ == '__main__':
    solve()
# b'RCTF{a_baby_debug_bloker}'

re2

这道题是个Linux下的异常处理,但是挺迷惑的
在sub_401210有个base64解码,不过解码规则是第一个4字节解出来三个字节,第二个4字节解出两个字节,依次递减
flag通过r14, r15传到异常处理程序里,然后处理完再通过r13传回来,r13=0的时候就对了
现在问题是调试断不到有效函数里,疑似在库里有额外的长度检查和字符检查之类的
通过eh_frame段的异常处理栈帧来引导加密逻辑的:
$ readelf -wF re2
...
$ readelf -wf re2

在 eh_Frame 的结果里,sub_4011a0的栈回溯里有个tea的sum值2654435769 = 0x9e3779b9,还有几个 OP 是 11223344
感觉是main里触发了异常之后进入的第一个处理逻辑

000000a8 00000000000a0080 00000024 FDE cie=00000088 pc=00000000004011a0..000000000040120b 
  Augmentation data:     48 23 4a 00 
  DW_CFA_advance_loc: 1 to 00000000004011a1 
  DW_CFA_def_cfa_offset: 16 
  DW_CFA_offset: r6 (rbp) at cfa-16 
  DW_CFA_advance_loc: 3 to 00000000004011a4 
  DW_CFA_def_cfa_register: r6 (rbp) 
  DW_CFA_advance_loc: 4 to 00000000004011a8 
  DW_CFA_val_expression: r13 (r13) (DW_OP_lit11; DW_OP_lit22; DW_OP_constu: 33; DW_OP_constu: 44; DW_OP_constu: 2654435769; DW_OP_reg15 (r15); DW_OP_r
eg14 (r14); DW_OP_lit0; DW_OP_pick: 3; DW_OP_skip: 8; DW_OP_le; (Unknown location op 0xae)) 
  DW_CFA_advance_loc1: 89 to 0000000000401201 
  DW_CFA_def_cfa: r7 (rsp) ofs 8 
  DW_CFA_advance_loc: 1 to 0000000000401202 
  DW_CFA_def_cfa: r6 (rbp) ofs 16 
  DW_CFA_nop

https://github.com/go-delve/delve/blob/master/pkg/dwarf/op/opcodes.go
中间有花指令,去了不少花:

from ida_bytes import *

addr = 0x402241
while addr < 0x4A2347:
    addr += 1
    if get_byte(addr) == 0x2F and get_byte(addr + 2) == 0x00:
        patch_length = get_byte(addr + 1)
        patch_start = addr + 3
        for i in range(patch_start, patch_start + patch_length):
            patch_byte(i, 0x96)

找到了 巨大虚拟机

DW_OP_lit11;  # 经过调试,11 22 33 44 为TEA的Key
DW_OP_lit22; 
DW_OP_constu: 33; 
DW_OP_constu: 44; 
DW_OP_constu: 2654435769;  # 注意到这个是标准TEA加密的 delta.
DW_OP_reg15 (r15); 
DW_OP_reg14 (r14); 
DW_OP_lit0; 
DW_OP_pick: 3;  
DW_OP_plus;  
DW_OP_dup; 
DW_OP_pick: 3; 
DW_OP_dup; 
DW_OP_constu: 9246453814144344100; 
DW_OP_constu: 3482419137767051305; 
DW_OP_or; 
DW_OP_swap; 
DW_OP_drop; 
DW_OP_constu: 3355170828548290441; 
DW_OP_constu: 12456870883039105005; 
DW_OP_xor; 
.... 此处省略14w行 不过值得注意的是,后面的左右移动是没有被混淆的,也就是基本上没有垃圾,而左移64次,很容易让人联想到TEA

https://github.com/aclements/libelfin/blob/master/dwarf/expr.cc#L32 这是一个虚拟机实现
清理①下

a = open('clear1.txt').read().split('\n')
before = len(a)
a = [*map(str.strip, a)]
k = 0
cleared = ""
while k < len(a):
    if a[k].startswith('DW_OP_lit0;'):
        cleared += 'DW_OP_constu: 0;\n'
        k+=1
    elif a[k].startswith('DW_OP_lit1;'):
        cleared += 'DW_OP_constu: 1;\n'
        k+=1
    elif a[k].startswith('DW_OP_lit2;'):
        cleared += 'DW_OP_constu: 2;\n'
        k+=1
    elif a[k].startswith('DW_OP_lit3;'):
        cleared += 'DW_OP_constu: 3;\n'
        k+=1
    elif a[k].startswith('DW_OP_lit4;'):
        cleared += 'DW_OP_constu: 4;\n'
        k+=1
    elif a[k].startswith('DW_OP_lit5;'):
        cleared += 'DW_OP_constu: 5;\n'
        k+=1
    elif a[k].startswith('DW_OP_lit6;'):
        cleared += 'DW_OP_constu: 6;\n'
        k+=1
    elif a[k].startswith('DW_OP_constu') and a[k+1].startswith('DW_OP_constu') and a[k+2].startswith('DW_OP_rot') and a[k+3].startswith('DW_OP_drop') and a[k+4].startswith('DW_OP_drop'):
        k+= 5
    elif a[k].startswith('DW_OP_constu') and a[k+1].startswith('DW_OP_constu'):
        if a[k+2].startswith('DW_OP_swap'):
            cleared += a[k+1] +"\n" + a[k]+"\n"
            k += 3
        elif a[k+2].startswith('DW_OP_xor'):
            zz = len('DW_OP_constu: ')
            cleared += 'DW_OP_constu: ' + str(0xffffffffffffffff & (int(a[k][::-1][1:][::-1][zz:]) ^ int(a[k+1][::-1][1:][::-1][zz:])))+ ";\n"
            k += 3
        elif a[k+2].startswith('DW_OP_or'):
            zz = len('DW_OP_constu: ')
            cleared += 'DW_OP_constu: ' + str(0xffffffffffffffff & (int(a[k][::-1][1:][::-1][zz:]) | int(a[k+1][::-1][1:][::-1][zz:])))+ ";\n"
            k += 3
        elif a[k+2].startswith('DW_OP_and'):
            zz = len('DW_OP_constu: ')
            cleared += 'DW_OP_constu: ' + str(0xffffffffffffffff &(int(a[k][::-1][1:][::-1][zz:]) & int(a[k+1][::-1][1:][::-1][zz:])))+ ";\n"
            k += 3
        elif a[k+2].startswith('DW_OP_plus'):
            zz = len('DW_OP_constu: ')
            cleared += 'DW_OP_constu: ' + str(0xffffffffffffffff &(int(a[k][::-1][1:][::-1][zz:]) + int(a[k+1][::-1][1:][::-1][zz:])))+ ";\n"
            k += 3
        elif a[k+2].startswith('DW_OP_minus'):
            zz = len('DW_OP_constu: ')
            cleared += 'DW_OP_constu: ' + str(0xffffffffffffffff &(int(a[k][::-1][1:][::-1][zz:]) - int(a[k+1][::-1][1:][::-1][zz:])))+ ";\n"
            k += 3
        else:
            cleared += a[k] + '\n'
    elif a[k].startswith('DW_OP_constu') and a[k+1].startswith('DW_OP_not'):
        zz = len('DW_OP_constu: ')
        cleared += 'DW_OP_constu: ' + str(0xffffffffffffffff & (~int(a[k][::-1][1:][::-1][zz:]))) + ";\n"
        k += 2
    elif a[k].startswith('DW_OP_constu') and a[k+1].startswith('DW_OP_drop;'):
        k += 2
    elif a[k].startswith('DW_OP_constu') and a[k+1].startswith('DW_OP_swap;') and a[k+2].startswith('DW_OP_drop'):
        cleared += a[k+2] + '\n' + a[k] + '\n'
        k += 3
    elif a[k].startswith('DW_OP_constu') and a[k+1].startswith('DW_OP_dup'):
        zz = len('DW_OP_constu: ')
        cleared += a[k] + '\n' + a[k]  + '\n'
        k += 2
    elif a[k].startswith('DW_OP_dup') and a[k+1].startswith('DW_OP_drop'):
        k += 2
    elif a[k].startswith('DW_OP_rot;') and a[k+1].startswith('DW_OP_drop;') and a[k+2].startswith('DW_OP_drop;'):
        k += 3
    else:
        cleared += a[k] + '\n'
    k+=1

cleared = cleared[::-1][1:][::-1]

after = len(cleared.split('\n'))
print("cleared:", before - after)
cleared.strip() 
# 打开文件进行写入,如果文件不存在将会被创建
with open('clear1.txt', 'w') as file:
    file.write(cleared)

但是如此清理是有问题的,因为bra指令会改程序流程(往前/后跳转的字节数),所以不能这么去,只能通过调试解决:
输入通过硬件断点下断,运行能找到调用的地方,然后跟输入的值,再下硬件断点,然后运行,会跑到vm虚拟机的地方,然后删掉之前的硬件断点就可以开始调试了
2024-05-30T08:25:05.png
通过看字节码的key和deatle猜出是tea加密,在众多垃圾字节里面找到了少量shr和shl,可以通过这个定位加密开始的位置。偶然发现neg只有两个指令,在程序下断点验证发现这里是check。
调试VM的时候,由于vm对xor和add有非常多的垃圾指令,就很难让人定位到中间的那一部分(v0 + sum),所以指南观察旁边两部分,但是通过多次的动态调试,发现数据在最后2轮的时候有些许不同,在0x1e轮时,数据变了1,刚开始是一位整个加减1,但是发现v0--后,v1变化很大,而给中间括号的里面东西+1后,发现完美符合了结果,然后在最后一轮循环的时候(0x1f)轮,发现数据变化更大,猜测里面可能+2了,加上后,结果完美符合,然后最后在虚拟机指令neg的地方下断点,然后再在add的地方下断点(这样可以防止中间的一堆垃圾指令,感觉就是出题人防止你发现中间的sum旁边不小心加了1),然后就可以看到两个结果加起来,右边是我们魔改tea加密后的值,而左边的值x不知道是干啥的,但是把结果设置为0(总共进行了四次),然后发现就是对的(虚拟机退出后值是0就是答案正确),所以x很显然就是结果的负数,两个加起来为0就是正确,所以就有以下的EXP:

#include <iostream>
#include <stdint.h>

void encrypt(uint64_t* v, uint32_t* k) {
    uint64_t sum = 0;
    uint64_t v0 = v[0], v1 = v[1];
    uint32_t delta = 0x9e3779b9;
    uint32_t k0 = k[0], k1 = k[1], k2 = k[2], k3 = k[3];

    for (int i = 0; i < 32; i++) {
        sum += delta;
        if (i == 0x1e)
        {
            v0 += ((v1 << 4) + k0) ^ (v1 + sum + 1) ^ ((v1 >> 5) + k1);
            v1 += ((v0 << 4) + k2) ^ (v0 + sum + 1) ^ ((v0 >> 5) + k3);
        }
        else if (i == 0x1f)
        {
            v0 += ((v1 << 4) + k0) ^ (v1 + sum + 2) ^ ((v1 >> 5) + k1);
            v1 += ((v0 << 4) + k2) ^ (v0 + sum + 2) ^ ((v0 >> 5) + k3);
        }
        else
        {
            v0 += ((v1 << 4) + k0) ^ (v1 + sum) ^ ((v1 >> 5) + k1);
            v1 += ((v0 << 4) + k2) ^ (v0 + sum) ^ ((v0 >> 5) + k3);
        }
    }
    v[0] = v0;
    v[1] = v1;
}

void decrypt(uint64_t* v, uint32_t* k) {
    uint64_t sum = 0;
    uint64_t v0 = v[0], v1 = v[1];
    uint32_t delta = 0x9e3779b9;
    uint32_t k0 = k[0], k1 = k[1], k2 = k[2], k3 = k[3];
    for (int i = 0; i < 32; i++) {
        sum += delta;
    }

    for (int i = 31; i >= 0; i--) {
        if (i == 0x1e)
        {
            v1 -= ((v0 << 4) + k2) ^ (v0 + sum + 1) ^ ((v0 >> 5) + k3);
            v0 -= ((v1 << 4) + k0) ^ (v1 + sum + 1) ^ ((v1 >> 5) + k1);
        }
        else if (i == 0x1f)
        {
            v1 -= ((v0 << 4) + k2) ^ (v0 + sum + 2) ^ ((v0 >> 5) + k3);
            v0 -= ((v1 << 4) + k0) ^ (v1 + sum + 2) ^ ((v1 >> 5) + k1);
        }
        else
        {
            v1 -= ((v0 << 4) + k2) ^ (v0 + sum) ^ ((v0 >> 5) + k3);
            v0 -= ((v1 << 4) + k0) ^ (v1 + sum) ^ ((v1 >> 5) + k1);
        }
        sum -= delta;
    }
    v[0] = v0;
    v[1] = v1;
}


int main()
{
    // v的值是从add那边扣出来的,后面加个0是为了方便输出字符串
    uint64_t v[3] = { -(int64_t)0xAD48DD59067C4282 , -(int64_t)0x323F2D5A909AF1A6, 0 };
    // key的值是通过调试,发现在右移/左移后,加上了它们,就是tea的逻辑
    uint32_t k[4] = { 11, 22, 33 ,44 };
    //encrypt(v, k);
    decrypt(v, k);
    std::cout << (unsigned char*)v;
    // We1c0me_7o_RCtF!
    return 0;
}

2048

逆向以及调试可得每次得分最大不能超过当前分数, 并且出一个 2048 就 win 一次, 选择直接当 2048 高手随便玩个几轮, 从 1w 分玩个几轮即可直接干到一伯 w , 得分够了退出即可得 flag .
2024-05-30T08:36:35.png

Noval cython

python3.10 import check_secret help(check_secret)能看到基本函数和数据

Help on module check_secret:

NAME
    check_secret

FUNCTIONS
    POINTER(...)

    addressof(...)
        addressof(C instance) -> integer
        Return the address of the C instance internal buffer

    algorithm1(...)

    algorithm2(...)

    algorithm3(...)

    algorithm4(...)

    algorithm5(...)

    algorithm6(...)

    algorithm7(...)

    algorithm8(...)

    alignment(...)
        alignment(C type) -> integer
        alignment(C instance) -> integer
        Return the alignment requirements of a C instance

    byref(...)
        byref(C instance[, offset=0]) -> byref-object
        Return a pointer lookalike to a C instance, only usable
        as function argument

    check(...)

    encrypt(...)

    get_errno(...)

    pointer(...)

    resize(...)
        Resize the memory buffer of a ctypes instance

    set_errno(...)

    sizeof(...)
        sizeof(C type) -> integer
        sizeof(C instance) -> integer
        Return the size in bytes of a C instance

DATA
    DEFAULT_MODE = 0
    RTLD_GLOBAL = 256
    RTLD_LOCAL = 0
    __test__ = {}
    cdll = <ctypes.LibraryLoader object>
    enc = [1386864498, 2877138732, 1628978326, 881564191, 1437614165, 4227...
    haha = [1272471749, 2262110437, 697301573, 1088211398]
    i = 3
    map = {'add': <built-in function algorithm1>, 'div': <built-in functio...
    memmove = <CFunctionType object>
    memset = <CFunctionType object>
    pydll = <ctypes.LibraryLoader object>
    pythonapi = <PyDLL 'None', handle 7f806481d2e0>
    sbox = [12, 17, 10, 6, 5, 27, 31, 15, 11, 8, 13, 21, 24, 1, 26, 22, 9,...
    xixi = [3540658286, 3391361277, 1321275334, 3918321625]

FILE
    /home/*******/check_secret.cpython-310-x86_64-linux-gnu.so

覆盖encrypt函数,打印参数观察,发现共有8次encrypt,每两次中间会使用sbox打乱顺序
覆盖掉map函数,由于encrypt函数不可直接看,但是map里面的东西是encrypt会进行调用的,所以可以分析出它的算法。通过分析:encrypt函数里会调用algorithm1-8,实际类似一个vm,打log看发现是TEA, Delta是0x12345678

import check_secret
from z3 import *

x = [BitVec(f"x{i}", 8) for i in range(4)]

def myAdd(a, b):
    print(f"{hex(a+b)}={hex(a)}+{hex(b)}")
    return (a+b)
def mySub(a, b):
    print(f"{hex(a-b)}={hex(a)}-{hex(b)}")
    return (a-b)
def myDiv(a, b):
    print(f"{hex(a//b)}={hex(a)}//{hex(b)}")
    return (a//b)
def myXor(a, b):
    print(f"{hex(a^b)}={hex(a)}^{hex(b)}")
    return (a^b)
def myMul(a, b):
    print(f"{hex(a*b)}={hex(a)}*{hex(b)}")
    return (a^b)
def myRsl(a, b):
    print(f"{hex((a<<b) & 0xffffffff)}={hex(a)}<<{hex(b)}")
    return ((a<<b) & 0xffffffff)
def myRsr(a, b):
    print(f"{hex(a>>b & 0xffffffff)}={hex(a)}>>{hex(b)}")
    return ((a>>b) & 0xffffffff)
def myMod(a, b):
    print(f"{hex(a%b)}={hex(a)}%{hex(b)}")
    return (a%b)

check_secret.map['add'] = myAdd
check_secret.map['sub'] = mySub
check_secret.map['div'] = myDiv
check_secret.map['xor'] = myXor
check_secret.map['mul'] = myMul
check_secret.map['rsl'] = myRsl
check_secret.map['rsr'] = myRsr
check_secret.map['mod'] = myMod

check_secret.encrypt([0xaaaaaaaa,0xbbbbbbbb,0xcccccccc,0xdddddddd], check_secret.xixi)
# print(check_secret.check('11111111111111111111111111111111'))
0xbbbbbbb0=0xbbbbbbbb<<0x4
0x18ec5e41e=0xbbbbbbb0+0xd30a286e
0xbbbbbbbb=0xbbbbbbbb+0x0
0x1357e5fa5=0x18ec5e41e^0xbbbbbbbb
0x5dddddd=0xbbbbbbbb>>0x5
0xd001eeda=0x5dddddd+0xca2410fd
0x1e57fb17f=0x1357e5fa5^0xd001eeda
0x2902a5c29=0xaaaaaaaa+0x1e57fb17f
0x12345678=0x0+0x12345678
0x2a5c290=0x902a5c29<<0x4
0x5166d256=0x2a5c290+0x4ec10fc6
0xa25eb2a1=0x902a5c29+0x12345678
0xf33860f7=0x5166d256^0xa25eb2a1
....
0x10411dd45=0x1e96dd8b3^0xed7c05f6
0x1d6f673f6=0xd2e496b1+0x10411dd45

对此我写了一个脚本来简化逻辑

s = open('./vmtrace.log').read()

cleared = s.split('\n')
clear = []
for i in range(len(cleared)):
    a, b = cleared[i].split('=')
    clear += [(a, b)]

finalList = []
for i, v in enumerate(clear):
    targ, expr = v
    replaced = False
    for j in range(i+1, len(clear)):
        a, b = clear[j]
        if b.find(targ) != -1:
            replaced = True
            b = b.replace(targ, "(" + expr + ")")
            clear[j] = a, b
    if not replaced:
        finalList.append((targ, expr))

for i in finalList:
    print(i)

得到简化的逻辑

('0x2902a5c29', '0xaaaaaaaa+(((((0xbbbbbbbb+0x0)<<0x4)+0xd30a286e)^(0xbbbbbbbb+0x0))^(((0xbbbbbbbb+0x0)>>0x5)+0xca2410fd))')
('0x1ea11d16c', '0x902a5c29+((((((0xbbbbbbbb+0x0)+((((0x902a5c29<<0x4)+0x4ec10fc6)^(0x902a5c29+(0x0+0x12345678)))^((0x902a5c29>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^(((0xbbbbbbbb+0x0)+((((0x902a5c29<<0x4)+0x4ec10fc6)^(0x902a5c29+(0x0+0x12345678)))^((0x902a5c29>>0x5)+0xe98cd7d9)))+(0x0+0x12345678)))^((((0xbbbbbbbb+0x0)+((((0x902a5c29<<0x4)+0x4ec10fc6)^(0x902a5c29+(0x0+0x12345678)))^((0x902a5c29>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd))')
('0x1ea6b44c6', '((0xbbbbbbbb+0x0)+((((0x902a5c29<<0x4)+0x4ec10fc6)^(0x902a5c29+(0x0+0x12345678)))^((0x902a5c29>>0x5)+0xe98cd7d9)))+((((0xea11d16c<<0x4)+0x4ec10fc6)^(0xea11d16c+((0x0+0x12345678)+(0x0+0x12345678))))^((0xea11d16c>>0x5)+0xe98cd7d9))')
('0x1902cbfc7', '0xea11d16c+((((0xea6b44c6<<0x4)+0xd30a286e)^(0xea6b44c6+((0x0+0x12345678)+(0x0+0x12345678))))^((0xea6b44c6>>0x5)+0xca2410fd))')
('0x163b63794', '0xea6b44c6+((((0x902cbfc7<<0x4)+0x4ec10fc6)^(0x902cbfc7+(((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))))^((0x902cbfc7>>0x5)+0xe98cd7d9))')
('0x1e9ac19b2', '0x902cbfc7+((((0x63b63794<<0x4)+0xd30a286e)^(0x63b63794+(((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))))^((0x63b63794>>0x5)+0xca2410fd))')
('0x18edc1966', '0x63b63794+((((0xe9ac19b2<<0x4)+0x4ec10fc6)^(0xe9ac19b2+((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xe9ac19b2>>0x5)+0xe98cd7d9))')
('0x2c3a855f2', '0xe9ac19b2+((((0x8edc1966<<0x4)+0xd30a286e)^(0x8edc1966+((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x8edc1966>>0x5)+0xca2410fd))')
('0x2071e8b8a', '0x8edc1966+((((0xc3a855f2<<0x4)+0x4ec10fc6)^(0xc3a855f2+(((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xc3a855f2>>0x5)+0xe98cd7d9))')
('0x2b03435a7', '0xc3a855f2+((((0x71e8b8a<<0x4)+0xd30a286e)^(0x71e8b8a+(((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x71e8b8a>>0x5)+0xca2410fd))')
('0x1a782bb51', '0x71e8b8a+((((0xb03435a7<<0x4)+0x4ec10fc6)^(0xb03435a7+((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xb03435a7>>0x5)+0xe98cd7d9))')
('0x1411d6f2f', '0xb03435a7+((((0xa782bb51<<0x4)+0xd30a286e)^(0xa782bb51+((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xa782bb51>>0x5)+0xca2410fd))')
('0x2d8f9ed17', '(0xa782bb51+((((0x411d6f2f<<0x4)+0x4ec10fc6)^(0x411d6f2f+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x411d6f2f>>0x5)+0xe98cd7d9)))+(((((0x411d6f2f+(((((0xa782bb51+((((0x411d6f2f<<0x4)+0x4ec10fc6)^(0x411d6f2f+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x411d6f2f>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0xa782bb51+((((0x411d6f2f<<0x4)+0x4ec10fc6)^(0x411d6f2f+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x411d6f2f>>0x5)+0xe98cd7d9)))+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0xa782bb51+((((0x411d6f2f<<0x4)+0x4ec10fc6)^(0x411d6f2f+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x411d6f2f>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^((0x411d6f2f+(((((0xa782bb51+((((0x411d6f2f<<0x4)+0x4ec10fc6)^(0x411d6f2f+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x411d6f2f>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0xa782bb51+((((0x411d6f2f<<0x4)+0x4ec10fc6)^(0x411d6f2f+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x411d6f2f>>0x5)+0xe98cd7d9)))+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0xa782bb51+((((0x411d6f2f<<0x4)+0x4ec10fc6)^(0x411d6f2f+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x411d6f2f>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))+((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x411d6f2f+(((((0xa782bb51+((((0x411d6f2f<<0x4)+0x4ec10fc6)^(0x411d6f2f+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x411d6f2f>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0xa782bb51+((((0x411d6f2f<<0x4)+0x4ec10fc6)^(0x411d6f2f+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x411d6f2f>>0x5)+0xe98cd7d9)))+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0xa782bb51+((((0x411d6f2f<<0x4)+0x4ec10fc6)^(0x411d6f2f+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x411d6f2f>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9))')
('0x1ba5af061', '(0x411d6f2f+(((((0xa782bb51+((((0x411d6f2f<<0x4)+0x4ec10fc6)^(0x411d6f2f+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x411d6f2f>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0xa782bb51+((((0x411d6f2f<<0x4)+0x4ec10fc6)^(0x411d6f2f+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x411d6f2f>>0x5)+0xe98cd7d9)))+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0xa782bb51+((((0x411d6f2f<<0x4)+0x4ec10fc6)^(0x411d6f2f+(((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x411d6f2f>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))+((((0xd8f9ed17<<0x4)+0xd30a286e)^(0xd8f9ed17+((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xd8f9ed17>>0x5)+0xca2410fd))')
('0x21e182d2a', '0xd8f9ed17+((((0xba5af061<<0x4)+0x4ec10fc6)^(0xba5af061+(((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xba5af061>>0x5)+0xe98cd7d9))')
('0x278d20e6b', '0xba5af061+((((0x1e182d2a<<0x4)+0xd30a286e)^(0x1e182d2a+(((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x1e182d2a>>0x5)+0xca2410fd))')
('0x136881e4b', '0x1e182d2a+((((0x78d20e6b<<0x4)+0x4ec10fc6)^(0x78d20e6b+((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x78d20e6b>>0x5)+0xe98cd7d9))')
('0x195993075', '0x78d20e6b+((((0x36881e4b<<0x4)+0xd30a286e)^(0x36881e4b+((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x36881e4b>>0x5)+0xca2410fd))')
('0x1523d7022', '0x36881e4b+((((0x95993075<<0x4)+0x4ec10fc6)^(0x95993075+(((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x95993075>>0x5)+0xe98cd7d9))')
('0x1b5c3222f', '0x95993075+((((0x523d7022<<0x4)+0xd30a286e)^(0x523d7022+(((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x523d7022>>0x5)+0xca2410fd))')
('0x2283c5db5', '0x523d7022+((((0xb5c3222f<<0x4)+0x4ec10fc6)^(0xb5c3222f+((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xb5c3222f>>0x5)+0xe98cd7d9))')
('0x154c8bd30', '0xb5c3222f+((((0x283c5db5<<0x4)+0xd30a286e)^(0x283c5db5+((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x283c5db5>>0x5)+0xca2410fd))')
('0x15e4b3c01', '0x283c5db5+((((0x54c8bd30<<0x4)+0x4ec10fc6)^(0x54c8bd30+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x54c8bd30>>0x5)+0xe98cd7d9))')
('0x22cd286c5', '0x5e4b3c01+(((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9))')
('0x111111108', '((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678)')
('0x2175de85a', '((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+(((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+0x11111108))^(((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd))')
('0x17f922c05', '((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+((((0x175de85a<<0x4)+0x4ec10fc6)^(0x175de85a+(0x11111108+(0x0+0x12345678))))^((0x175de85a>>0x5)+0xe98cd7d9)))+(((((0x175de85a+((((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+((((0x175de85a<<0x4)+0x4ec10fc6)^(0x175de85a+(0x11111108+(0x0+0x12345678))))^((0x175de85a>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^(((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+((((0x175de85a<<0x4)+0x4ec10fc6)^(0x175de85a+(0x11111108+(0x0+0x12345678))))^((0x175de85a>>0x5)+0xe98cd7d9)))+(0x11111108+(0x0+0x12345678))))^((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+((((0x175de85a<<0x4)+0x4ec10fc6)^(0x175de85a+(0x11111108+(0x0+0x12345678))))^((0x175de85a>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^((0x175de85a+((((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+((((0x175de85a<<0x4)+0x4ec10fc6)^(0x175de85a+(0x11111108+(0x0+0x12345678))))^((0x175de85a>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^(((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+((((0x175de85a<<0x4)+0x4ec10fc6)^(0x175de85a+(0x11111108+(0x0+0x12345678))))^((0x175de85a>>0x5)+0xe98cd7d9)))+(0x11111108+(0x0+0x12345678))))^((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+((((0x175de85a<<0x4)+0x4ec10fc6)^(0x175de85a+(0x11111108+(0x0+0x12345678))))^((0x175de85a>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))+((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x175de85a+((((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+((((0x175de85a<<0x4)+0x4ec10fc6)^(0x175de85a+(0x11111108+(0x0+0x12345678))))^((0x175de85a>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^(((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+((((0x175de85a<<0x4)+0x4ec10fc6)^(0x175de85a+(0x11111108+(0x0+0x12345678))))^((0x175de85a>>0x5)+0xe98cd7d9)))+(0x11111108+(0x0+0x12345678))))^((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+((((0x175de85a<<0x4)+0x4ec10fc6)^(0x175de85a+(0x11111108+(0x0+0x12345678))))^((0x175de85a>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9))')
('0x24128629a', '(0x175de85a+((((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+((((0x175de85a<<0x4)+0x4ec10fc6)^(0x175de85a+(0x11111108+(0x0+0x12345678))))^((0x175de85a>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^(((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+((((0x175de85a<<0x4)+0x4ec10fc6)^(0x175de85a+(0x11111108+(0x0+0x12345678))))^((0x175de85a>>0x5)+0xe98cd7d9)))+(0x11111108+(0x0+0x12345678))))^((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+0xd30a286e)^(0x5e4b3c01+(((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x5e4b3c01>>0x5)+0xca2410fd)))+((((0x2cd286c5<<0x4)+0xd30a286e)^(0x2cd286c5+((((((((((((((0x0+0x12345678)+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cd286c5>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9)))+((((0x175de85a<<0x4)+0x4ec10fc6)^(0x175de85a+(0x11111108+(0x0+0x12345678))))^((0x175de85a>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))+((((0x7f922c05<<0x4)+0xd30a286e)^(0x7f922c05+((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))))^((0x7f922c05>>0x5)+0xca2410fd))')
('0x12cfddbd3', '0x4128629a+(((((0x7f922c05+((((0x4128629a<<0x4)+0x4ec10fc6)^(0x4128629a+(((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x4128629a>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0x7f922c05+((((0x4128629a<<0x4)+0x4ec10fc6)^(0x4128629a+(((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x4128629a>>0x5)+0xe98cd7d9)))+(((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x7f922c05+((((0x4128629a<<0x4)+0x4ec10fc6)^(0x4128629a+(((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x4128629a>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd))')
('0x1f423cd80', '(0x7f922c05+((((0x4128629a<<0x4)+0x4ec10fc6)^(0x4128629a+(((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x4128629a>>0x5)+0xe98cd7d9)))+((((0x2cfddbd3<<0x4)+0x4ec10fc6)^(0x2cfddbd3+((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2cfddbd3>>0x5)+0xe98cd7d9))')
('0x1fe53ddb7', '0xf423cd80+(((((0x2cfddbd3+((((0xf423cd80<<0x4)+0xd30a286e)^(0xf423cd80+((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xf423cd80>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^((0x2cfddbd3+((((0xf423cd80<<0x4)+0xd30a286e)^(0xf423cd80+((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xf423cd80>>0x5)+0xca2410fd)))+(((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x2cfddbd3+((((0xf423cd80<<0x4)+0xd30a286e)^(0xf423cd80+((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xf423cd80>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9))')
('0x211bc9ede', '0xfe53ddb7+((((((0x2cfddbd3+((((0xf423cd80<<0x4)+0xd30a286e)^(0xf423cd80+((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xf423cd80>>0x5)+0xca2410fd)))+((((0xfe53ddb7<<0x4)+0xd30a286e)^(0xfe53ddb7+(((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xfe53ddb7>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^(((0x2cfddbd3+((((0xf423cd80<<0x4)+0xd30a286e)^(0xf423cd80+((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xf423cd80>>0x5)+0xca2410fd)))+((((0xfe53ddb7<<0x4)+0xd30a286e)^(0xfe53ddb7+(((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xfe53ddb7>>0x5)+0xca2410fd)))+((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((((0x2cfddbd3+((((0xf423cd80<<0x4)+0xd30a286e)^(0xf423cd80+((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xf423cd80>>0x5)+0xca2410fd)))+((((0xfe53ddb7<<0x4)+0xd30a286e)^(0xfe53ddb7+(((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xfe53ddb7>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9))')
('0x16c187b70', '((0x2cfddbd3+((((0xf423cd80<<0x4)+0xd30a286e)^(0xf423cd80+((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xf423cd80>>0x5)+0xca2410fd)))+((((0xfe53ddb7<<0x4)+0xd30a286e)^(0xfe53ddb7+(((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xfe53ddb7>>0x5)+0xca2410fd)))+((((0x11bc9ede<<0x4)+0xd30a286e)^(0x11bc9ede+((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x11bc9ede>>0x5)+0xca2410fd))')
('0x111ef5390', '0x11bc9ede+((((0x6c187b70<<0x4)+0x4ec10fc6)^(0x6c187b70+(((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x6c187b70>>0x5)+0xe98cd7d9))')
('0x1053aa687', '0x6c187b70+((((0x11ef5390<<0x4)+0xd30a286e)^(0x11ef5390+(((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x11ef5390>>0x5)+0xca2410fd))')
('0x14a3f0e60', '(0x11ef5390+((((0x53aa687<<0x4)+0x4ec10fc6)^(0x53aa687+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x53aa687>>0x5)+0xe98cd7d9)))+(((((0x53aa687+(((((0x11ef5390+((((0x53aa687<<0x4)+0x4ec10fc6)^(0x53aa687+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x53aa687>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0x11ef5390+((((0x53aa687<<0x4)+0x4ec10fc6)^(0x53aa687+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x53aa687>>0x5)+0xe98cd7d9)))+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x11ef5390+((((0x53aa687<<0x4)+0x4ec10fc6)^(0x53aa687+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x53aa687>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^((0x53aa687+(((((0x11ef5390+((((0x53aa687<<0x4)+0x4ec10fc6)^(0x53aa687+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x53aa687>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0x11ef5390+((((0x53aa687<<0x4)+0x4ec10fc6)^(0x53aa687+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x53aa687>>0x5)+0xe98cd7d9)))+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x11ef5390+((((0x53aa687<<0x4)+0x4ec10fc6)^(0x53aa687+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x53aa687>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))+(((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x53aa687+(((((0x11ef5390+((((0x53aa687<<0x4)+0x4ec10fc6)^(0x53aa687+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x53aa687>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0x11ef5390+((((0x53aa687<<0x4)+0x4ec10fc6)^(0x53aa687+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x53aa687>>0x5)+0xe98cd7d9)))+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x11ef5390+((((0x53aa687<<0x4)+0x4ec10fc6)^(0x53aa687+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x53aa687>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9))')
('0x212dd8d34', '(0x53aa687+(((((0x11ef5390+((((0x53aa687<<0x4)+0x4ec10fc6)^(0x53aa687+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x53aa687>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0x11ef5390+((((0x53aa687<<0x4)+0x4ec10fc6)^(0x53aa687+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x53aa687>>0x5)+0xe98cd7d9)))+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x11ef5390+((((0x53aa687<<0x4)+0x4ec10fc6)^(0x53aa687+((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x53aa687>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))+((((0x4a3f0e60<<0x4)+0xd30a286e)^(0x4a3f0e60+(((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x4a3f0e60>>0x5)+0xca2410fd))')
('0x22d62c152', '(0x4a3f0e60+((((0x12dd8d34<<0x4)+0x4ec10fc6)^(0x12dd8d34+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x12dd8d34>>0x5)+0xe98cd7d9)))+(((((0x12dd8d34+(((((0x4a3f0e60+((((0x12dd8d34<<0x4)+0x4ec10fc6)^(0x12dd8d34+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x12dd8d34>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0x4a3f0e60+((((0x12dd8d34<<0x4)+0x4ec10fc6)^(0x12dd8d34+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x12dd8d34>>0x5)+0xe98cd7d9)))+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x4a3f0e60+((((0x12dd8d34<<0x4)+0x4ec10fc6)^(0x12dd8d34+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x12dd8d34>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^((0x12dd8d34+(((((0x4a3f0e60+((((0x12dd8d34<<0x4)+0x4ec10fc6)^(0x12dd8d34+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x12dd8d34>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0x4a3f0e60+((((0x12dd8d34<<0x4)+0x4ec10fc6)^(0x12dd8d34+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x12dd8d34>>0x5)+0xe98cd7d9)))+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x4a3f0e60+((((0x12dd8d34<<0x4)+0x4ec10fc6)^(0x12dd8d34+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x12dd8d34>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))+(((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x12dd8d34+(((((0x4a3f0e60+((((0x12dd8d34<<0x4)+0x4ec10fc6)^(0x12dd8d34+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x12dd8d34>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0x4a3f0e60+((((0x12dd8d34<<0x4)+0x4ec10fc6)^(0x12dd8d34+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x12dd8d34>>0x5)+0xe98cd7d9)))+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x4a3f0e60+((((0x12dd8d34<<0x4)+0x4ec10fc6)^(0x12dd8d34+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x12dd8d34>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9))')
('0x13c3ff952', '(0x12dd8d34+(((((0x4a3f0e60+((((0x12dd8d34<<0x4)+0x4ec10fc6)^(0x12dd8d34+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x12dd8d34>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0x4a3f0e60+((((0x12dd8d34<<0x4)+0x4ec10fc6)^(0x12dd8d34+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x12dd8d34>>0x5)+0xe98cd7d9)))+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x4a3f0e60+((((0x12dd8d34<<0x4)+0x4ec10fc6)^(0x12dd8d34+((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x12dd8d34>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd)))+((((0x2d62c152<<0x4)+0xd30a286e)^(0x2d62c152+(((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x2d62c152>>0x5)+0xca2410fd))')  
('0x10bce2611', '0x2d62c152+((((0x3c3ff952<<0x4)+0x4ec10fc6)^(0x3c3ff952+((((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x3c3ff952>>0x5)+0xe98cd7d9))')
('0x1ee7d493c', '0x3c3ff952+((((0xbce2611<<0x4)+0xd30a286e)^(0xbce2611+((((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xbce2611>>0x5)+0xca2410fd))')
('0x1a35b9c36', '0xee7d493c+(((((0xbce2611+((((0xee7d493c<<0x4)+0x4ec10fc6)^(0xee7d493c+(((((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xee7d493c>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0xbce2611+((((0xee7d493c<<0x4)+0x4ec10fc6)^(0xee7d493c+(((((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xee7d493c>>0x5)+0xe98cd7d9)))+(((((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^(((0xbce2611+((((0xee7d493c<<0x4)+0x4ec10fc6)^(0xee7d493c+(((((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xee7d493c>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd))')
('0x10fedcb98', '(((((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678)')
('0x11106065b', '(0xbce2611+((((0xee7d493c<<0x4)+0x4ec10fc6)^(0xee7d493c+(((((((((((((0x11111108+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0xee7d493c>>0x5)+0xe98cd7d9)))+((((0xa35b9c36<<0x4)+0x4ec10fc6)^(0xa35b9c36+0xfedcb98))^((0xa35b9c36>>0x5)+0xe98cd7d9))')
('0x148954659', '0x1106065b+(((((0xa35b9c36+((((0x1106065b<<0x4)+0xd30a286e)^(0x1106065b+0xfedcb98))^((0x1106065b>>0x5)+0xca2410fd)))<<0x4)+0x4ec10fc6)^((0xa35b9c36+((((0x1106065b<<0x4)+0xd30a286e)^(0x1106065b+0xfedcb98))^((0x1106065b>>0x5)+0xca2410fd)))+(0xfedcb98+(0x0+0x12345678))))^(((0xa35b9c36+((((0x1106065b<<0x4)+0xd30a286e)^(0x1106065b+0xfedcb98))^((0x1106065b>>0x5)+0xca2410fd)))>>0x5)+0xe98cd7d9))')
('0x2a71219b0', '(0xa35b9c36+((((0x1106065b<<0x4)+0xd30a286e)^(0x1106065b+0xfedcb98))^((0x1106065b>>0x5)+0xca2410fd)))+((((0x48954659<<0x4)+0xd30a286e)^(0x48954659+(0xfedcb98+(0x0+0x12345678))))^((0x48954659>>0x5)+0xca2410fd))')
('0x17de5c3a5', '0xa71219b0+(((((0x48954659+((((0xa71219b0<<0x4)+0x4ec10fc6)^(0xa71219b0+((0xfedcb98+(0x0+0x12345678))+(0x0+0x12345678))))^((0xa71219b0>>0x5)+0xe98cd7d9)))<<0x4)+0xd30a286e)^((0x48954659+((((0xa71219b0<<0x4)+0x4ec10fc6)^(0xa71219b0+((0xfedcb98+(0x0+0x12345678))+(0x0+0x12345678))))^((0xa71219b0>>0x5)+0xe98cd7d9)))+((0xfedcb98+(0x0+0x12345678))+(0x0+0x12345678))))^(((0x48954659+((((0xa71219b0<<0x4)+0x4ec10fc6)^(0xa71219b0+((0xfedcb98+(0x0+0x12345678))+(0x0+0x12345678))))^((0xa71219b0>>0x5)+0xe98cd7d9)))>>0x5)+0xca2410fd))')
('0x1d6f673f6', '(0x48954659+((((0xa71219b0<<0x4)+0x4ec10fc6)^(0xa71219b0+((0xfedcb98+(0x0+0x12345678))+(0x0+0x12345678))))^((0xa71219b0>>0x5)+0xe98cd7d9)))+((((0x7de5c3a5<<0x4)+0x4ec10fc6)^(0x7de5c3a5+(((0xfedcb98+(0x0+0x12345678))+(0x0+0x12345678))+(0x0+0x12345678))))^((0x7de5c3a5>>0x5)+0xe98cd7d9))')

再手动处理一下得到

('0x2902a5c29', 'v1+(((((b2+0x0)<<0x4)+k1)^(b2+0x0))^(((b2+0x0)>>0x5)+k2))')
('0x1ea11d16c', '0x902a5c29+((((((b2+0x0)+((((0x902a5c29<<0x4)+k3)^(0x902a5c29+delta))^((0x902a5c29>>0x5)+k4)))<<0x4)+k1)^(((b2+0x0)+((((0x902a5c29<<0x4)+k3)^(0x902a5c29+delta))^((0x902a5c29>>0x5)+k4)))+delta))^((((b2+0x0)+((((0x902a5c29<<0x4)+k3)^(0x902a5c29+delta))^((0x902a5c29>>0x5)+k4)))>>0x5)+k2))')
('0x1ea6b44c6', '((b2+0x0)+((((0x902a5c29<<0x4)+k3)^(0x902a5c29+delta))^((0x902a5c29>>0x5)+k4)))+((((0xea11d16c<<0x4)+k3)^(0xea11d16c+(delta+delta)))^((0xea11d16c>>0x5)+k4))')
('0x1902cbfc7', '0xea11d16c+((((0xea6b44c6<<0x4)+k1)^(0xea6b44c6+(delta+delta)))^((0xea6b44c6>>0x5)+k2))')
('0x163b63794', '0xea6b44c6+((((0x902cbfc7<<0x4)+k3)^(0x902cbfc7+((delta+delta)+delta)))^((0x902cbfc7>>0x5)+k4))')
('0x1e9ac19b2', '0x902cbfc7+((((0x63b63794<<0x4)+k1)^(0x63b63794+((delta+delta)+delta)))^((0x63b63794>>0x5)+k2))')
('0x18edc1966', '0x63b63794+((((0xe9ac19b2<<0x4)+k3)^(0xe9ac19b2+(((delta+delta)+delta)+delta)))^((0xe9ac19b2>>0x5)+k4))')
('0x2c3a855f2', '0xe9ac19b2+((((0x8edc1966<<0x4)+k1)^(0x8edc1966+(((delta+delta)+delta)+delta)))^((0x8edc1966>>0x5)+k2))')
('0x2071e8b8a', '0x8edc1966+((((0xc3a855f2<<0x4)+k3)^(0xc3a855f2+((((delta+delta)+delta)+delta)+delta)))^((0xc3a855f2>>0x5)+k4))')
('0x2b03435a7', '0xc3a855f2+((((0x71e8b8a<<0x4)+k1)^(0x71e8b8a+((((delta+delta)+delta)+delta)+delta)))^((0x71e8b8a>>0x5)+k2))')
('0x1a782bb51', '0x71e8b8a+((((0xb03435a7<<0x4)+k3)^(0xb03435a7+(((((delta+delta)+delta)+delta)+delta)+delta)))^((0xb03435a7>>0x5)+k4))')
('0x1411d6f2f', '0xb03435a7+((((0xa782bb51<<0x4)+k1)^(0xa782bb51+(((((delta+delta)+delta)+delta)+delta)+delta)))^((0xa782bb51>>0x5)+k2))')
('0x2d8f9ed17', '(0xa782bb51+((((0x411d6f2f<<0x4)+k3)^(0x411d6f2f+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^((0x411d6f2f>>0x5)+k4)))+(((((0x411d6f2f+(((((0xa782bb51+((((0x411d6f2f<<0x4)+k3)^(0x411d6f2f+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^((0x411d6f2f>>0x5)+k4)))<<0x4)+k1)^((0xa782bb51+((((0x411d6f2f<<0x4)+k3)^(0x411d6f2f+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^((0x411d6f2f>>0x5)+k4)))+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^(((0xa782bb51+((((0x411d6f2f<<0x4)+k3)^(0x411d6f2f+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^((0x411d6f2f>>0x5)+k4)))>>0x5)+k2)))<<0x4)+k3)^((0x411d6f2f+(((((0xa782bb51+((((0x411d6f2f<<0x4)+k3)^(0x411d6f2f+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^((0x411d6f2f>>0x5)+k4)))<<0x4)+k1)^((0xa782bb51+((((0x411d6f2f<<0x4)+k3)^(0x411d6f2f+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^((0x411d6f2f>>0x5)+k4)))+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^(((0xa782bb51+((((0x411d6f2f<<0x4)+k3)^(0x411d6f2f+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^((0x411d6f2f>>0x5)+k4)))>>0x5)+k2)))+(((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^(((0x411d6f2f+(((((0xa782bb51+((((0x411d6f2f<<0x4)+k3)^(0x411d6f2f+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^((0x411d6f2f>>0x5)+k4)))<<0x4)+k1)^((0xa782bb51+((((0x411d6f2f<<0x4)+k3)^(0x411d6f2f+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^((0x411d6f2f>>0x5)+k4)))+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^(((0xa782bb51+((((0x411d6f2f<<0x4)+k3)^(0x411d6f2f+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^((0x411d6f2f>>0x5)+k4)))>>0x5)+k2)))>>0x5)+k4))')
('0x1ba5af061', '(0x411d6f2f+(((((0xa782bb51+((((0x411d6f2f<<0x4)+k3)^(0x411d6f2f+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^((0x411d6f2f>>0x5)+k4)))<<0x4)+k1)^((0xa782bb51+((((0x411d6f2f<<0x4)+k3)^(0x411d6f2f+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^((0x411d6f2f>>0x5)+k4)))+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^(((0xa782bb51+((((0x411d6f2f<<0x4)+k3)^(0x411d6f2f+((((((delta+delta)+delta)+delta)+delta)+delta)+delta)))^((0x411d6f2f>>0x5)+k4)))>>0x5)+k2)))+((((0xd8f9ed17<<0x4)+k1)^(0xd8f9ed17+(((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0xd8f9ed17>>0x5)+k2))')
('0x21e182d2a', '0xd8f9ed17+((((0xba5af061<<0x4)+k3)^(0xba5af061+((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0xba5af061>>0x5)+k4))')
('0x278d20e6b', '0xba5af061+((((0x1e182d2a<<0x4)+k1)^(0x1e182d2a+((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x1e182d2a>>0x5)+k2))')
('0x136881e4b', '0x1e182d2a+((((0x78d20e6b<<0x4)+k3)^(0x78d20e6b+(((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x78d20e6b>>0x5)+k4))')
('0x195993075', '0x78d20e6b+((((0x36881e4b<<0x4)+k1)^(0x36881e4b+(((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x36881e4b>>0x5)+k2))')
('0x1523d7022', '0x36881e4b+((((0x95993075<<0x4)+k3)^(0x95993075+((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x95993075>>0x5)+k4))')
('0x1b5c3222f', '0x95993075+((((0x523d7022<<0x4)+k1)^(0x523d7022+((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x523d7022>>0x5)+k2))')
('0x2283c5db5', '0x523d7022+((((0xb5c3222f<<0x4)+k3)^(0xb5c3222f+(((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0xb5c3222f>>0x5)+k4))')
('0x154c8bd30', '0xb5c3222f+((((0x283c5db5<<0x4)+k1)^(0x283c5db5+(((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x283c5db5>>0x5)+k2))')
('0x15e4b3c01', '0x283c5db5+((((0x54c8bd30<<0x4)+k3)^(0x54c8bd30+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x54c8bd30>>0x5)+k4))')
('0x22cd286c5', '0x5e4b3c01+(((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))<<0x4)+k3)^((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))>>0x5)+k4))')
('0x111111108', '(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta')
('0x2175de85a', '((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+(((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))<<0x4)+k1)^((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+0x11111108))^(((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))>>0x5)+k2))')
('0x17f922c05', '((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+((((0x175de85a<<0x4)+k3)^(0x175de85a+(0x11111108+delta)))^((0x175de85a>>0x5)+k4)))+(((((0x175de85a+((((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+((((0x175de85a<<0x4)+k3)^(0x175de85a+(0x11111108+delta)))^((0x175de85a>>0x5)+k4)))<<0x4)+k1)^(((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+((((0x175de85a<<0x4)+k3)^(0x175de85a+(0x11111108+delta)))^((0x175de85a>>0x5)+k4)))+(0x11111108+delta)))^((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+((((0x175de85a<<0x4)+k3)^(0x175de85a+(0x11111108+delta)))^((0x175de85a>>0x5)+k4)))>>0x5)+k2)))<<0x4)+k3)^((0x175de85a+((((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+((((0x175de85a<<0x4)+k3)^(0x175de85a+(0x11111108+delta)))^((0x175de85a>>0x5)+k4)))<<0x4)+k1)^(((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+((((0x175de85a<<0x4)+k3)^(0x175de85a+(0x11111108+delta)))^((0x175de85a>>0x5)+k4)))+(0x11111108+delta)))^((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+((((0x175de85a<<0x4)+k3)^(0x175de85a+(0x11111108+delta)))^((0x175de85a>>0x5)+k4)))>>0x5)+k2)))+((0x11111108+delta)+delta)))^(((0x175de85a+((((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+((((0x175de85a<<0x4)+k3)^(0x175de85a+(0x11111108+delta)))^((0x175de85a>>0x5)+k4)))<<0x4)+k1)^(((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+((((0x175de85a<<0x4)+k3)^(0x175de85a+(0x11111108+delta)))^((0x175de85a>>0x5)+k4)))+(0x11111108+delta)))^((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+((((0x175de85a<<0x4)+k3)^(0x175de85a+(0x11111108+delta)))^((0x175de85a>>0x5)+k4)))>>0x5)+k2)))>>0x5)+k4))')
('0x24128629a', '(0x175de85a+((((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+((((0x175de85a<<0x4)+k3)^(0x175de85a+(0x11111108+delta)))^((0x175de85a>>0x5)+k4)))<<0x4)+k1)^(((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+((((0x175de85a<<0x4)+k3)^(0x175de85a+(0x11111108+delta)))^((0x175de85a>>0x5)+k4)))+(0x11111108+delta)))^((((0x2cd286c5+((((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))<<0x4)+k3)^(((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))+0x11111108))^((((0x54c8bd30+((((0x5e4b3c01<<0x4)+k1)^(0x5e4b3c01+((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x5e4b3c01>>0x5)+k2)))+((((0x2cd286c5<<0x4)+k1)^(0x2cd286c5+(((((((((((((delta+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2cd286c5>>0x5)+k2)))>>0x5)+k4)))+((((0x175de85a<<0x4)+k3)^(0x175de85a+(0x11111108+delta)))^((0x175de85a>>0x5)+k4)))>>0x5)+k2)))+((((0x7f922c05<<0x4)+k1)^(0x7f922c05+((0x11111108+delta)+delta)))^((0x7f922c05>>0x5)+k2))')
('0x12cfddbd3', '0x4128629a+(((((0x7f922c05+((((0x4128629a<<0x4)+k3)^(0x4128629a+(((0x11111108+delta)+delta)+delta)))^((0x4128629a>>0x5)+k4)))<<0x4)+k1)^((0x7f922c05+((((0x4128629a<<0x4)+k3)^(0x4128629a+(((0x11111108+delta)+delta)+delta)))^((0x4128629a>>0x5)+k4)))+(((0x11111108+delta)+delta)+delta)))^(((0x7f922c05+((((0x4128629a<<0x4)+k3)^(0x4128629a+(((0x11111108+delta)+delta)+delta)))^((0x4128629a>>0x5)+k4)))>>0x5)+k2))')
('0x1f423cd80', '(0x7f922c05+((((0x4128629a<<0x4)+k3)^(0x4128629a+(((0x11111108+delta)+delta)+delta)))^((0x4128629a>>0x5)+k4)))+((((0x2cfddbd3<<0x4)+k3)^(0x2cfddbd3+((((0x11111108+delta)+delta)+delta)+delta)))^((0x2cfddbd3>>0x5)+k4))')
('0x1fe53ddb7', '0xf423cd80+(((((0x2cfddbd3+((((0xf423cd80<<0x4)+k1)^(0xf423cd80+((((0x11111108+delta)+delta)+delta)+delta)))^((0xf423cd80>>0x5)+k2)))<<0x4)+k3)^((0x2cfddbd3+((((0xf423cd80<<0x4)+k1)^(0xf423cd80+((((0x11111108+delta)+delta)+delta)+delta)))^((0xf423cd80>>0x5)+k2)))+(((((0x11111108+delta)+delta)+delta)+delta)+delta)))^(((0x2cfddbd3+((((0xf423cd80<<0x4)+k1)^(0xf423cd80+((((0x11111108+delta)+delta)+delta)+delta)))^((0xf423cd80>>0x5)+k2)))>>0x5)+k4))')
('0x211bc9ede', '0xfe53ddb7+((((((0x2cfddbd3+((((0xf423cd80<<0x4)+k1)^(0xf423cd80+((((0x11111108+delta)+delta)+delta)+delta)))^((0xf423cd80>>0x5)+k2)))+((((0xfe53ddb7<<0x4)+k1)^(0xfe53ddb7+(((((0x11111108+delta)+delta)+delta)+delta)+delta)))^((0xfe53ddb7>>0x5)+k2)))<<0x4)+k3)^(((0x2cfddbd3+((((0xf423cd80<<0x4)+k1)^(0xf423cd80+((((0x11111108+delta)+delta)+delta)+delta)))^((0xf423cd80>>0x5)+k2)))+((((0xfe53ddb7<<0x4)+k1)^(0xfe53ddb7+(((((0x11111108+delta)+delta)+delta)+delta)+delta)))^((0xfe53ddb7>>0x5)+k2)))+((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)))^((((0x2cfddbd3+((((0xf423cd80<<0x4)+k1)^(0xf423cd80+((((0x11111108+delta)+delta)+delta)+delta)))^((0xf423cd80>>0x5)+k2)))+((((0xfe53ddb7<<0x4)+k1)^(0xfe53ddb7+(((((0x11111108+delta)+delta)+delta)+delta)+delta)))^((0xfe53ddb7>>0x5)+k2)))>>0x5)+k4))')
('0x16c187b70', '((0x2cfddbd3+((((0xf423cd80<<0x4)+k1)^(0xf423cd80+((((0x11111108+delta)+delta)+delta)+delta)))^((0xf423cd80>>0x5)+k2)))+((((0xfe53ddb7<<0x4)+k1)^(0xfe53ddb7+(((((0x11111108+delta)+delta)+delta)+delta)+delta)))^((0xfe53ddb7>>0x5)+k2)))+((((0x11bc9ede<<0x4)+k1)^(0x11bc9ede+((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)))^((0x11bc9ede>>0x5)+k2))')
('0x111ef5390', '0x11bc9ede+((((0x6c187b70<<0x4)+k3)^(0x6c187b70+(((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x6c187b70>>0x5)+k4))')
('0x1053aa687', '0x6c187b70+((((0x11ef5390<<0x4)+k1)^(0x11ef5390+(((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x11ef5390>>0x5)+k2))')
('0x14a3f0e60', '(0x11ef5390+((((0x53aa687<<0x4)+k3)^(0x53aa687+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x53aa687>>0x5)+k4)))+(((((0x53aa687+(((((0x11ef5390+((((0x53aa687<<0x4)+k3)^(0x53aa687+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x53aa687>>0x5)+k4)))<<0x4)+k1)^((0x11ef5390+((((0x53aa687<<0x4)+k3)^(0x53aa687+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x53aa687>>0x5)+k4)))+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^(((0x11ef5390+((((0x53aa687<<0x4)+k3)^(0x53aa687+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x53aa687>>0x5)+k4)))>>0x5)+k2)))<<0x4)+k3)^((0x53aa687+(((((0x11ef5390+((((0x53aa687<<0x4)+k3)^(0x53aa687+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x53aa687>>0x5)+k4)))<<0x4)+k1)^((0x11ef5390+((((0x53aa687<<0x4)+k3)^(0x53aa687+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x53aa687>>0x5)+k4)))+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^(((0x11ef5390+((((0x53aa687<<0x4)+k3)^(0x53aa687+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x53aa687>>0x5)+k4)))>>0x5)+k2)))+(((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^(((0x53aa687+(((((0x11ef5390+((((0x53aa687<<0x4)+k3)^(0x53aa687+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x53aa687>>0x5)+k4)))<<0x4)+k1)^((0x11ef5390+((((0x53aa687<<0x4)+k3)^(0x53aa687+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x53aa687>>0x5)+k4)))+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^(((0x11ef5390+((((0x53aa687<<0x4)+k3)^(0x53aa687+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x53aa687>>0x5)+k4)))>>0x5)+k2)))>>0x5)+k4))')
('0x212dd8d34', '(0x53aa687+(((((0x11ef5390+((((0x53aa687<<0x4)+k3)^(0x53aa687+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x53aa687>>0x5)+k4)))<<0x4)+k1)^((0x11ef5390+((((0x53aa687<<0x4)+k3)^(0x53aa687+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x53aa687>>0x5)+k4)))+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^(((0x11ef5390+((((0x53aa687<<0x4)+k3)^(0x53aa687+((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x53aa687>>0x5)+k4)))>>0x5)+k2)))+((((0x4a3f0e60<<0x4)+k1)^(0x4a3f0e60+(((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x4a3f0e60>>0x5)+k2))')
('0x22d62c152', '(0x4a3f0e60+((((0x12dd8d34<<0x4)+k3)^(0x12dd8d34+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x12dd8d34>>0x5)+k4)))+(((((0x12dd8d34+(((((0x4a3f0e60+((((0x12dd8d34<<0x4)+k3)^(0x12dd8d34+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x12dd8d34>>0x5)+k4)))<<0x4)+k1)^((0x4a3f0e60+((((0x12dd8d34<<0x4)+k3)^(0x12dd8d34+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x12dd8d34>>0x5)+k4)))+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^(((0x4a3f0e60+((((0x12dd8d34<<0x4)+k3)^(0x12dd8d34+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x12dd8d34>>0x5)+k4)))>>0x5)+k2)))<<0x4)+k3)^((0x12dd8d34+(((((0x4a3f0e60+((((0x12dd8d34<<0x4)+k3)^(0x12dd8d34+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x12dd8d34>>0x5)+k4)))<<0x4)+k1)^((0x4a3f0e60+((((0x12dd8d34<<0x4)+k3)^(0x12dd8d34+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x12dd8d34>>0x5)+k4)))+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^(((0x4a3f0e60+((((0x12dd8d34<<0x4)+k3)^(0x12dd8d34+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x12dd8d34>>0x5)+k4)))>>0x5)+k2)))+(((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^(((0x12dd8d34+(((((0x4a3f0e60+((((0x12dd8d34<<0x4)+k3)^(0x12dd8d34+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x12dd8d34>>0x5)+k4)))<<0x4)+k1)^((0x4a3f0e60+((((0x12dd8d34<<0x4)+k3)^(0x12dd8d34+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x12dd8d34>>0x5)+k4)))+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^(((0x4a3f0e60+((((0x12dd8d34<<0x4)+k3)^(0x12dd8d34+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x12dd8d34>>0x5)+k4)))>>0x5)+k2)))>>0x5)+k4))')
('0x13c3ff952', '(0x12dd8d34+(((((0x4a3f0e60+((((0x12dd8d34<<0x4)+k3)^(0x12dd8d34+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x12dd8d34>>0x5)+k4)))<<0x4)+k1)^((0x4a3f0e60+((((0x12dd8d34<<0x4)+k3)^(0x12dd8d34+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x12dd8d34>>0x5)+k4)))+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^(((0x4a3f0e60+((((0x12dd8d34<<0x4)+k3)^(0x12dd8d34+((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x12dd8d34>>0x5)+k4)))>>0x5)+k2)))+((((0x2d62c152<<0x4)+k1)^(0x2d62c152+(((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x2d62c152>>0x5)+k2))')  
('0x10bce2611', '0x2d62c152+((((0x3c3ff952<<0x4)+k3)^(0x3c3ff952+((((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0x3c3ff952>>0x5)+k4))')
('0x1ee7d493c', '0x3c3ff952+((((0xbce2611<<0x4)+k1)^(0xbce2611+((((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0xbce2611>>0x5)+k2))')
('0x1a35b9c36', '0xee7d493c+(((((0xbce2611+((((0xee7d493c<<0x4)+k3)^(0xee7d493c+(((((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0xee7d493c>>0x5)+k4)))<<0x4)+k1)^((0xbce2611+((((0xee7d493c<<0x4)+k3)^(0xee7d493c+(((((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0xee7d493c>>0x5)+k4)))+(((((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^(((0xbce2611+((((0xee7d493c<<0x4)+k3)^(0xee7d493c+(((((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0xee7d493c>>0x5)+k4)))>>0x5)+k2))')
('0x10fedcb98', '(((((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta')
('0x11106065b', '(0xbce2611+((((0xee7d493c<<0x4)+k3)^(0xee7d493c+(((((((((((((0x11111108+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)+delta)))^((0xee7d493c>>0x5)+k4)))+((((0xa35b9c36<<0x4)+k3)^(0xa35b9c36+0xfedcb98))^((0xa35b9c36>>0x5)+k4))')
('0x148954659', '0x1106065b+(((((0xa35b9c36+((((0x1106065b<<0x4)+k1)^(0x1106065b+0xfedcb98))^((0x1106065b>>0x5)+k2)))<<0x4)+k3)^((0xa35b9c36+((((0x1106065b<<0x4)+k1)^(0x1106065b+0xfedcb98))^((0x1106065b>>0x5)+k2)))+(0xfedcb98+delta)))^(((0xa35b9c36+((((0x1106065b<<0x4)+k1)^(0x1106065b+0xfedcb98))^((0x1106065b>>0x5)+k2)))>>0x5)+k4))')
('0x2a71219b0', '(0xa35b9c36+((((0x1106065b<<0x4)+k1)^(0x1106065b+0xfedcb98))^((0x1106065b>>0x5)+k2)))+((((0x48954659<<0x4)+k1)^(0x48954659+(0xfedcb98+delta)))^((0x48954659>>0x5)+k2))')
('0x17de5c3a5', '0xa71219b0+(((((0x48954659+((((0xa71219b0<<0x4)+k3)^(0xa71219b0+((0xfedcb98+delta)+delta)))^((0xa71219b0>>0x5)+k4)))<<0x4)+k1)^((0x48954659+((((0xa71219b0<<0x4)+k3)^(0xa71219b0+((0xfedcb98+delta)+delta)))^((0xa71219b0>>0x5)+k4)))+((0xfedcb98+delta)+delta)))^(((0x48954659+((((0xa71219b0<<0x4)+k3)^(0xa71219b0+((0xfedcb98+delta)+delta)))^((0xa71219b0>>0x5)+k4)))>>0x5)+k2))')
('0x1d6f673f6', '(0x48954659+((((0xa71219b0<<0x4)+k3)^(0xa71219b0+((0xfedcb98+delta)+delta)))^((0xa71219b0>>0x5)+k4)))+((((0x7de5c3a5<<0x4)+k3)^(0x7de5c3a5+(((0xfedcb98+delta)+delta)+delta)))^((0x7de5c3a5>>0x5)+k4))')

中间断掉的过程,很可能是程序内部自己进行的加法运算,不过已经问题不大了。

有很明显的TEA的逻辑,我们可以得到

delta = 0x12345678
k = ['0xd30a286e', '0xca2410fd', '0x4ec10fc6', '0xe98cd7d9']
这里的k是xixi,当然它加密后还会走一波,以haha作为key

解TEA:

#include <stdint.h>
#include <stdio.h>

void decrypt (uint32_t* v, uint32_t* k) {
    uint32_t v0=v[0], v1=v[1], sum=0x12345678*(32), i;  /* set up */
    uint32_t delta=0x12345678;                     /* a key schedule constant */
    uint32_t k0=k[0], k1=k[1], k2=k[2], k3=k[3];   /* cache key */
    for (i=0; i<32; i++) {                         /* basic cycle start */
        v1 -= ((v0<<4) + k2) ^ (v0 + sum) ^ ((v0>>5) + k3);
        v0 -= ((v1<<4) + k0) ^ (v1 + sum) ^ ((v1>>5) + k1);
        sum -= delta;
    }                                              /* end cycle */
    v[0]=v0; v[1]=v1;
}

int main() {
    uint32_t v[] = {1386864498, 2877138732, 1628978326, 881564191, 1437614165, 4227562200, 1606883458, 3679355295};
    uint32_t k1[] = {3540658286, 3391361277, 1321275334, 3918321625}; // xixi 
    uint32_t k2[] = {1272471749, 2262110437, 697301573, 1088211398}; // haha
    for (int i = 0; i < 8; i += 2) {
        decrypt((uint16_t *)v+i, k2);
    } 
    for (int i = 0; i < 8; i += 2) {
        decrypt((uint16_t *)v+i, k1);
    }
    puts(v);
}
// 3t00n3}Cv_l_@l1Cnyh1g0fgt_3{hann

恢复顺序

sbox = [12, 17, 10, 6, 5, 27, 31, 15, 11, 8, 13, 21, 24, 1, 26, 22, 9, 16, 18, 25, 29, 19, 0, 3, 7, 14, 30, 4, 23, 2, 28, 20]
MA = [sbox.index(i) for i in range(32)]
s = "3t00n3}Cv_l_@l1Cnyh1g0fgt_3{hann"
flag = ""
for i in MA:
    flag+=s[i]
print(flag)
# flag{n0t_n0v3l_Cyth0n_Ch@113ng3}