// File: /workspace/github_c_makefile_star2_O0/agl[P]obstcp/sha256.c
// Function: sha256_transform
static void
sha256_transform(uint32_t *state, uint8_t *buf) {
  uint32_t S[8], W[64], t0, t1;
  int i;

  for (i = 0; i < 8; i++) S[i] = state[i];
  for (i = 0; i < 16; i++) W[i] = get32_msb(buf + (4 * i));
  for (i = 16; i < 64; i++) {
    W[i] = Gamma1(W[i - 2]) + W[i - 7] + Gamma0(W[i - 15]) + W[i - 16];
  }

  /* Compress */
#define RND(a,b,c,d,e,f,g,h,i,ki)               \
  t0 = h + Sigma1(e) + Ch(e, f, g) + ki + W[i]; \
  t1 = Sigma0(a) + Maj(a, b, c);                \
  d += t0;                                      \
  h  = t0 + t1;

  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],0,0x428a2f98);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],1,0x71374491);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],2,0xb5c0fbcf);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],3,0xe9b5dba5);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],4,0x3956c25b);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],5,0x59f111f1);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],6,0x923f82a4);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],7,0xab1c5ed5);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],8,0xd807aa98);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],9,0x12835b01);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],10,0x243185be);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],11,0x550c7dc3);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],12,0x72be5d74);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],13,0x80deb1fe);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],14,0x9bdc06a7);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],15,0xc19bf174);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],16,0xe49b69c1);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],17,0xefbe4786);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],18,0x0fc19dc6);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],19,0x240ca1cc);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],20,0x2de92c6f);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],21,0x4a7484aa);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],22,0x5cb0a9dc);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],23,0x76f988da);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],24,0x983e5152);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],25,0xa831c66d);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],26,0xb00327c8);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],27,0xbf597fc7);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],28,0xc6e00bf3);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],29,0xd5a79147);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],30,0x06ca6351);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],31,0x14292967);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],32,0x27b70a85);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],33,0x2e1b2138);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],34,0x4d2c6dfc);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],35,0x53380d13);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],36,0x650a7354);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],37,0x766a0abb);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],38,0x81c2c92e);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],39,0x92722c85);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],40,0xa2bfe8a1);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],41,0xa81a664b);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],42,0xc24b8b70);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],43,0xc76c51a3);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],44,0xd192e819);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],45,0xd6990624);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],46,0xf40e3585);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],47,0x106aa070);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],48,0x19a4c116);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],49,0x1e376c08);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],50,0x2748774c);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],51,0x34b0bcb5);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],52,0x391c0cb3);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],53,0x4ed8aa4a);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],54,0x5b9cca4f);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],55,0x682e6ff3);
  RND(S[0],S[1],S[2],S[3],S[4],S[5],S[6],S[7],56,0x748f82ee);
  RND(S[7],S[0],S[1],S[2],S[3],S[4],S[5],S[6],57,0x78a5636f);
  RND(S[6],S[7],S[0],S[1],S[2],S[3],S[4],S[5],58,0x84c87814);
  RND(S[5],S[6],S[7],S[0],S[1],S[2],S[3],S[4],59,0x8cc70208);
  RND(S[4],S[5],S[6],S[7],S[0],S[1],S[2],S[3],60,0x90befffa);
  RND(S[3],S[4],S[5],S[6],S[7],S[0],S[1],S[2],61,0xa4506ceb);
  RND(S[2],S[3],S[4],S[5],S[6],S[7],S[0],S[1],62,0xbef9a3f7);
  RND(S[1],S[2],S[3],S[4],S[5],S[6],S[7],S[0],63,0xc67178f2);

#undef RND

  for (i = 0; i < 8; i++) state[i] = state[i] + S[i];
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x650, %rsp            # imm = 0x650
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl $0x0, -0x13c(%rbp)
cmpl $0x8, -0x13c(%rbp)
jge 0x5d00
movq -0x8(%rbp), %rax
movslq -0x13c(%rbp), %rcx
movl (%rax,%rcx,4), %ecx
movslq -0x13c(%rbp), %rax
movl %ecx, -0x30(%rbp,%rax,4)
movl -0x13c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x13c(%rbp)
jmp 0x5ccd
movl $0x0, -0x13c(%rbp)
cmpl $0x10, -0x13c(%rbp)
jge 0x5d4b
movq -0x10(%rbp), %rdi
movl -0x13c(%rbp), %eax
shll $0x2, %eax
cltq
addq %rax, %rdi
callq 0x9e20
movl %eax, %ecx
movslq -0x13c(%rbp), %rax
movl %ecx, -0x130(%rbp,%rax,4)
movl -0x13c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x13c(%rbp)
jmp 0x5d0a
movl $0x10, -0x13c(%rbp)
cmpl $0x40, -0x13c(%rbp)
jge 0x5ea5
movl -0x13c(%rbp), %eax
subl $0x2, %eax
cltq
movl -0x130(%rbp,%rax,4), %edi
movl $0x11, %esi
callq 0x9e50
movl %eax, -0x150(%rbp)
movl -0x13c(%rbp), %eax
subl $0x2, %eax
cltq
movl -0x130(%rbp,%rax,4), %edi
movl $0x13, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x150(%rbp), %eax
xorl %ecx, %eax
movl %eax, %eax
movl -0x13c(%rbp), %ecx
subl $0x2, %ecx
movslq %ecx, %rcx
movl -0x130(%rbp,%rcx,4), %ecx
movabsq $0xffffffff, %rdx       # imm = 0xFFFFFFFF
andq %rdx, %rcx
shrq $0xa, %rcx
xorq %rcx, %rax
movl -0x13c(%rbp), %ecx
subl $0x7, %ecx
movslq %ecx, %rcx
movl -0x130(%rbp,%rcx,4), %ecx
addq %rcx, %rax
movq %rax, -0x148(%rbp)
movl -0x13c(%rbp), %eax
subl $0xf, %eax
cltq
movl -0x130(%rbp,%rax,4), %edi
movl $0x7, %esi
callq 0x9e50
movl %eax, -0x14c(%rbp)
movl -0x13c(%rbp), %eax
subl $0xf, %eax
cltq
movl -0x130(%rbp,%rax,4), %edi
movl $0x12, %esi
callq 0x9e50
movl -0x14c(%rbp), %ecx
movl %eax, %edx
movq -0x148(%rbp), %rax
xorl %edx, %ecx
movl %ecx, %ecx
movl -0x13c(%rbp), %edx
subl $0xf, %edx
movslq %edx, %rdx
movl -0x130(%rbp,%rdx,4), %edx
movabsq $0xffffffff, %rsi       # imm = 0xFFFFFFFF
andq %rsi, %rdx
shrq $0x3, %rdx
xorq %rdx, %rcx
addq %rcx, %rax
movl -0x13c(%rbp), %ecx
subl $0x10, %ecx
movslq %ecx, %rcx
movl -0x130(%rbp,%rcx,4), %ecx
addq %rcx, %rax
movl %eax, %ecx
movslq -0x13c(%rbp), %rax
movl %ecx, -0x130(%rbp,%rax,4)
movl -0x13c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x13c(%rbp)
jmp 0x5d55
movl -0x14(%rbp), %eax
movl %eax, -0x648(%rbp)
movl -0x20(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x650(%rbp)
movl -0x20(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x650(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x64c(%rbp)
movl -0x20(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x64c(%rbp), %ecx
movl %eax, %edx
movl -0x648(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
movl -0x1c(%rbp), %esi
xorl -0x18(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x428a2f98, %eax       # imm = 0x428A2F98
addl -0x130(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x30(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x644(%rbp)
movl -0x30(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x644(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x640(%rbp)
movl -0x30(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x640(%rbp), %eax
xorl %ecx, %eax
movl -0x30(%rbp), %ecx
orl -0x2c(%rbp), %ecx
andl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
andl -0x2c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x18(%rbp), %eax
movl %eax, -0x634(%rbp)
movl -0x24(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x63c(%rbp)
movl -0x24(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x63c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x638(%rbp)
movl -0x24(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x638(%rbp), %ecx
movl %eax, %edx
movl -0x634(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
movl -0x20(%rbp), %esi
xorl -0x1c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x71374491, %eax       # imm = 0x71374491
addl -0x12c(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x14(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x630(%rbp)
movl -0x14(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x630(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x62c(%rbp)
movl -0x14(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x62c(%rbp), %eax
xorl %ecx, %eax
movl -0x14(%rbp), %ecx
orl -0x30(%rbp), %ecx
andl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
andl -0x30(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x620(%rbp)
movl -0x28(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x628(%rbp)
movl -0x28(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x628(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x624(%rbp)
movl -0x28(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x624(%rbp), %ecx
movl %eax, %edx
movl -0x620(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
movl -0x24(%rbp), %esi
xorl -0x20(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xb5c0fbcf, %eax       # imm = 0xB5C0FBCF
addl -0x128(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x18(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x61c(%rbp)
movl -0x18(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x61c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x618(%rbp)
movl -0x18(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x618(%rbp), %eax
xorl %ecx, %eax
movl -0x18(%rbp), %ecx
orl -0x14(%rbp), %ecx
andl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
andl -0x14(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x60c(%rbp)
movl -0x2c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x614(%rbp)
movl -0x2c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x614(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x610(%rbp)
movl -0x2c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x610(%rbp), %ecx
movl %eax, %edx
movl -0x60c(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
movl -0x28(%rbp), %esi
xorl -0x24(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xe9b5dba5, %eax       # imm = 0xE9B5DBA5
addl -0x124(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x1c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x608(%rbp)
movl -0x1c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x608(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x604(%rbp)
movl -0x1c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x604(%rbp), %eax
xorl %ecx, %eax
movl -0x1c(%rbp), %ecx
orl -0x18(%rbp), %ecx
andl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
andl -0x18(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x5f8(%rbp)
movl -0x30(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x600(%rbp)
movl -0x30(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x600(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x5fc(%rbp)
movl -0x30(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x5fc(%rbp), %ecx
movl %eax, %edx
movl -0x5f8(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
movl -0x2c(%rbp), %esi
xorl -0x28(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x3956c25b, %eax       # imm = 0x3956C25B
addl -0x120(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x20(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x5f4(%rbp)
movl -0x20(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5f4(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x5f0(%rbp)
movl -0x20(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5f0(%rbp), %eax
xorl %ecx, %eax
movl -0x20(%rbp), %ecx
orl -0x1c(%rbp), %ecx
andl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
andl -0x1c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x5e4(%rbp)
movl -0x14(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x5ec(%rbp)
movl -0x14(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5ec(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x5e8(%rbp)
movl -0x14(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x5e8(%rbp), %ecx
movl %eax, %edx
movl -0x5e4(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
movl -0x30(%rbp), %esi
xorl -0x2c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x59f111f1, %eax       # imm = 0x59F111F1
addl -0x11c(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x24(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x5e0(%rbp)
movl -0x24(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5e0(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x5dc(%rbp)
movl -0x24(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5dc(%rbp), %eax
xorl %ecx, %eax
movl -0x24(%rbp), %ecx
orl -0x20(%rbp), %ecx
andl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
andl -0x20(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x18(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x5d0(%rbp)
movl -0x18(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x5d8(%rbp)
movl -0x18(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5d8(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x5d4(%rbp)
movl -0x18(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x5d4(%rbp), %ecx
movl %eax, %edx
movl -0x5d0(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
movl -0x14(%rbp), %esi
xorl -0x30(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x923f82a4, %eax       # imm = 0x923F82A4
addl -0x118(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x28(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x5cc(%rbp)
movl -0x28(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5cc(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x5c8(%rbp)
movl -0x28(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5c8(%rbp), %eax
xorl %ecx, %eax
movl -0x28(%rbp), %ecx
orl -0x24(%rbp), %ecx
andl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
andl -0x24(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x1c(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x5bc(%rbp)
movl -0x1c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x5c4(%rbp)
movl -0x1c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5c4(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x5c0(%rbp)
movl -0x1c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x5c0(%rbp), %ecx
movl %eax, %edx
movl -0x5bc(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
movl -0x18(%rbp), %esi
xorl -0x14(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xab1c5ed5, %eax       # imm = 0xAB1C5ED5
addl -0x114(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x2c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x5b8(%rbp)
movl -0x2c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5b8(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x5b4(%rbp)
movl -0x2c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5b4(%rbp), %eax
xorl %ecx, %eax
movl -0x2c(%rbp), %ecx
orl -0x28(%rbp), %ecx
andl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
andl -0x28(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x5a8(%rbp)
movl -0x20(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x5b0(%rbp)
movl -0x20(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5b0(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x5ac(%rbp)
movl -0x20(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x5ac(%rbp), %ecx
movl %eax, %edx
movl -0x5a8(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
movl -0x1c(%rbp), %esi
xorl -0x18(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xd807aa98, %eax       # imm = 0xD807AA98
addl -0x110(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x30(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x5a4(%rbp)
movl -0x30(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5a4(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x5a0(%rbp)
movl -0x30(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x5a0(%rbp), %eax
xorl %ecx, %eax
movl -0x30(%rbp), %ecx
orl -0x2c(%rbp), %ecx
andl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
andl -0x2c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x18(%rbp), %eax
movl %eax, -0x594(%rbp)
movl -0x24(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x59c(%rbp)
movl -0x24(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x59c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x598(%rbp)
movl -0x24(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x598(%rbp), %ecx
movl %eax, %edx
movl -0x594(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
movl -0x20(%rbp), %esi
xorl -0x1c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x12835b01, %eax       # imm = 0x12835B01
addl -0x10c(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x14(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x590(%rbp)
movl -0x14(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x590(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x58c(%rbp)
movl -0x14(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x58c(%rbp), %eax
xorl %ecx, %eax
movl -0x14(%rbp), %ecx
orl -0x30(%rbp), %ecx
andl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
andl -0x30(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x580(%rbp)
movl -0x28(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x588(%rbp)
movl -0x28(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x588(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x584(%rbp)
movl -0x28(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x584(%rbp), %ecx
movl %eax, %edx
movl -0x580(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
movl -0x24(%rbp), %esi
xorl -0x20(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x243185be, %eax       # imm = 0x243185BE
addl -0x108(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x18(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x57c(%rbp)
movl -0x18(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x57c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x578(%rbp)
movl -0x18(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x578(%rbp), %eax
xorl %ecx, %eax
movl -0x18(%rbp), %ecx
orl -0x14(%rbp), %ecx
andl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
andl -0x14(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x56c(%rbp)
movl -0x2c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x574(%rbp)
movl -0x2c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x574(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x570(%rbp)
movl -0x2c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x570(%rbp), %ecx
movl %eax, %edx
movl -0x56c(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
movl -0x28(%rbp), %esi
xorl -0x24(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x550c7dc3, %eax       # imm = 0x550C7DC3
addl -0x104(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x1c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x568(%rbp)
movl -0x1c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x568(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x564(%rbp)
movl -0x1c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x564(%rbp), %eax
xorl %ecx, %eax
movl -0x1c(%rbp), %ecx
orl -0x18(%rbp), %ecx
andl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
andl -0x18(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x558(%rbp)
movl -0x30(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x560(%rbp)
movl -0x30(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x560(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x55c(%rbp)
movl -0x30(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x55c(%rbp), %ecx
movl %eax, %edx
movl -0x558(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
movl -0x2c(%rbp), %esi
xorl -0x28(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x72be5d74, %eax       # imm = 0x72BE5D74
addl -0x100(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x20(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x554(%rbp)
movl -0x20(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x554(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x550(%rbp)
movl -0x20(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x550(%rbp), %eax
xorl %ecx, %eax
movl -0x20(%rbp), %ecx
orl -0x1c(%rbp), %ecx
andl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
andl -0x1c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x544(%rbp)
movl -0x14(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x54c(%rbp)
movl -0x14(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x54c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x548(%rbp)
movl -0x14(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x548(%rbp), %ecx
movl %eax, %edx
movl -0x544(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
movl -0x30(%rbp), %esi
xorl -0x2c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x80deb1fe, %eax       # imm = 0x80DEB1FE
addl -0xfc(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x24(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x540(%rbp)
movl -0x24(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x540(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x53c(%rbp)
movl -0x24(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x53c(%rbp), %eax
xorl %ecx, %eax
movl -0x24(%rbp), %ecx
orl -0x20(%rbp), %ecx
andl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
andl -0x20(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x18(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x530(%rbp)
movl -0x18(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x538(%rbp)
movl -0x18(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x538(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x534(%rbp)
movl -0x18(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x534(%rbp), %ecx
movl %eax, %edx
movl -0x530(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
movl -0x14(%rbp), %esi
xorl -0x30(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x9bdc06a7, %eax       # imm = 0x9BDC06A7
addl -0xf8(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x28(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x52c(%rbp)
movl -0x28(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x52c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x528(%rbp)
movl -0x28(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x528(%rbp), %eax
xorl %ecx, %eax
movl -0x28(%rbp), %ecx
orl -0x24(%rbp), %ecx
andl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
andl -0x24(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x1c(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x51c(%rbp)
movl -0x1c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x524(%rbp)
movl -0x1c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x524(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x520(%rbp)
movl -0x1c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x520(%rbp), %ecx
movl %eax, %edx
movl -0x51c(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
movl -0x18(%rbp), %esi
xorl -0x14(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xc19bf174, %eax       # imm = 0xC19BF174
addl -0xf4(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x2c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x518(%rbp)
movl -0x2c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x518(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x514(%rbp)
movl -0x2c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x514(%rbp), %eax
xorl %ecx, %eax
movl -0x2c(%rbp), %ecx
orl -0x28(%rbp), %ecx
andl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
andl -0x28(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x508(%rbp)
movl -0x20(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x510(%rbp)
movl -0x20(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x510(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x50c(%rbp)
movl -0x20(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x50c(%rbp), %ecx
movl %eax, %edx
movl -0x508(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
movl -0x1c(%rbp), %esi
xorl -0x18(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xe49b69c1, %eax       # imm = 0xE49B69C1
addl -0xf0(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x30(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x504(%rbp)
movl -0x30(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x504(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x500(%rbp)
movl -0x30(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x500(%rbp), %eax
xorl %ecx, %eax
movl -0x30(%rbp), %ecx
orl -0x2c(%rbp), %ecx
andl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
andl -0x2c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x18(%rbp), %eax
movl %eax, -0x4f4(%rbp)
movl -0x24(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x4fc(%rbp)
movl -0x24(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4fc(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x4f8(%rbp)
movl -0x24(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x4f8(%rbp), %ecx
movl %eax, %edx
movl -0x4f4(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
movl -0x20(%rbp), %esi
xorl -0x1c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xefbe4786, %eax       # imm = 0xEFBE4786
addl -0xec(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x14(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x4f0(%rbp)
movl -0x14(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4f0(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x4ec(%rbp)
movl -0x14(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4ec(%rbp), %eax
xorl %ecx, %eax
movl -0x14(%rbp), %ecx
orl -0x30(%rbp), %ecx
andl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
andl -0x30(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x4e0(%rbp)
movl -0x28(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x4e8(%rbp)
movl -0x28(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4e8(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x4e4(%rbp)
movl -0x28(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x4e4(%rbp), %ecx
movl %eax, %edx
movl -0x4e0(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
movl -0x24(%rbp), %esi
xorl -0x20(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xfc19dc6, %eax        # imm = 0xFC19DC6
addl -0xe8(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x18(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x4dc(%rbp)
movl -0x18(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4dc(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x4d8(%rbp)
movl -0x18(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4d8(%rbp), %eax
xorl %ecx, %eax
movl -0x18(%rbp), %ecx
orl -0x14(%rbp), %ecx
andl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
andl -0x14(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x4cc(%rbp)
movl -0x2c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x4d4(%rbp)
movl -0x2c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4d4(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x4d0(%rbp)
movl -0x2c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x4d0(%rbp), %ecx
movl %eax, %edx
movl -0x4cc(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
movl -0x28(%rbp), %esi
xorl -0x24(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x240ca1cc, %eax       # imm = 0x240CA1CC
addl -0xe4(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x1c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x4c8(%rbp)
movl -0x1c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4c8(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x4c4(%rbp)
movl -0x1c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4c4(%rbp), %eax
xorl %ecx, %eax
movl -0x1c(%rbp), %ecx
orl -0x18(%rbp), %ecx
andl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
andl -0x18(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x4b8(%rbp)
movl -0x30(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x4c0(%rbp)
movl -0x30(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4c0(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x4bc(%rbp)
movl -0x30(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x4bc(%rbp), %ecx
movl %eax, %edx
movl -0x4b8(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
movl -0x2c(%rbp), %esi
xorl -0x28(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x2de92c6f, %eax       # imm = 0x2DE92C6F
addl -0xe0(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x20(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x4b4(%rbp)
movl -0x20(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4b4(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x4b0(%rbp)
movl -0x20(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4b0(%rbp), %eax
xorl %ecx, %eax
movl -0x20(%rbp), %ecx
orl -0x1c(%rbp), %ecx
andl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
andl -0x1c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x4a4(%rbp)
movl -0x14(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x4ac(%rbp)
movl -0x14(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4ac(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x4a8(%rbp)
movl -0x14(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x4a8(%rbp), %ecx
movl %eax, %edx
movl -0x4a4(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
movl -0x30(%rbp), %esi
xorl -0x2c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x4a7484aa, %eax       # imm = 0x4A7484AA
addl -0xdc(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x24(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x4a0(%rbp)
movl -0x24(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x4a0(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x49c(%rbp)
movl -0x24(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x49c(%rbp), %eax
xorl %ecx, %eax
movl -0x24(%rbp), %ecx
orl -0x20(%rbp), %ecx
andl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
andl -0x20(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x18(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x490(%rbp)
movl -0x18(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x498(%rbp)
movl -0x18(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x498(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x494(%rbp)
movl -0x18(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x494(%rbp), %ecx
movl %eax, %edx
movl -0x490(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
movl -0x14(%rbp), %esi
xorl -0x30(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x5cb0a9dc, %eax       # imm = 0x5CB0A9DC
addl -0xd8(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x28(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x48c(%rbp)
movl -0x28(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x48c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x488(%rbp)
movl -0x28(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x488(%rbp), %eax
xorl %ecx, %eax
movl -0x28(%rbp), %ecx
orl -0x24(%rbp), %ecx
andl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
andl -0x24(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x1c(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x47c(%rbp)
movl -0x1c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x484(%rbp)
movl -0x1c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x484(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x480(%rbp)
movl -0x1c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x480(%rbp), %ecx
movl %eax, %edx
movl -0x47c(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
movl -0x18(%rbp), %esi
xorl -0x14(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x76f988da, %eax       # imm = 0x76F988DA
addl -0xd4(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x2c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x478(%rbp)
movl -0x2c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x478(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x474(%rbp)
movl -0x2c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x474(%rbp), %eax
xorl %ecx, %eax
movl -0x2c(%rbp), %ecx
orl -0x28(%rbp), %ecx
andl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
andl -0x28(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x468(%rbp)
movl -0x20(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x470(%rbp)
movl -0x20(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x470(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x46c(%rbp)
movl -0x20(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x46c(%rbp), %ecx
movl %eax, %edx
movl -0x468(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
movl -0x1c(%rbp), %esi
xorl -0x18(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x983e5152, %eax       # imm = 0x983E5152
addl -0xd0(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x30(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x464(%rbp)
movl -0x30(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x464(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x460(%rbp)
movl -0x30(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x460(%rbp), %eax
xorl %ecx, %eax
movl -0x30(%rbp), %ecx
orl -0x2c(%rbp), %ecx
andl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
andl -0x2c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x18(%rbp), %eax
movl %eax, -0x454(%rbp)
movl -0x24(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x45c(%rbp)
movl -0x24(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x45c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x458(%rbp)
movl -0x24(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x458(%rbp), %ecx
movl %eax, %edx
movl -0x454(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
movl -0x20(%rbp), %esi
xorl -0x1c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xa831c66d, %eax       # imm = 0xA831C66D
addl -0xcc(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x14(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x450(%rbp)
movl -0x14(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x450(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x44c(%rbp)
movl -0x14(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x44c(%rbp), %eax
xorl %ecx, %eax
movl -0x14(%rbp), %ecx
orl -0x30(%rbp), %ecx
andl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
andl -0x30(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x440(%rbp)
movl -0x28(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x448(%rbp)
movl -0x28(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x448(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x444(%rbp)
movl -0x28(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x444(%rbp), %ecx
movl %eax, %edx
movl -0x440(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
movl -0x24(%rbp), %esi
xorl -0x20(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xb00327c8, %eax       # imm = 0xB00327C8
addl -0xc8(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x18(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x43c(%rbp)
movl -0x18(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x43c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x438(%rbp)
movl -0x18(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x438(%rbp), %eax
xorl %ecx, %eax
movl -0x18(%rbp), %ecx
orl -0x14(%rbp), %ecx
andl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
andl -0x14(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x42c(%rbp)
movl -0x2c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x434(%rbp)
movl -0x2c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x434(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x430(%rbp)
movl -0x2c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x430(%rbp), %ecx
movl %eax, %edx
movl -0x42c(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
movl -0x28(%rbp), %esi
xorl -0x24(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xbf597fc7, %eax       # imm = 0xBF597FC7
addl -0xc4(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x1c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x428(%rbp)
movl -0x1c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x428(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x424(%rbp)
movl -0x1c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x424(%rbp), %eax
xorl %ecx, %eax
movl -0x1c(%rbp), %ecx
orl -0x18(%rbp), %ecx
andl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
andl -0x18(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x418(%rbp)
movl -0x30(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x420(%rbp)
movl -0x30(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x420(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x41c(%rbp)
movl -0x30(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x41c(%rbp), %ecx
movl %eax, %edx
movl -0x418(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
movl -0x2c(%rbp), %esi
xorl -0x28(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xc6e00bf3, %eax       # imm = 0xC6E00BF3
addl -0xc0(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x20(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x414(%rbp)
movl -0x20(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x414(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x410(%rbp)
movl -0x20(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x410(%rbp), %eax
xorl %ecx, %eax
movl -0x20(%rbp), %ecx
orl -0x1c(%rbp), %ecx
andl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
andl -0x1c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x404(%rbp)
movl -0x14(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x40c(%rbp)
movl -0x14(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x40c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x408(%rbp)
movl -0x14(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x408(%rbp), %ecx
movl %eax, %edx
movl -0x404(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
movl -0x30(%rbp), %esi
xorl -0x2c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xd5a79147, %eax       # imm = 0xD5A79147
addl -0xbc(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x24(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x400(%rbp)
movl -0x24(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x400(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x3fc(%rbp)
movl -0x24(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3fc(%rbp), %eax
xorl %ecx, %eax
movl -0x24(%rbp), %ecx
orl -0x20(%rbp), %ecx
andl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
andl -0x20(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x18(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x3f0(%rbp)
movl -0x18(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x3f8(%rbp)
movl -0x18(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3f8(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x3f4(%rbp)
movl -0x18(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x3f4(%rbp), %ecx
movl %eax, %edx
movl -0x3f0(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
movl -0x14(%rbp), %esi
xorl -0x30(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x6ca6351, %eax        # imm = 0x6CA6351
addl -0xb8(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x28(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x3ec(%rbp)
movl -0x28(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3ec(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x3e8(%rbp)
movl -0x28(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3e8(%rbp), %eax
xorl %ecx, %eax
movl -0x28(%rbp), %ecx
orl -0x24(%rbp), %ecx
andl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
andl -0x24(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x1c(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x3dc(%rbp)
movl -0x1c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x3e4(%rbp)
movl -0x1c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3e4(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x3e0(%rbp)
movl -0x1c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x3e0(%rbp), %ecx
movl %eax, %edx
movl -0x3dc(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
movl -0x18(%rbp), %esi
xorl -0x14(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x14292967, %eax       # imm = 0x14292967
addl -0xb4(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x2c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x3d8(%rbp)
movl -0x2c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3d8(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x3d4(%rbp)
movl -0x2c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3d4(%rbp), %eax
xorl %ecx, %eax
movl -0x2c(%rbp), %ecx
orl -0x28(%rbp), %ecx
andl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
andl -0x28(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x3c8(%rbp)
movl -0x20(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x3d0(%rbp)
movl -0x20(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3d0(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x3cc(%rbp)
movl -0x20(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x3cc(%rbp), %ecx
movl %eax, %edx
movl -0x3c8(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
movl -0x1c(%rbp), %esi
xorl -0x18(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x27b70a85, %eax       # imm = 0x27B70A85
addl -0xb0(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x30(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x3c4(%rbp)
movl -0x30(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3c4(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x3c0(%rbp)
movl -0x30(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3c0(%rbp), %eax
xorl %ecx, %eax
movl -0x30(%rbp), %ecx
orl -0x2c(%rbp), %ecx
andl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
andl -0x2c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x18(%rbp), %eax
movl %eax, -0x3b4(%rbp)
movl -0x24(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x3bc(%rbp)
movl -0x24(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3bc(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x3b8(%rbp)
movl -0x24(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x3b8(%rbp), %ecx
movl %eax, %edx
movl -0x3b4(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
movl -0x20(%rbp), %esi
xorl -0x1c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x2e1b2138, %eax       # imm = 0x2E1B2138
addl -0xac(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x14(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x3b0(%rbp)
movl -0x14(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3b0(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x3ac(%rbp)
movl -0x14(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3ac(%rbp), %eax
xorl %ecx, %eax
movl -0x14(%rbp), %ecx
orl -0x30(%rbp), %ecx
andl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
andl -0x30(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x3a0(%rbp)
movl -0x28(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x3a8(%rbp)
movl -0x28(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x3a8(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x3a4(%rbp)
movl -0x28(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x3a4(%rbp), %ecx
movl %eax, %edx
movl -0x3a0(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
movl -0x24(%rbp), %esi
xorl -0x20(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x4d2c6dfc, %eax       # imm = 0x4D2C6DFC
addl -0xa8(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x18(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x39c(%rbp)
movl -0x18(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x39c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x398(%rbp)
movl -0x18(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x398(%rbp), %eax
xorl %ecx, %eax
movl -0x18(%rbp), %ecx
orl -0x14(%rbp), %ecx
andl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
andl -0x14(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x38c(%rbp)
movl -0x2c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x394(%rbp)
movl -0x2c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x394(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x390(%rbp)
movl -0x2c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x390(%rbp), %ecx
movl %eax, %edx
movl -0x38c(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
movl -0x28(%rbp), %esi
xorl -0x24(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x53380d13, %eax       # imm = 0x53380D13
addl -0xa4(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x1c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x388(%rbp)
movl -0x1c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x388(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x384(%rbp)
movl -0x1c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x384(%rbp), %eax
xorl %ecx, %eax
movl -0x1c(%rbp), %ecx
orl -0x18(%rbp), %ecx
andl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
andl -0x18(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x378(%rbp)
movl -0x30(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x380(%rbp)
movl -0x30(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x380(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x37c(%rbp)
movl -0x30(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x37c(%rbp), %ecx
movl %eax, %edx
movl -0x378(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
movl -0x2c(%rbp), %esi
xorl -0x28(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x650a7354, %eax       # imm = 0x650A7354
addl -0xa0(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x20(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x374(%rbp)
movl -0x20(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x374(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x370(%rbp)
movl -0x20(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x370(%rbp), %eax
xorl %ecx, %eax
movl -0x20(%rbp), %ecx
orl -0x1c(%rbp), %ecx
andl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
andl -0x1c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x364(%rbp)
movl -0x14(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x36c(%rbp)
movl -0x14(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x36c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x368(%rbp)
movl -0x14(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x368(%rbp), %ecx
movl %eax, %edx
movl -0x364(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
movl -0x30(%rbp), %esi
xorl -0x2c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x766a0abb, %eax       # imm = 0x766A0ABB
addl -0x9c(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x24(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x360(%rbp)
movl -0x24(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x360(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x35c(%rbp)
movl -0x24(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x35c(%rbp), %eax
xorl %ecx, %eax
movl -0x24(%rbp), %ecx
orl -0x20(%rbp), %ecx
andl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
andl -0x20(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x18(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x350(%rbp)
movl -0x18(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x358(%rbp)
movl -0x18(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x358(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x354(%rbp)
movl -0x18(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x354(%rbp), %ecx
movl %eax, %edx
movl -0x350(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
movl -0x14(%rbp), %esi
xorl -0x30(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x81c2c92e, %eax       # imm = 0x81C2C92E
addl -0x98(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x28(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x34c(%rbp)
movl -0x28(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x34c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x348(%rbp)
movl -0x28(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x348(%rbp), %eax
xorl %ecx, %eax
movl -0x28(%rbp), %ecx
orl -0x24(%rbp), %ecx
andl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
andl -0x24(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x1c(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x33c(%rbp)
movl -0x1c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x344(%rbp)
movl -0x1c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x344(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x340(%rbp)
movl -0x1c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x340(%rbp), %ecx
movl %eax, %edx
movl -0x33c(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
movl -0x18(%rbp), %esi
xorl -0x14(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x92722c85, %eax       # imm = 0x92722C85
addl -0x94(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x2c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x338(%rbp)
movl -0x2c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x338(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x334(%rbp)
movl -0x2c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x334(%rbp), %eax
xorl %ecx, %eax
movl -0x2c(%rbp), %ecx
orl -0x28(%rbp), %ecx
andl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
andl -0x28(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x328(%rbp)
movl -0x20(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x330(%rbp)
movl -0x20(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x330(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x32c(%rbp)
movl -0x20(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x32c(%rbp), %ecx
movl %eax, %edx
movl -0x328(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
movl -0x1c(%rbp), %esi
xorl -0x18(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xa2bfe8a1, %eax       # imm = 0xA2BFE8A1
addl -0x90(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x30(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x324(%rbp)
movl -0x30(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x324(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x320(%rbp)
movl -0x30(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x320(%rbp), %eax
xorl %ecx, %eax
movl -0x30(%rbp), %ecx
orl -0x2c(%rbp), %ecx
andl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
andl -0x2c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x18(%rbp), %eax
movl %eax, -0x314(%rbp)
movl -0x24(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x31c(%rbp)
movl -0x24(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x31c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x318(%rbp)
movl -0x24(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x318(%rbp), %ecx
movl %eax, %edx
movl -0x314(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
movl -0x20(%rbp), %esi
xorl -0x1c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xa81a664b, %eax       # imm = 0xA81A664B
addl -0x8c(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x14(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x310(%rbp)
movl -0x14(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x310(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x30c(%rbp)
movl -0x14(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x30c(%rbp), %eax
xorl %ecx, %eax
movl -0x14(%rbp), %ecx
orl -0x30(%rbp), %ecx
andl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
andl -0x30(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x300(%rbp)
movl -0x28(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x308(%rbp)
movl -0x28(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x308(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x304(%rbp)
movl -0x28(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x304(%rbp), %ecx
movl %eax, %edx
movl -0x300(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
movl -0x24(%rbp), %esi
xorl -0x20(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xc24b8b70, %eax       # imm = 0xC24B8B70
addl -0x88(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x18(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x2fc(%rbp)
movl -0x18(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2fc(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x2f8(%rbp)
movl -0x18(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2f8(%rbp), %eax
xorl %ecx, %eax
movl -0x18(%rbp), %ecx
orl -0x14(%rbp), %ecx
andl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
andl -0x14(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x2ec(%rbp)
movl -0x2c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x2f4(%rbp)
movl -0x2c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2f4(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x2f0(%rbp)
movl -0x2c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x2f0(%rbp), %ecx
movl %eax, %edx
movl -0x2ec(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
movl -0x28(%rbp), %esi
xorl -0x24(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xc76c51a3, %eax       # imm = 0xC76C51A3
addl -0x84(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x1c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x2e8(%rbp)
movl -0x1c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2e8(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x2e4(%rbp)
movl -0x1c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2e4(%rbp), %eax
xorl %ecx, %eax
movl -0x1c(%rbp), %ecx
orl -0x18(%rbp), %ecx
andl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
andl -0x18(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x2d8(%rbp)
movl -0x30(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x2e0(%rbp)
movl -0x30(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2e0(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x2dc(%rbp)
movl -0x30(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x2dc(%rbp), %ecx
movl %eax, %edx
movl -0x2d8(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
movl -0x2c(%rbp), %esi
xorl -0x28(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xd192e819, %eax       # imm = 0xD192E819
addl -0x80(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x20(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x2d4(%rbp)
movl -0x20(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2d4(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x2d0(%rbp)
movl -0x20(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2d0(%rbp), %eax
xorl %ecx, %eax
movl -0x20(%rbp), %ecx
orl -0x1c(%rbp), %ecx
andl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
andl -0x1c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x2c4(%rbp)
movl -0x14(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x2cc(%rbp)
movl -0x14(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2cc(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x2c8(%rbp)
movl -0x14(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x2c8(%rbp), %ecx
movl %eax, %edx
movl -0x2c4(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
movl -0x30(%rbp), %esi
xorl -0x2c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xd6990624, %eax       # imm = 0xD6990624
addl -0x7c(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x24(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x2c0(%rbp)
movl -0x24(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2c0(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x2bc(%rbp)
movl -0x24(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2bc(%rbp), %eax
xorl %ecx, %eax
movl -0x24(%rbp), %ecx
orl -0x20(%rbp), %ecx
andl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
andl -0x20(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x18(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x2b0(%rbp)
movl -0x18(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x2b8(%rbp)
movl -0x18(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2b8(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x2b4(%rbp)
movl -0x18(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x2b4(%rbp), %ecx
movl %eax, %edx
movl -0x2b0(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
movl -0x14(%rbp), %esi
xorl -0x30(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xf40e3585, %eax       # imm = 0xF40E3585
addl -0x78(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x28(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x2ac(%rbp)
movl -0x28(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2ac(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x2a8(%rbp)
movl -0x28(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2a8(%rbp), %eax
xorl %ecx, %eax
movl -0x28(%rbp), %ecx
orl -0x24(%rbp), %ecx
andl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
andl -0x24(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x1c(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x29c(%rbp)
movl -0x1c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x2a4(%rbp)
movl -0x1c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x2a4(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x2a0(%rbp)
movl -0x1c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x2a0(%rbp), %ecx
movl %eax, %edx
movl -0x29c(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
movl -0x18(%rbp), %esi
xorl -0x14(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x106aa070, %eax       # imm = 0x106AA070
addl -0x74(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x2c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x298(%rbp)
movl -0x2c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x298(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x294(%rbp)
movl -0x2c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x294(%rbp), %eax
xorl %ecx, %eax
movl -0x2c(%rbp), %ecx
orl -0x28(%rbp), %ecx
andl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
andl -0x28(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x288(%rbp)
movl -0x20(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x290(%rbp)
movl -0x20(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x290(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x28c(%rbp)
movl -0x20(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x28c(%rbp), %ecx
movl %eax, %edx
movl -0x288(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
movl -0x1c(%rbp), %esi
xorl -0x18(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x19a4c116, %eax       # imm = 0x19A4C116
addl -0x70(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x30(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x284(%rbp)
movl -0x30(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x284(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x280(%rbp)
movl -0x30(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x280(%rbp), %eax
xorl %ecx, %eax
movl -0x30(%rbp), %ecx
orl -0x2c(%rbp), %ecx
andl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
andl -0x2c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x18(%rbp), %eax
movl %eax, -0x274(%rbp)
movl -0x24(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x27c(%rbp)
movl -0x24(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x27c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x278(%rbp)
movl -0x24(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x278(%rbp), %ecx
movl %eax, %edx
movl -0x274(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
movl -0x20(%rbp), %esi
xorl -0x1c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x1e376c08, %eax       # imm = 0x1E376C08
addl -0x6c(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x14(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x270(%rbp)
movl -0x14(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x270(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x26c(%rbp)
movl -0x14(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x26c(%rbp), %eax
xorl %ecx, %eax
movl -0x14(%rbp), %ecx
orl -0x30(%rbp), %ecx
andl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
andl -0x30(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x260(%rbp)
movl -0x28(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x268(%rbp)
movl -0x28(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x268(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x264(%rbp)
movl -0x28(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x264(%rbp), %ecx
movl %eax, %edx
movl -0x260(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
movl -0x24(%rbp), %esi
xorl -0x20(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x2748774c, %eax       # imm = 0x2748774C
addl -0x68(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x18(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x25c(%rbp)
movl -0x18(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x25c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x258(%rbp)
movl -0x18(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x258(%rbp), %eax
xorl %ecx, %eax
movl -0x18(%rbp), %ecx
orl -0x14(%rbp), %ecx
andl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
andl -0x14(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x24c(%rbp)
movl -0x2c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x254(%rbp)
movl -0x2c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x254(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x250(%rbp)
movl -0x2c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x250(%rbp), %ecx
movl %eax, %edx
movl -0x24c(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
movl -0x28(%rbp), %esi
xorl -0x24(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x34b0bcb5, %eax       # imm = 0x34B0BCB5
addl -0x64(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x1c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x248(%rbp)
movl -0x1c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x248(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x244(%rbp)
movl -0x1c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x244(%rbp), %eax
xorl %ecx, %eax
movl -0x1c(%rbp), %ecx
orl -0x18(%rbp), %ecx
andl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
andl -0x18(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x238(%rbp)
movl -0x30(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x240(%rbp)
movl -0x30(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x240(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x23c(%rbp)
movl -0x30(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x23c(%rbp), %ecx
movl %eax, %edx
movl -0x238(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
movl -0x2c(%rbp), %esi
xorl -0x28(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x391c0cb3, %eax       # imm = 0x391C0CB3
addl -0x60(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x20(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x234(%rbp)
movl -0x20(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x234(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x230(%rbp)
movl -0x20(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x230(%rbp), %eax
xorl %ecx, %eax
movl -0x20(%rbp), %ecx
orl -0x1c(%rbp), %ecx
andl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
andl -0x1c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x224(%rbp)
movl -0x14(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x22c(%rbp)
movl -0x14(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x22c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x228(%rbp)
movl -0x14(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x228(%rbp), %ecx
movl %eax, %edx
movl -0x224(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
movl -0x30(%rbp), %esi
xorl -0x2c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x4ed8aa4a, %eax       # imm = 0x4ED8AA4A
addl -0x5c(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x24(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x220(%rbp)
movl -0x24(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x220(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x21c(%rbp)
movl -0x24(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x21c(%rbp), %eax
xorl %ecx, %eax
movl -0x24(%rbp), %ecx
orl -0x20(%rbp), %ecx
andl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
andl -0x20(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x18(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x210(%rbp)
movl -0x18(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x218(%rbp)
movl -0x18(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x218(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x214(%rbp)
movl -0x18(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x214(%rbp), %ecx
movl %eax, %edx
movl -0x210(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
movl -0x14(%rbp), %esi
xorl -0x30(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x5b9cca4f, %eax       # imm = 0x5B9CCA4F
addl -0x58(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x28(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x20c(%rbp)
movl -0x28(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x20c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x208(%rbp)
movl -0x28(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x208(%rbp), %eax
xorl %ecx, %eax
movl -0x28(%rbp), %ecx
orl -0x24(%rbp), %ecx
andl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
andl -0x24(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x1c(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x1fc(%rbp)
movl -0x1c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x204(%rbp)
movl -0x1c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x204(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x200(%rbp)
movl -0x1c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x200(%rbp), %ecx
movl %eax, %edx
movl -0x1fc(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
movl -0x18(%rbp), %esi
xorl -0x14(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x682e6ff3, %eax       # imm = 0x682E6FF3
addl -0x54(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x2c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x1f8(%rbp)
movl -0x2c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1f8(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x1f4(%rbp)
movl -0x2c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1f4(%rbp), %eax
xorl %ecx, %eax
movl -0x2c(%rbp), %ecx
orl -0x28(%rbp), %ecx
andl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
andl -0x28(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x14(%rbp), %eax
movl %eax, -0x1e8(%rbp)
movl -0x20(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x1f0(%rbp)
movl -0x20(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1f0(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x1ec(%rbp)
movl -0x20(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x1ec(%rbp), %ecx
movl %eax, %edx
movl -0x1e8(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
movl -0x1c(%rbp), %esi
xorl -0x18(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x748f82ee, %eax       # imm = 0x748F82EE
addl -0x50(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x30(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x1e4(%rbp)
movl -0x30(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1e4(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x1e0(%rbp)
movl -0x30(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1e0(%rbp), %eax
xorl %ecx, %eax
movl -0x30(%rbp), %ecx
orl -0x2c(%rbp), %ecx
andl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
andl -0x2c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x18(%rbp), %eax
movl %eax, -0x1d4(%rbp)
movl -0x24(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x1dc(%rbp)
movl -0x24(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1dc(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x1d8(%rbp)
movl -0x24(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x1d8(%rbp), %ecx
movl %eax, %edx
movl -0x1d4(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
movl -0x20(%rbp), %esi
xorl -0x1c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x78a5636f, %eax       # imm = 0x78A5636F
addl -0x4c(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x14(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x1d0(%rbp)
movl -0x14(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1d0(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x1cc(%rbp)
movl -0x14(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1cc(%rbp), %eax
xorl %ecx, %eax
movl -0x14(%rbp), %ecx
orl -0x30(%rbp), %ecx
andl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
andl -0x30(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x1c0(%rbp)
movl -0x28(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x1c8(%rbp)
movl -0x28(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1c8(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x1c4(%rbp)
movl -0x28(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x1c4(%rbp), %ecx
movl %eax, %edx
movl -0x1c0(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
movl -0x24(%rbp), %esi
xorl -0x20(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x84c87814, %eax       # imm = 0x84C87814
addl -0x48(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x18(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x1bc(%rbp)
movl -0x18(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1bc(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x1b8(%rbp)
movl -0x18(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1b8(%rbp), %eax
xorl %ecx, %eax
movl -0x18(%rbp), %ecx
orl -0x14(%rbp), %ecx
andl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
andl -0x14(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x1ac(%rbp)
movl -0x2c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x1b4(%rbp)
movl -0x2c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1b4(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x1b0(%rbp)
movl -0x2c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x1b0(%rbp), %ecx
movl %eax, %edx
movl -0x1ac(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
movl -0x28(%rbp), %esi
xorl -0x24(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x8cc70208, %eax       # imm = 0x8CC70208
addl -0x44(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x1c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x1a8(%rbp)
movl -0x1c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1a8(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x1a4(%rbp)
movl -0x1c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1a4(%rbp), %eax
xorl %ecx, %eax
movl -0x1c(%rbp), %ecx
orl -0x18(%rbp), %ecx
andl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
andl -0x18(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x198(%rbp)
movl -0x30(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x1a0(%rbp)
movl -0x30(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x1a0(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x19c(%rbp)
movl -0x30(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x19c(%rbp), %ecx
movl %eax, %edx
movl -0x198(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
movl -0x2c(%rbp), %esi
xorl -0x28(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0x90befffa, %eax       # imm = 0x90BEFFFA
addl -0x40(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x20(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x194(%rbp)
movl -0x20(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x194(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x190(%rbp)
movl -0x20(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x190(%rbp), %eax
xorl %ecx, %eax
movl -0x20(%rbp), %ecx
orl -0x1c(%rbp), %ecx
andl -0x18(%rbp), %ecx
movl -0x20(%rbp), %edx
andl -0x1c(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x14(%rbp), %eax
movl %eax, -0x14(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x184(%rbp)
movl -0x14(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x18c(%rbp)
movl -0x14(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x18c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x188(%rbp)
movl -0x14(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x188(%rbp), %ecx
movl %eax, %edx
movl -0x184(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x2c(%rbp), %ecx
movl -0x14(%rbp), %edx
movl -0x30(%rbp), %esi
xorl -0x2c(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xa4506ceb, %eax       # imm = 0xA4506CEB
addl -0x3c(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x24(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x180(%rbp)
movl -0x24(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x180(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x17c(%rbp)
movl -0x24(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x17c(%rbp), %eax
xorl %ecx, %eax
movl -0x24(%rbp), %ecx
orl -0x20(%rbp), %ecx
andl -0x1c(%rbp), %ecx
movl -0x24(%rbp), %edx
andl -0x20(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x18(%rbp), %eax
movl %eax, -0x18(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x170(%rbp)
movl -0x18(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x178(%rbp)
movl -0x18(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x178(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x174(%rbp)
movl -0x18(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x174(%rbp), %ecx
movl %eax, %edx
movl -0x170(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x30(%rbp), %ecx
movl -0x18(%rbp), %edx
movl -0x14(%rbp), %esi
xorl -0x30(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xbef9a3f7, %eax       # imm = 0xBEF9A3F7
addl -0x38(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x28(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x16c(%rbp)
movl -0x28(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x16c(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x168(%rbp)
movl -0x28(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x168(%rbp), %eax
xorl %ecx, %eax
movl -0x28(%rbp), %ecx
orl -0x24(%rbp), %ecx
andl -0x20(%rbp), %ecx
movl -0x28(%rbp), %edx
andl -0x24(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x1c(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x15c(%rbp)
movl -0x1c(%rbp), %edi
movl $0x6, %esi
callq 0x9e50
movl %eax, -0x164(%rbp)
movl -0x1c(%rbp), %edi
movl $0xb, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x164(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x160(%rbp)
movl -0x1c(%rbp), %edi
movl $0x19, %esi
callq 0x9e50
movl -0x160(%rbp), %ecx
movl %eax, %edx
movl -0x15c(%rbp), %eax
xorl %edx, %ecx
addl %ecx, %eax
movl -0x14(%rbp), %ecx
movl -0x1c(%rbp), %edx
movl -0x18(%rbp), %esi
xorl -0x14(%rbp), %esi
andl %esi, %edx
xorl %edx, %ecx
addl %ecx, %eax
addl $0xc67178f2, %eax       # imm = 0xC67178F2
addl -0x34(%rbp), %eax
movl %eax, -0x134(%rbp)
movl -0x2c(%rbp), %edi
movl $0x2, %esi
callq 0x9e50
movl %eax, -0x158(%rbp)
movl -0x2c(%rbp), %edi
movl $0xd, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x158(%rbp), %eax
xorl %ecx, %eax
movl %eax, -0x154(%rbp)
movl -0x2c(%rbp), %edi
movl $0x16, %esi
callq 0x9e50
movl %eax, %ecx
movl -0x154(%rbp), %eax
xorl %ecx, %eax
movl -0x2c(%rbp), %ecx
orl -0x28(%rbp), %ecx
andl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
andl -0x28(%rbp), %edx
orl %edx, %ecx
addl %ecx, %eax
movl %eax, -0x138(%rbp)
movl -0x134(%rbp), %eax
addl -0x20(%rbp), %eax
movl %eax, -0x20(%rbp)
movl -0x134(%rbp), %eax
addl -0x138(%rbp), %eax
movl %eax, -0x30(%rbp)
movl $0x0, -0x13c(%rbp)
cmpl $0x8, -0x13c(%rbp)
jge 0x9c34
movq -0x8(%rbp), %rax
movslq -0x13c(%rbp), %rcx
movl (%rax,%rcx,4), %edx
movslq -0x13c(%rbp), %rax
addl -0x30(%rbp,%rax,4), %edx
movq -0x8(%rbp), %rax
movslq -0x13c(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movl -0x13c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x13c(%rbp)
jmp 0x9bf3
addq $0x650, %rsp            # imm = 0x650
popq %rbp
retq
nopl (%rax)