// File: /workspace/github_c_makefile_star2_O2/mjosaarinen[P]brutus/crypto_aead/ascon128av11/opt64/ascon.c
// Function: crypto_aead_decrypt
int crypto_aead_decrypt(
    unsigned char *m, unsigned long long *mlen,
    unsigned char *nsec,
    const unsigned char *c, unsigned long long clen,
    const unsigned char *ad, unsigned long long adlen,
    const unsigned char *npub,
    const unsigned char *k) {

  *mlen = 0;
  if (clen < CRYPTO_KEYBYTES)
    return -1;

  u64 K0 = U64BIG(((u64*)k)[0]);
  u64 K1 = U64BIG(((u64*)k)[1]);
  u64 N0 = U64BIG(((u64*)npub)[0]);
  u64 N1 = U64BIG(((u64*)npub)[1]);
  u64 x0, x1, x2, x3, x4;
  u64 t0, t1, t2, t3, t4;
  u64 rlen;
  int i;

  // initialization
  x0 = (u64)((CRYPTO_KEYBYTES * 8) << 24 | (RATE * 8) << 16 | PA_ROUNDS << 8 | PB_ROUNDS << 0) << 32;
  x1 = K0;
  x2 = K1;
  x3 = N0;
  x4 = N1;
  P12;
  x3 ^= K0;
  x4 ^= K1;

  // process associated data
  if (adlen) {
    rlen = adlen;
    while (rlen >= RATE) {
      x0 ^= U64BIG(*(u64*)ad);
      x1 ^= U64BIG(*(u64*)(ad + 8));
      P8;
      rlen -= RATE;
      ad += RATE;
    }
    for (i = 0; i < rlen; ++i, ++ad)
      if (i < 8)
        x0 ^= INS_BYTE(*ad, i);
      else
        x1 ^= INS_BYTE(*ad, i);
    if (rlen < 8)
      x0 ^= INS_BYTE(0x80, rlen);
    else
      x1 ^= INS_BYTE(0x80, rlen);
    P8;
  }
  x4 ^= 1;

  // process plaintext
  rlen = clen - CRYPTO_KEYBYTES;
  while (rlen >= RATE) {
    *(u64*)m = U64BIG(x0) ^ *(u64*)c;
    *(u64*)(m + 8) = U64BIG(x1) ^ *(u64*)(c + 8);
    x0 = U64BIG(*((u64*)c));
    x1 = U64BIG(*((u64*)(c + 8)));
    P8;
    rlen -= RATE;
    m += RATE;
    c += RATE;
  }
  for (i = 0; i < rlen; ++i, ++m, ++c) {
    if (i < 8) {
      *m = EXT_BYTE(x0, i) ^ *c;
      x0 &= ~INS_BYTE(0xff, i);
      x0 |= INS_BYTE(*c, i);
    } else {
      *m = EXT_BYTE(x1, i) ^ *c;
      x1 &= ~INS_BYTE(0xff, i);
      x1 |= INS_BYTE(*c, i);
    }
  }
  if (rlen < 8)
    x0 ^= INS_BYTE(0x80, rlen);
  else
    x1 ^= INS_BYTE(0x80, rlen);

  // finalization
  x2 ^= K0;
  x3 ^= K1;
  P12;
  x3 ^= K0;
  x4 ^= K1;

  // return -1 if verification fails
  if (((u64*)c)[0] != U64BIG(x3) ||
      ((u64*)c)[1] != U64BIG(x4))
    return -1;

  // return plaintext
  *mlen = clen - CRYPTO_KEYBYTES;
  return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, -0x28(%rsp)
andq $0x0, (%rsi)
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpq $0x10, %r8
jb 0x52de
movq %r8, -0x10(%rsp)
movq %rsi, -0x18(%rsp)
movq 0x48(%rsp), %rax
movq 0x40(%rsp), %rsi
movbeq (%rax), %r8
movbeq 0x8(%rax), %rdi
movbeq (%rsi), %rdx
movbeq 0x8(%rsi), %r11
movabsq $-0x7f7ff3f800000000, %rsi # imm = 0x80800C0800000000
xorq %r11, %rsi
andnq %r11, %rdx, %r10
movabsq $0x7f7ff3f7ffffffff, %rax # imm = 0x7F7FF3F7FFFFFFFF
xorq %r11, %rax
xorq %rdx, %r11
movq %rdi, %r14
xorq %r8, %r14
movq %r14, %rbx
xorq $0xf0, %rbx
xorq %rbx, %r10
andnq %rbx, %r8, %rbx
xorq %rsi, %rbx
andq %r8, %rax
xorq %r11, %rax
xorq $-0xf1, %r14
andq %rdx, %r14
xorq %r8, %r14
andnq %rsi, %r11, %r11
xorq %rdx, %r11
xorq %rbx, %r14
rorxq $0x27, %r14, %rdx
xorq %r10, %r11
rorxq $0x11, %r11, %rsi
xorq %r11, %rsi
rorxq $0xa, %r11, %r11
xorq %r11, %rsi
rorxq $0x3d, %r14, %r11
xorq %r14, %r11
rorxq $0x1, %r10, %r15
xorq %rax, %rbx
xorq %rdx, %r11
rorxq $0x29, %rax, %r14
xorq %rax, %r14
rorxq $0x7, %rax, %rax
xorq %rax, %r14
rorxq $0x1c, %rbx, %rax
xorq %rbx, %rax
rorxq $0x13, %rbx, %rdx
xorq %r14, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r12
xorq %r14, %r12
xorq %r15, %rax
xorq %r11, %rax
movq %rax, %rbx
xorq $-0xe2, %rbx
andnq %r14, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r11, %rbx
xorq %rdx, %rbx
xorq $0xe1, %rax
andq %rsi, %rax
xorq %r11, %rax
andnq %r11, %rdx, %r14
xorq %r12, %r14
andnq %rdx, %r12, %rdx
xorq %rsi, %rdx
xorq %rbx, %rax
rorxq $0x27, %rax, %r15
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r11
xorq %rax, %r11
rorxq $0x1, %r10, %r12
xorq %r14, %rbx
xorq %r15, %r11
rorxq $0x29, %r14, %r15
xorq %r14, %r15
rorxq $0x7, %r14, %rax
xorq %rax, %r15
rorxq $0x1c, %rbx, %rax
xorq %rbx, %rax
rorxq $0x13, %rbx, %rdx
xorq %r15, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r13
xorq %r15, %r13
xorq %r12, %rax
xorq %r11, %rax
movq %rax, %rbx
xorq $-0xd3, %rbx
andnq %r15, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r11, %rbx
xorq %rdx, %rbx
xorq $0xd2, %rax
andq %rsi, %rax
xorq %r11, %rax
andnq %r11, %rdx, %r14
xorq %r13, %r14
andnq %rdx, %r13, %rdx
xorq %rsi, %rdx
xorq %rbx, %rax
rorxq $0x27, %rax, %r15
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r11
xorq %rax, %r11
rorxq $0x1, %r10, %r12
xorq %r14, %rbx
xorq %r15, %r11
rorxq $0x29, %r14, %r15
xorq %r14, %r15
rorxq $0x7, %r14, %rax
xorq %rax, %r15
rorxq $0x1c, %rbx, %rax
xorq %rbx, %rax
rorxq $0x13, %rbx, %rdx
xorq %r15, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r13
xorq %r15, %r13
xorq %r12, %rax
xorq %r11, %rax
movq %rax, %rbx
xorq $-0xc4, %rbx
andnq %r15, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r11, %rbx
xorq %rdx, %rbx
xorq $0xc3, %rax
andq %rsi, %rax
xorq %r11, %rax
andnq %r11, %rdx, %r14
xorq %r13, %r14
andnq %rdx, %r13, %rdx
xorq %rsi, %rdx
xorq %rbx, %rax
rorxq $0x27, %rax, %r15
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r11
xorq %rax, %r11
rorxq $0x1, %r10, %r12
xorq %r14, %rbx
xorq %r15, %r11
rorxq $0x29, %r14, %r15
xorq %r14, %r15
rorxq $0x7, %r14, %rax
xorq %rax, %r15
rorxq $0x1c, %rbx, %rax
xorq %rbx, %rax
rorxq $0x13, %rbx, %rdx
xorq %r15, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r13
xorq %r15, %r13
xorq %r12, %rax
xorq %r11, %rax
movq %rax, %rbx
xorq $-0xb5, %rbx
andnq %r15, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r11, %rbx
xorq %rdx, %rbx
xorq $0xb4, %rax
andq %rsi, %rax
xorq %r11, %rax
andnq %r11, %rdx, %r14
xorq %r13, %r14
andnq %rdx, %r13, %rdx
xorq %rsi, %rdx
xorq %rbx, %rax
rorxq $0x27, %rax, %r15
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r11
xorq %rax, %r11
rorxq $0x1, %r10, %r12
xorq %r14, %rbx
xorq %r15, %r11
rorxq $0x29, %r14, %r15
xorq %r14, %r15
rorxq $0x7, %r14, %rax
xorq %rax, %r15
rorxq $0x1c, %rbx, %rax
xorq %rbx, %rax
rorxq $0x13, %rbx, %rdx
xorq %r15, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r13
xorq %r15, %r13
xorq %r12, %rax
xorq %r11, %rax
movq %rax, %rbx
xorq $-0xa6, %rbx
andnq %r15, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r11, %rbx
xorq %rdx, %rbx
xorq $0xa5, %rax
andq %rsi, %rax
xorq %r11, %rax
andnq %r11, %rdx, %r14
xorq %r13, %r14
andnq %rdx, %r13, %rdx
xorq %rsi, %rdx
xorq %rbx, %rax
rorxq $0x27, %rax, %r15
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r11
xorq %rax, %r11
rorxq $0x1, %r10, %r12
xorq %r14, %rbx
xorq %r15, %r11
rorxq $0x29, %r14, %r15
xorq %r14, %r15
rorxq $0x7, %r14, %rax
xorq %rax, %r15
rorxq $0x1c, %rbx, %rax
xorq %rbx, %rax
rorxq $0x13, %rbx, %rdx
xorq %r15, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r13
xorq %r15, %r13
xorq %r12, %rax
xorq %r11, %rax
movq %rax, %rbx
xorq $-0x97, %rbx
andnq %r15, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r11, %rbx
xorq %rdx, %rbx
xorq $0x96, %rax
andq %rsi, %rax
xorq %r11, %rax
andnq %r11, %rdx, %r14
xorq %r13, %r14
andnq %rdx, %r13, %rdx
xorq %rsi, %rdx
xorq %rbx, %rax
rorxq $0x27, %rax, %r15
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r11
xorq %rax, %r11
rorxq $0x1, %r10, %r12
xorq %r14, %rbx
xorq %r15, %r11
rorxq $0x29, %r14, %r15
xorq %r14, %r15
rorxq $0x7, %r14, %rax
xorq %rax, %r15
rorxq $0x1c, %rbx, %rax
xorq %rbx, %rax
rorxq $0x13, %rbx, %rdx
xorq %r15, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r13
xorq %r15, %r13
xorq %r12, %rax
xorq %r11, %rax
movq %rax, %rbx
xorq $-0x88, %rbx
andnq %r15, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r11, %rbx
xorq %rdx, %rbx
xorq $0x87, %rax
andq %rsi, %rax
xorq %r11, %rax
andnq %r11, %rdx, %r14
xorq %r13, %r14
andnq %rdx, %r13, %rdx
xorq %rsi, %rdx
xorq %rbx, %rax
rorxq $0x27, %rax, %r15
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r11
xorq %rax, %r11
rorxq $0x1, %r10, %r12
xorq %r14, %rbx
xorq %r15, %r11
rorxq $0x29, %r14, %r15
xorq %r14, %r15
rorxq $0x7, %r14, %rax
xorq %rax, %r15
rorxq $0x1c, %rbx, %rax
xorq %rbx, %rax
rorxq $0x13, %rbx, %rdx
xorq %r15, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r13
xorq %r15, %r13
xorq %r12, %rax
xorq %r11, %rax
movq %rax, %rbx
xorq $-0x79, %rbx
andnq %r15, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r11, %rbx
xorq %rdx, %rbx
xorq $0x78, %rax
andq %rsi, %rax
xorq %r11, %rax
andnq %r11, %rdx, %r14
xorq %r13, %r14
andnq %rdx, %r13, %rdx
xorq %rsi, %rdx
xorq %rbx, %rax
rorxq $0x27, %rax, %r15
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r11
xorq %rax, %r11
rorxq $0x1, %r10, %r12
xorq %r14, %rbx
xorq %r15, %r11
rorxq $0x29, %r14, %r15
xorq %r14, %r15
rorxq $0x7, %r14, %rax
xorq %rax, %r15
rorxq $0x1c, %rbx, %rax
xorq %rbx, %rax
rorxq $0x13, %rbx, %rdx
xorq %r15, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r13
xorq %r15, %r13
xorq %r12, %rax
xorq %r11, %rax
movq %rax, %rbx
xorq $-0x6a, %rbx
andnq %r15, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r11, %rbx
xorq %rdx, %rbx
xorq $0x69, %rax
andq %rsi, %rax
xorq %r11, %rax
andnq %r11, %rdx, %r14
xorq %r13, %r14
andnq %rdx, %r13, %rdx
xorq %rsi, %rdx
xorq %rbx, %rax
rorxq $0x27, %rax, %r15
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r11
xorq %rax, %r11
rorxq $0x1, %r10, %r12
xorq %r14, %rbx
xorq %r15, %r11
rorxq $0x29, %r14, %r15
xorq %r14, %r15
rorxq $0x7, %r14, %rax
xorq %rax, %r15
rorxq $0x1c, %rbx, %rax
xorq %rbx, %rax
rorxq $0x13, %rbx, %rdx
xorq %r15, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r13
xorq %r15, %r13
xorq %r12, %rax
xorq %r11, %rax
movq %rax, %rbx
xorq $-0x5b, %rbx
andnq %r15, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r11, %rbx
xorq %rdx, %rbx
xorq $0x5a, %rax
andq %rsi, %rax
xorq %r11, %rax
andnq %r11, %rdx, %r14
xorq %r13, %r14
andnq %rdx, %r13, %rdx
xorq %rsi, %rdx
xorq %rbx, %rax
rorxq $0x27, %rax, %r15
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r11
xorq %rax, %r11
rorxq $0x1, %r10, %r12
xorq %r14, %rbx
xorq %r15, %r11
rorxq $0x29, %r14, %r15
xorq %r14, %r15
rorxq $0x7, %r14, %rax
xorq %rax, %r15
rorxq $0x1c, %rbx, %rax
xorq %rbx, %rax
rorxq $0x13, %rbx, %rdx
xorq %r15, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r14
xorq %r15, %r14
xorq %r12, %rax
xorq %r11, %rax
movq %rax, %rbx
xorq $-0x4c, %rbx
andnq %r15, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r11, %rbx
xorq %rdx, %rbx
xorq $0x4b, %rax
andq %rsi, %rax
xorq %r11, %rax
andnq %r11, %rdx, %r13
xorq %r14, %r13
andnq %rdx, %r14, %r12
xorq %rsi, %r12
xorq %rbx, %rax
rorxq $0x1, %r10, %rdx
rorxq $0x6, %r10, %r15
xorq %rdx, %r15
rorxq $0x27, %rax, %rdx
xorq %r10, %r12
xorq %r10, %r15
rorxq $0x3d, %rax, %rbp
xorq %rax, %rbp
rorxq $0xa, %r12, %rax
xorq %r13, %rbx
xorq %rdx, %rbp
rorxq $0x1c, %rbx, %r10
xorq %rbx, %r10
rorxq $0x13, %rbx, %rdx
xorq %rdx, %r10
rorxq $0x11, %r12, %rdx
movq %r8, -0x20(%rsp)
xorq %r8, %r12
xorq %rdx, %r12
rorxq $0x7, %r13, %rdx
xorq %rax, %r12
rorxq $0x29, %r13, %rax
movq %rdi, -0x8(%rsp)
xorq %rdi, %r13
xorq %rax, %r13
xorq %rdx, %r13
movq 0x38(%rsp), %r11
notq %r15
testq %r11, %r11
je 0x452a
movabsq $0x38, %r14
leaq (,%r11,8), %rax
movq %r14, %rdi
subq %rax, %rdi
cmpq $0xf, %r11
jbe 0x3fa2
movbeq (%r9), %rax
movbeq 0x8(%r9), %rdx
xorq %rbp, %rdx
xorq %r13, %r10
xorq %rax, %r10
movq %r12, %rsi
xorq %r13, %rsi
xorq %rdx, %r15
movq %r15, %rax
xorq $0xf0, %rax
andnq %r13, %r12, %r13
xorq %rax, %r13
andnq %rax, %rdx, %rax
xorq %r10, %rax
xorq $-0xf1, %r15
andq %r12, %r15
xorq %rdx, %r15
andnq %rdx, %r10, %rdx
xorq %rsi, %rdx
andnq %r10, %rsi, %r10
xorq %r12, %r10
xorq %rax, %r15
rorxq $0x27, %r15, %rbp
xorq %r13, %r10
rorxq $0x11, %r10, %rsi
xorq %r10, %rsi
rorxq $0xa, %r10, %r10
xorq %r10, %rsi
rorxq $0x3d, %r15, %r12
xorq %r15, %r12
rorxq $0x1, %r13, %r15
xorq %rdx, %rax
xorq %rbp, %r12
rorxq $0x29, %rdx, %r10
xorq %rdx, %r10
rorxq $0x7, %rdx, %rdx
xorq %rdx, %r10
rorxq $0x1c, %rax, %rbp
xorq %rax, %rbp
rorxq $0x13, %rax, %rdx
xorq %r10, %rdx
xorq %rbp, %rdx
rorxq $0x6, %r13, %rax
xorq %r13, %rax
movq %rsi, %rbp
xorq %r10, %rbp
xorq %r15, %rax
xorq %r12, %rax
movq %rax, %r15
xorq $-0xe2, %r15
andnq %r10, %rsi, %r10
xorq %r15, %r10
andnq %r15, %r12, %r15
xorq %rdx, %r15
xorq $0xe1, %rax
andq %rsi, %rax
xorq %r12, %rax
andnq %r12, %rdx, %r13
xorq %rbp, %r13
andnq %rdx, %rbp, %rdx
xorq %rsi, %rdx
xorq %r15, %rax
rorxq $0x27, %rax, %rbp
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r12
xorq %rax, %r12
rorxq $0x1, %r10, %rbx
xorq %r13, %r15
xorq %rbp, %r12
rorxq $0x29, %r13, %rbp
xorq %r13, %rbp
rorxq $0x7, %r13, %rax
xorq %rax, %rbp
rorxq $0x1c, %r15, %rax
xorq %r15, %rax
rorxq $0x13, %r15, %rdx
xorq %rbp, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r8
xorq %rbp, %r8
xorq %rbx, %rax
xorq %r12, %rax
movq %rax, %rbx
xorq $-0xd3, %rbx
andnq %rbp, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r12, %r15
xorq %rdx, %r15
xorq $0xd2, %rax
andq %rsi, %rax
xorq %r12, %rax
andnq %r12, %rdx, %r13
xorq %r8, %r13
andnq %rdx, %r8, %rdx
xorq %rsi, %rdx
xorq %r15, %rax
rorxq $0x27, %rax, %r8
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r12
xorq %rax, %r12
rorxq $0x1, %r10, %rbx
xorq %r13, %r15
xorq %r8, %r12
rorxq $0x29, %r13, %rbp
xorq %r13, %rbp
rorxq $0x7, %r13, %rax
xorq %rax, %rbp
rorxq $0x1c, %r15, %rax
xorq %r15, %rax
rorxq $0x13, %r15, %rdx
xorq %rbp, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r8
xorq %rbp, %r8
xorq %rbx, %rax
xorq %r12, %rax
movq %rax, %rbx
xorq $-0xc4, %rbx
andnq %rbp, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r12, %r15
xorq %rdx, %r15
xorq $0xc3, %rax
andq %rsi, %rax
xorq %r12, %rax
andnq %r12, %rdx, %r13
xorq %r8, %r13
andnq %rdx, %r8, %rdx
xorq %rsi, %rdx
xorq %r15, %rax
rorxq $0x27, %rax, %r8
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r12
xorq %rax, %r12
rorxq $0x1, %r10, %rbx
xorq %r13, %r15
xorq %r8, %r12
rorxq $0x29, %r13, %rbp
xorq %r13, %rbp
rorxq $0x7, %r13, %rax
xorq %rax, %rbp
rorxq $0x1c, %r15, %rax
xorq %r15, %rax
rorxq $0x13, %r15, %rdx
xorq %rbp, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r8
xorq %rbp, %r8
xorq %rbx, %rax
xorq %r12, %rax
movq %rax, %rbx
xorq $-0xb5, %rbx
andnq %rbp, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r12, %r15
xorq %rdx, %r15
xorq $0xb4, %rax
andq %rsi, %rax
xorq %r12, %rax
andnq %r12, %rdx, %r13
xorq %r8, %r13
andnq %rdx, %r8, %rdx
xorq %rsi, %rdx
xorq %r15, %rax
rorxq $0x27, %rax, %r8
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r12
xorq %rax, %r12
rorxq $0x1, %r10, %rbx
xorq %r13, %r15
xorq %r8, %r12
rorxq $0x29, %r13, %rbp
xorq %r13, %rbp
rorxq $0x7, %r13, %rax
xorq %rax, %rbp
rorxq $0x1c, %r15, %rax
xorq %r15, %rax
rorxq $0x13, %r15, %rdx
xorq %rbp, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r8
xorq %rbp, %r8
xorq %rbx, %rax
xorq %r12, %rax
movq %rax, %rbx
xorq $-0xa6, %rbx
andnq %rbp, %rsi, %r10
xorq %rbx, %r10
andnq %rbx, %r12, %r15
xorq %rdx, %r15
xorq $0xa5, %rax
andq %rsi, %rax
xorq %r12, %rax
andnq %r12, %rdx, %r13
xorq %r8, %r13
andnq %rdx, %r8, %rdx
xorq %rsi, %rdx
xorq %r15, %rax
rorxq $0x27, %rax, %r8
xorq %r10, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r12
xorq %rax, %r12
rorxq $0x1, %r10, %rbx
xorq %r13, %r15
xorq %r8, %r12
rorxq $0x29, %r13, %rbp
xorq %r13, %rbp
rorxq $0x7, %r13, %rax
xorq %rax, %rbp
rorxq $0x1c, %r15, %rax
xorq %r15, %rax
rorxq $0x13, %r15, %rdx
xorq %rbp, %rdx
xorq %rax, %rdx
rorxq $0x6, %r10, %rax
xorq %r10, %rax
movq %rsi, %r8
xorq %rbp, %r8
xorq %rbx, %rax
xorq %r12, %rax
movq %rax, %r10
xorq $-0x97, %r10
andnq %rbp, %rsi, %r15
xorq %r10, %r15
andnq %r10, %r12, %r10
xorq %rdx, %r10
xorq $0x96, %rax
andq %rsi, %rax
xorq %r12, %rax
andnq %r12, %rdx, %r13
xorq %r8, %r13
andnq %rdx, %r8, %rdx
xorq %rsi, %rdx
xorq %r10, %rax
rorxq $0x27, %rax, %r8
xorq %r15, %rdx
rorxq $0x11, %rdx, %rsi
xorq %rdx, %rsi
rorxq $0xa, %rdx, %rdx
xorq %rdx, %rsi
rorxq $0x3d, %rax, %r12
xorq %rax, %r12
rorxq $0x1, %r15, %rdx
xorq %r13, %r10
xorq %r8, %r12
rorxq $0x29, %r13, %rax
xorq %r13, %rax
rorxq $0x7, %r13, %r8
xorq %r8, %rax
rorxq $0x1c, %r10, %r8
xorq %r10, %r8
rorxq $0x13, %r10, %r13
xorq %rax, %r13
xorq %r8, %r13
rorxq $0x6, %r15, %r10
xorq %r15, %r10
movq %rsi, %r8
xorq %rax, %r8
xorq %rdx, %r10
xorq %r12, %r10
movq %r10, %rdx
xorq $-0x88, %rdx
andnq %rax, %rsi, %rbp
xorq %rdx, %rbp
andnq %rdx, %r12, %rax
xorq %r13, %rax
xorq $0x87, %r10
andq %rsi, %r10
xorq %r12, %r10
andnq %r12, %r13, %rdx
xorq %r8, %rdx
andnq %r13, %r8, %r8
xorq %rsi, %r8
rorxq $0x1, %rbp, %rsi
rorxq $0x6, %rbp, %r15
xorq %rsi, %r15
xorq %rax, %r10
xorq %rbp, %r8
xorq %rbp, %r15
rorxq $0x11, %r8, %r12
xorq %r8, %r12
rorxq $0xa, %r8, %rsi
xorq %rsi, %r12
rorxq $0x3d, %r10, %rbp
xorq %r10, %rbp
rorxq $0x27, %r10, %rsi
xorq %rdx, %rax
xorq %rsi, %rbp
rorxq $0x29, %rdx, %r13
xorq %rdx, %r13
rorxq $0x7, %rdx, %rdx
xorq %rdx, %r13
rorxq $0x1c, %rax, %r10
xorq %rax, %r10
rorxq $0x13, %rax, %rax
xorq %rax, %r10
notq %r15
addq $-0x10, %r11
addq $0x10, %r9
subq $-0x80, %rdi
jmp 0x3a4a
xorl %eax, %eax
cmpq %rax, %r11
jbe 0x3fd6
movzbl (%r9,%rax), %edx
cmpq $0x7, %rax
ja 0x3fbe
shlxq %r14, %rdx, %rdx
xorq %rdx, %r10
jmp 0x3fcd
movl %r14d, %esi
andb $-0x8, %sil
shlxq %rsi, %rdx, %rdx
xorq %rdx, %rbp
incq %rax
addq $-0x8, %r14
jmp 0x3fa4
xorl %eax, %eax
cmpq $0x8, %r11
movl $0x80, %edx
shlxq %rdi, %rdx, %rdx
movq %rdx, %rsi
cmovbq %rax, %rsi
cmovbq %rdx, %rax
xorq %rsi, %rbp
xorq %r13, %r10
xorq %rax, %r10
movq %r12, %rdx
xorq %r13, %rdx
xorq %rbp, %r15
movq %r15, %rsi
xorq $0xf0, %rsi
andnq %rsi, %rbp, %r11
xorq %r10, %r11
andnq %r13, %r12, %rax
xorq %rsi, %rax
andnq %rbp, %r10, %rbx
xorq %rdx, %rbx
xorq $-0xf1, %r15
andq %r12, %r15
xorq %rbp, %r15
andnq %r10, %rdx, %rdx
xorq %r12, %rdx
xorq %r11, %r15
rorxq $0x27, %r15, %rdi
xorq %rax, %rdx
rorxq $0x1, %rax, %r14
rorxq $0x6, %rax, %r9
rorxq $0xa, %rdx, %r8
xorq %rbx, %r11
rorxq $0x7, %rbx, %r13
rorxq $0x3d, %r15, %r10
rorxq $0x11, %rdx, %rsi
rorxq $0x29, %rbx, %r12
xorq %rdx, %rsi
xorq %r8, %rsi
xorq %r15, %r10
xorq %rdi, %r10
rorxq $0x13, %r11, %rdx
xorq %rbx, %r12
xorq %r13, %r12
rorxq $0x1c, %r11, %rdi
xorq %r11, %rdi
xorq %r12, %rdx
xorq %rdi, %rdx
movq %rsi, %rdi
xorq %r12, %rdi
xorq %rax, %r9
xorq %r14, %r9
xorq %r10, %r9
movq %r9, %r8
xorq $-0xe2, %r8
andnq %r8, %r10, %r11
xorq %rdx, %r11
andnq %r12, %rsi, %rax
xorq %r8, %rax
andnq %r10, %rdx, %r14
xorq %rdi, %r14
xorq $0xe1, %r9
andq %rsi, %r9
xorq %r10, %r9
andnq %rdx, %rdi, %rdx
xorq %rsi, %rdx
xorq %r11, %r9
rorxq $0x27, %r9, %rdi
xorq %rax, %rdx
rorxq $0x1, %rax, %r15
rorxq $0x6, %rax, %r10
rorxq $0xa, %rdx, %r8
xorq %r14, %r11
rorxq $0x7, %r14, %r13
rorxq $0x3d, %r9, %rbx
rorxq $0x11, %rdx, %rsi
rorxq $0x29, %r14, %r12
xorq %rdx, %rsi
xorq %r8, %rsi
xorq %r9, %rbx
xorq %rdi, %rbx
rorxq $0x13, %r11, %rdx
xorq %r14, %r12
xorq %r13, %r12
rorxq $0x1c, %r11, %rdi
xorq %r11, %rdi
xorq %r12, %rdx
xorq %rdi, %rdx
movq %rsi, %rdi
xorq %r12, %rdi
xorq %rax, %r10
xorq %r15, %r10
xorq %rbx, %r10
movq %r10, %r8
xorq $-0xd3, %r8
andnq %r8, %rbx, %r11
xorq %rdx, %r11
andnq %r12, %rsi, %rax
xorq %r8, %rax
andnq %rbx, %rdx, %r14
xorq %rdi, %r14
xorq $0xd2, %r10
andq %rsi, %r10
xorq %rbx, %r10
andnq %rdx, %rdi, %rdx
xorq %rsi, %rdx
xorq %r11, %r10
rorxq $0x27, %r10, %rdi
xorq %rax, %rdx
rorxq $0x1, %rax, %r15
rorxq $0x6, %rax, %r9
rorxq $0xa, %rdx, %r8
xorq %r14, %r11
rorxq $0x7, %r14, %r13
rorxq $0x3d, %r10, %rbx
rorxq $0x11, %rdx, %rsi
rorxq $0x29, %r14, %r12
xorq %rdx, %rsi
xorq %r8, %rsi
xorq %r10, %rbx
xorq %rdi, %rbx
rorxq $0x13, %r11, %rdx
xorq %r14, %r12
xorq %r13, %r12
rorxq $0x1c, %r11, %rdi
xorq %r11, %rdi
xorq %r12, %rdx
xorq %rdi, %rdx
movq %rsi, %rdi
xorq %r12, %rdi
xorq %rax, %r9
xorq %r15, %r9
xorq %rbx, %r9
movq %r9, %r8
xorq $-0xc4, %r8
andnq %r8, %rbx, %r11
xorq %rdx, %r11
andnq %r12, %rsi, %rax
xorq %r8, %rax
andnq %rbx, %rdx, %r14
xorq %rdi, %r14
xorq $0xc3, %r9
andq %rsi, %r9
xorq %rbx, %r9
andnq %rdx, %rdi, %rdx
xorq %rsi, %rdx
xorq %r11, %r9
rorxq $0x27, %r9, %rdi
xorq %rax, %rdx
rorxq $0x1, %rax, %r15
rorxq $0x6, %rax, %r10
rorxq $0xa, %rdx, %r8
xorq %r14, %r11
rorxq $0x7, %r14, %r13
rorxq $0x3d, %r9, %rbx
rorxq $0x11, %rdx, %rsi
rorxq $0x29, %r14, %r12
xorq %rdx, %rsi
xorq %r8, %rsi
xorq %r9, %rbx
xorq %rdi, %rbx
rorxq $0x13, %r11, %rdx
xorq %r14, %r12
xorq %r13, %r12
rorxq $0x1c, %r11, %rdi
xorq %r11, %rdi
xorq %r12, %rdx
xorq %rdi, %rdx
movq %rsi, %rdi
xorq %r12, %rdi
xorq %rax, %r10
xorq %r15, %r10
xorq %rbx, %r10
movq %r10, %r8
xorq $-0xb5, %r8
andnq %r8, %rbx, %r11
xorq %rdx, %r11
andnq %r12, %rsi, %rax
xorq %r8, %rax
andnq %rbx, %rdx, %r14
xorq %rdi, %r14
xorq $0xb4, %r10
andq %rsi, %r10
xorq %rbx, %r10
andnq %rdx, %rdi, %rdx
xorq %rsi, %rdx
xorq %r11, %r10
rorxq $0x27, %r10, %rdi
xorq %rax, %rdx
rorxq $0x1, %rax, %r15
rorxq $0x6, %rax, %r9
rorxq $0xa, %rdx, %r8
xorq %r14, %r11
rorxq $0x7, %r14, %r13
rorxq $0x3d, %r10, %rbx
rorxq $0x11, %rdx, %rsi
rorxq $0x29, %r14, %r12
xorq %rdx, %rsi
xorq %r8, %rsi
xorq %r10, %rbx
xorq %rdi, %rbx
rorxq $0x13, %r11, %rdx
xorq %r14, %r12
xorq %r13, %r12
rorxq $0x1c, %r11, %rdi
xorq %r11, %rdi
xorq %r12, %rdx
xorq %rdi, %rdx
movq %rsi, %rdi
xorq %r12, %rdi
xorq %rax, %r9
xorq %r15, %r9
xorq %rbx, %r9
movq %r9, %r8
xorq $-0xa6, %r8
andnq %r8, %rbx, %r11
xorq %rdx, %r11
andnq %r12, %rsi, %rax
xorq %r8, %rax
andnq %rbx, %rdx, %r14
xorq %rdi, %r14
xorq $0xa5, %r9
andq %rsi, %r9
xorq %rbx, %r9
andnq %rdx, %rdi, %rdx
xorq %rsi, %rdx
xorq %r11, %r9
rorxq $0x27, %r9, %rdi
xorq %rax, %rdx
rorxq $0x1, %rax, %r15
rorxq $0x6, %rax, %r10
rorxq $0xa, %rdx, %r8
xorq %r14, %r11
rorxq $0x7, %r14, %r13
rorxq $0x3d, %r9, %rbx
rorxq $0x11, %rdx, %rsi
rorxq $0x29, %r14, %r12
xorq %rdx, %rsi
xorq %r8, %rsi
xorq %r9, %rbx
xorq %rdi, %rbx
rorxq $0x13, %r11, %rdx
xorq %r14, %r12
xorq %r13, %r12
rorxq $0x1c, %r11, %rdi
xorq %r11, %rdi
xorq %r12, %rdx
xorq %rdi, %rdx
movq %rsi, %rdi
xorq %r12, %rdi
xorq %rax, %r10
xorq %r15, %r10
xorq %rbx, %r10
movq %r10, %r8
xorq $-0x97, %r8
andnq %r8, %rbx, %r11
xorq %rdx, %r11
andnq %r12, %rsi, %rax
xorq %r8, %rax
andnq %rbx, %rdx, %r14
xorq %rdi, %r14
xorq $0x96, %r10
andq %rsi, %r10
xorq %rbx, %r10
andnq %rdx, %rdi, %rdi
xorq %rsi, %rdi
xorq %r11, %r10
rorxq $0x27, %r10, %r8
xorq %rax, %rdi
rorxq $0x1, %rax, %rdx
rorxq $0x6, %rax, %r9
rorxq $0xa, %rdi, %r12
xorq %r14, %r11
rorxq $0x7, %r14, %r13
rorxq $0x3d, %r10, %rbx
rorxq $0x11, %rdi, %rsi
rorxq $0x29, %r14, %r15
xorq %rdi, %rsi
xorq %r12, %rsi
xorq %r10, %rbx
xorq %r8, %rbx
rorxq $0x13, %r11, %r10
xorq %r14, %r15
xorq %r13, %r15
rorxq $0x1c, %r11, %rdi
xorq %r11, %rdi
xorq %r15, %r10
xorq %rdi, %r10
movq %rsi, %rdi
xorq %r15, %rdi
xorq %rax, %r9
xorq %rdx, %r9
xorq %rbx, %r9
movq %r9, %rdx
xorq $-0x88, %rdx
andnq %rdx, %rbx, %rax
xorq %r10, %rax
andnq %r15, %rsi, %r8
xorq %rdx, %r8
andnq %rbx, %r10, %rdx
xorq %rdi, %rdx
xorq $0x87, %r9
andq %rsi, %r9
xorq %rbx, %r9
andnq %r10, %rdi, %rdi
xorq %rsi, %rdi
xorq %rax, %r9
rorxq $0x27, %r9, %rsi
xorq %r8, %rdi
rorxq $0x1, %r8, %r10
rorxq $0x6, %r8, %r15
xorq %r10, %r15
rorxq $0xa, %rdi, %r10
xorq %rdx, %rax
rorxq $0x7, %rdx, %r11
rorxq $0x3d, %r9, %rbp
xorq %r8, %r15
notq %r15
rorxq $0x11, %rdi, %r12
rorxq $0x29, %rdx, %r13
xorq %rdi, %r12
xorq %r10, %r12
xorq %r9, %rbp
xorq %rsi, %rbp
rorxq $0x13, %rax, %rsi
xorq %rdx, %r13
xorq %r11, %r13
rorxq $0x1c, %rax, %r10
xorq %rax, %r10
xorq %rsi, %r10
movq -0x28(%rsp), %rsi
xorq $0x1, %r13
movq -0x10(%rsp), %rax
leaq -0x10(%rax), %rbx
shlq $0x3, %rax
movl $0xb8, %r11d
subq %rax, %r11
movq %rbx, -0x28(%rsp)
cmpq $0xf, %rbx
jbe 0x4ab8
bswapq %r10
xorq (%rcx), %r10
bswapq %rbp
movq %r10, (%rsi)
xorq 0x8(%rcx), %rbp
movq %rbp, 0x8(%rsi)
movbeq (%rcx), %rdi
movbeq 0x8(%rcx), %rdx
xorq %r13, %rdi
movq %r12, %r9
xorq %r13, %r9
xorq %rdx, %r15
movq %r15, %rax
xorq $0xf0, %rax
andnq %r13, %r12, %r8
xorq %rax, %r8
andnq %rax, %rdx, %rax
xorq %rdi, %rax
xorq $-0xf1, %r15
andq %r12, %r15
xorq %rdx, %r15
andnq %rdx, %rdi, %rdx
xorq %r9, %rdx
andnq %rdi, %r9, %rdi
xorq %r12, %rdi
xorq %rax, %r15
rorxq $0x27, %r15, %r14
xorq %r8, %rdi
rorxq $0x11, %rdi, %r9
xorq %rdi, %r9
rorxq $0xa, %rdi, %rdi
xorq %rdi, %r9
rorxq $0x3d, %r15, %r10
xorq %r15, %r10
rorxq $0x1, %r8, %rdi
xorq %rdx, %rax
xorq %r14, %r10
rorxq $0x29, %rdx, %r14
xorq %rdx, %r14
rorxq $0x7, %rdx, %rdx
xorq %rdx, %r14
rorxq $0x1c, %rax, %r15
xorq %rax, %r15
rorxq $0x13, %rax, %rdx
xorq %r14, %rdx
xorq %r15, %rdx
rorxq $0x6, %r8, %rax
xorq %r8, %rax
movq %r9, %r12
xorq %r14, %r12
xorq %rdi, %rax
xorq %r10, %rax
movq %rax, %rdi
xorq $-0xe2, %rdi
andnq %r14, %r9, %r8
xorq %rdi, %r8
andnq %rdi, %r10, %r14
xorq %rdx, %r14
xorq $0xe1, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %r15
xorq %r12, %r15
andnq %rdx, %r12, %rdx
xorq %r9, %rdx
xorq %r14, %rax
rorxq $0x27, %rax, %rdi
xorq %r8, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r10
xorq %rax, %r10
rorxq $0x1, %r8, %r13
xorq %r15, %r14
xorq %rdi, %r10
rorxq $0x29, %r15, %r12
xorq %r15, %r12
rorxq $0x7, %r15, %rax
xorq %rax, %r12
rorxq $0x1c, %r14, %rax
xorq %r14, %rax
rorxq $0x13, %r14, %rdx
xorq %r12, %rdx
xorq %rax, %rdx
rorxq $0x6, %r8, %rax
xorq %r8, %rax
movq %r9, %rdi
xorq %r12, %rdi
xorq %r13, %rax
xorq %r10, %rax
movq %rax, %r14
xorq $-0xd3, %r14
andnq %r12, %r9, %r8
xorq %r14, %r8
andnq %r14, %r10, %r14
xorq %rdx, %r14
xorq $0xd2, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %r15
xorq %rdi, %r15
andnq %rdx, %rdi, %rdx
xorq %r9, %rdx
xorq %r14, %rax
rorxq $0x27, %rax, %rdi
xorq %r8, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r10
xorq %rax, %r10
rorxq $0x1, %r8, %r13
xorq %r15, %r14
xorq %rdi, %r10
rorxq $0x29, %r15, %r12
xorq %r15, %r12
rorxq $0x7, %r15, %rax
xorq %rax, %r12
rorxq $0x1c, %r14, %rax
xorq %r14, %rax
rorxq $0x13, %r14, %rdx
xorq %r12, %rdx
xorq %rax, %rdx
rorxq $0x6, %r8, %rax
xorq %r8, %rax
movq %r9, %rdi
xorq %r12, %rdi
xorq %r13, %rax
xorq %r10, %rax
movq %rax, %r14
xorq $-0xc4, %r14
andnq %r12, %r9, %r8
xorq %r14, %r8
andnq %r14, %r10, %r14
xorq %rdx, %r14
xorq $0xc3, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %r15
xorq %rdi, %r15
andnq %rdx, %rdi, %rdx
xorq %r9, %rdx
xorq %r14, %rax
rorxq $0x27, %rax, %rdi
xorq %r8, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r10
xorq %rax, %r10
rorxq $0x1, %r8, %r13
xorq %r15, %r14
xorq %rdi, %r10
rorxq $0x29, %r15, %r12
xorq %r15, %r12
rorxq $0x7, %r15, %rax
xorq %rax, %r12
rorxq $0x1c, %r14, %rax
xorq %r14, %rax
rorxq $0x13, %r14, %rdx
xorq %r12, %rdx
xorq %rax, %rdx
rorxq $0x6, %r8, %rax
xorq %r8, %rax
movq %r9, %rdi
xorq %r12, %rdi
xorq %r13, %rax
xorq %r10, %rax
movq %rax, %r14
xorq $-0xb5, %r14
andnq %r12, %r9, %r8
xorq %r14, %r8
andnq %r14, %r10, %r14
xorq %rdx, %r14
xorq $0xb4, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %r15
xorq %rdi, %r15
andnq %rdx, %rdi, %rdx
xorq %r9, %rdx
xorq %r14, %rax
rorxq $0x27, %rax, %rdi
xorq %r8, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r10
xorq %rax, %r10
rorxq $0x1, %r8, %r13
xorq %r15, %r14
xorq %rdi, %r10
rorxq $0x29, %r15, %r12
xorq %r15, %r12
rorxq $0x7, %r15, %rax
xorq %rax, %r12
rorxq $0x1c, %r14, %rax
xorq %r14, %rax
rorxq $0x13, %r14, %rdx
xorq %r12, %rdx
xorq %rax, %rdx
rorxq $0x6, %r8, %rax
xorq %r8, %rax
movq %r9, %rdi
xorq %r12, %rdi
xorq %r13, %rax
xorq %r10, %rax
movq %rax, %r14
xorq $-0xa6, %r14
andnq %r12, %r9, %r8
xorq %r14, %r8
andnq %r14, %r10, %r14
xorq %rdx, %r14
xorq $0xa5, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %r10
xorq %rdi, %r10
andnq %rdx, %rdi, %rdx
xorq %r9, %rdx
xorq %r14, %rax
rorxq $0x27, %rax, %rdi
xorq %r8, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r15
xorq %rax, %r15
rorxq $0x1, %r8, %r13
xorq %r10, %r14
xorq %rdi, %r15
rorxq $0x29, %r10, %r12
xorq %r10, %r12
rorxq $0x7, %r10, %rax
xorq %rax, %r12
rorxq $0x1c, %r14, %rax
xorq %r14, %rax
rorxq $0x13, %r14, %rdx
xorq %r12, %rdx
xorq %rax, %rdx
rorxq $0x6, %r8, %rax
xorq %r8, %rax
movq %r9, %rdi
xorq %r12, %rdi
xorq %r13, %rax
xorq %r15, %rax
movq %rax, %r8
xorq $-0x97, %r8
andnq %r12, %r9, %r10
xorq %r8, %r10
andnq %r8, %r15, %r8
xorq %rdx, %r8
xorq $0x96, %rax
andq %r9, %rax
xorq %r15, %rax
andnq %r15, %rdx, %r15
xorq %rdi, %r15
andnq %rdx, %rdi, %rdx
xorq %r9, %rdx
xorq %r8, %rax
rorxq $0x27, %rax, %rdi
xorq %r10, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r14
xorq %rax, %r14
rorxq $0x1, %r10, %rdx
xorq %r15, %r8
xorq %rdi, %r14
rorxq $0x29, %r15, %rax
xorq %r15, %rax
rorxq $0x7, %r15, %rdi
xorq %rdi, %rax
rorxq $0x1c, %r8, %rdi
xorq %r8, %rdi
rorxq $0x13, %r8, %r15
xorq %rax, %r15
xorq %rdi, %r15
rorxq $0x6, %r10, %r8
xorq %r10, %r8
movq %r9, %rdi
xorq %rax, %rdi
xorq %rdx, %r8
xorq %r14, %r8
movq %r8, %rdx
xorq $-0x88, %rdx
andnq %rax, %r9, %r10
xorq %rdx, %r10
andnq %rdx, %r14, %rax
xorq %r15, %rax
xorq $0x87, %r8
andq %r9, %r8
xorq %r14, %r8
andnq %r14, %r15, %rdx
xorq %rdi, %rdx
andnq %r15, %rdi, %rdi
xorq %r9, %rdi
rorxq $0x1, %r10, %r9
rorxq $0x6, %r10, %r15
xorq %r9, %r15
xorq %rax, %r8
xorq %r10, %rdi
xorq %r10, %r15
rorxq $0x11, %rdi, %r12
xorq %rdi, %r12
rorxq $0xa, %rdi, %rdi
xorq %rdi, %r12
rorxq $0x3d, %r8, %rbp
xorq %r8, %rbp
rorxq $0x27, %r8, %rdi
xorq %rdx, %rax
xorq %rdi, %rbp
rorxq $0x29, %rdx, %r13
xorq %rdx, %r13
rorxq $0x7, %rdx, %rdx
xorq %rdx, %r13
rorxq $0x1c, %rax, %r10
xorq %rax, %r10
rorxq $0x13, %rax, %rax
xorq %rax, %r10
notq %r15
addq $-0x10, %rbx
addq $0x10, %rsi
addq $0x10, %rcx
subq $-0x80, %r11
jmp 0x454e
movabsq $0x38, %r14
xorl %r8d, %r8d
movl $0xff, %r9d
cmpq %r8, %rbx
jbe 0x4b26
cmpq $0x7, %r8
ja 0x4afc
shrxq %r14, %r10, %rax
xorb (%rcx,%r8), %al
movb %al, (%rsi,%r8)
shlxq %r14, %r9, %rax
andnq %r10, %rax, %rax
movzbl (%rcx,%r8), %edx
shlxq %r14, %rdx, %r10
orq %rax, %r10
jmp 0x4b1d
movzbl (%rcx,%r8), %eax
movb %al, (%rsi,%r8)
movl %r14d, %edx
andb $-0x8, %dl
shlxq %rdx, %r9, %rdi
andnq %rbp, %rdi, %rdi
shlxq %rdx, %rax, %rbp
orq %rdi, %rbp
incq %r8
addq $-0x8, %r14
jmp 0x4acb
xorl %eax, %eax
cmpq $0x8, %rbx
movl $0x80, %edx
shlxq %r11, %rdx, %rdx
movq %rdx, %rdi
cmovbq %rax, %rdi
cmovbq %rdx, %rax
xorq %rdi, %rbp
xorq -0x20(%rsp), %r15
movq -0x8(%rsp), %rsi
xorq %rsi, %r12
xorq %r13, %r10
xorq %rax, %r10
movq %r12, %r9
xorq %r13, %r9
xorq %rbp, %r15
movq %r15, %rax
xorq $0xf0, %rax
andnq %r13, %r12, %rdi
xorq %rax, %rdi
andnq %rax, %rbp, %rax
xorq %r10, %rax
xorq $-0xf1, %r15
andq %r12, %r15
xorq %rbp, %r15
andnq %rbp, %r10, %rdx
xorq %r9, %rdx
andnq %r10, %r9, %r10
xorq %r12, %r10
xorq %rax, %r15
rorxq $0x27, %r15, %r11
xorq %rdi, %r10
rorxq $0x11, %r10, %r9
xorq %r10, %r9
rorxq $0xa, %r10, %r10
xorq %r10, %r9
rorxq $0x3d, %r15, %r10
xorq %r15, %r10
rorxq $0x1, %rdi, %rbx
xorq %rdx, %rax
xorq %r11, %r10
rorxq $0x29, %rdx, %r11
xorq %rdx, %r11
rorxq $0x7, %rdx, %rdx
xorq %rdx, %r11
rorxq $0x1c, %rax, %r14
xorq %rax, %r14
rorxq $0x13, %rax, %rdx
xorq %r11, %rdx
xorq %r14, %rdx
rorxq $0x6, %rdi, %rax
xorq %rdi, %rax
movq %r9, %r14
xorq %r11, %r14
xorq %rbx, %rax
xorq %r10, %rax
movq %rax, %rbx
xorq $-0xe2, %rbx
andnq %r11, %r9, %rdi
xorq %rbx, %rdi
andnq %rbx, %r10, %r11
xorq %rdx, %r11
xorq $0xe1, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %rbx
xorq %r14, %rbx
andnq %rdx, %r14, %rdx
xorq %r9, %rdx
xorq %r11, %rax
rorxq $0x27, %rax, %r14
xorq %rdi, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r10
xorq %rax, %r10
rorxq $0x1, %rdi, %r15
xorq %rbx, %r11
xorq %r14, %r10
rorxq $0x29, %rbx, %r14
xorq %rbx, %r14
rorxq $0x7, %rbx, %rax
xorq %rax, %r14
rorxq $0x1c, %r11, %rax
xorq %r11, %rax
rorxq $0x13, %r11, %rdx
xorq %r14, %rdx
xorq %rax, %rdx
rorxq $0x6, %rdi, %rax
xorq %rdi, %rax
movq %r9, %r12
xorq %r14, %r12
xorq %r15, %rax
xorq %r10, %rax
movq %rax, %r11
xorq $-0xd3, %r11
andnq %r14, %r9, %rdi
xorq %r11, %rdi
andnq %r11, %r10, %r11
xorq %rdx, %r11
xorq $0xd2, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %rbx
xorq %r12, %rbx
andnq %rdx, %r12, %rdx
xorq %r9, %rdx
xorq %r11, %rax
rorxq $0x27, %rax, %r14
xorq %rdi, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r10
xorq %rax, %r10
rorxq $0x1, %rdi, %r15
xorq %rbx, %r11
xorq %r14, %r10
rorxq $0x29, %rbx, %r14
xorq %rbx, %r14
rorxq $0x7, %rbx, %rax
xorq %rax, %r14
rorxq $0x1c, %r11, %rax
xorq %r11, %rax
rorxq $0x13, %r11, %rdx
xorq %r14, %rdx
xorq %rax, %rdx
rorxq $0x6, %rdi, %rax
xorq %rdi, %rax
movq %r9, %r12
xorq %r14, %r12
xorq %r15, %rax
xorq %r10, %rax
movq %rax, %r11
xorq $-0xc4, %r11
andnq %r14, %r9, %rdi
xorq %r11, %rdi
andnq %r11, %r10, %r11
xorq %rdx, %r11
xorq $0xc3, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %rbx
xorq %r12, %rbx
andnq %rdx, %r12, %rdx
xorq %r9, %rdx
xorq %r11, %rax
rorxq $0x27, %rax, %r14
xorq %rdi, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r10
xorq %rax, %r10
rorxq $0x1, %rdi, %r15
xorq %rbx, %r11
xorq %r14, %r10
rorxq $0x29, %rbx, %r14
xorq %rbx, %r14
rorxq $0x7, %rbx, %rax
xorq %rax, %r14
rorxq $0x1c, %r11, %rax
xorq %r11, %rax
rorxq $0x13, %r11, %rdx
xorq %r14, %rdx
xorq %rax, %rdx
rorxq $0x6, %rdi, %rax
xorq %rdi, %rax
movq %r9, %r12
xorq %r14, %r12
xorq %r15, %rax
xorq %r10, %rax
movq %rax, %r11
xorq $-0xb5, %r11
andnq %r14, %r9, %rdi
xorq %r11, %rdi
andnq %r11, %r10, %r11
xorq %rdx, %r11
xorq $0xb4, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %rbx
xorq %r12, %rbx
andnq %rdx, %r12, %rdx
xorq %r9, %rdx
xorq %r11, %rax
rorxq $0x27, %rax, %r14
xorq %rdi, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r10
xorq %rax, %r10
rorxq $0x1, %rdi, %r15
xorq %rbx, %r11
xorq %r14, %r10
rorxq $0x29, %rbx, %r14
xorq %rbx, %r14
rorxq $0x7, %rbx, %rax
xorq %rax, %r14
rorxq $0x1c, %r11, %rax
xorq %r11, %rax
rorxq $0x13, %r11, %rdx
xorq %r14, %rdx
xorq %rax, %rdx
rorxq $0x6, %rdi, %rax
xorq %rdi, %rax
movq %r9, %r12
xorq %r14, %r12
xorq %r15, %rax
xorq %r10, %rax
movq %rax, %r11
xorq $-0xa6, %r11
andnq %r14, %r9, %rdi
xorq %r11, %rdi
andnq %r11, %r10, %r11
xorq %rdx, %r11
xorq $0xa5, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %rbx
xorq %r12, %rbx
andnq %rdx, %r12, %rdx
xorq %r9, %rdx
xorq %r11, %rax
rorxq $0x27, %rax, %r14
xorq %rdi, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r10
xorq %rax, %r10
rorxq $0x1, %rdi, %r15
xorq %rbx, %r11
xorq %r14, %r10
rorxq $0x29, %rbx, %r14
xorq %rbx, %r14
rorxq $0x7, %rbx, %rax
xorq %rax, %r14
rorxq $0x1c, %r11, %rax
xorq %r11, %rax
rorxq $0x13, %r11, %rdx
xorq %r14, %rdx
xorq %rax, %rdx
rorxq $0x6, %rdi, %rax
xorq %rdi, %rax
movq %r9, %r12
xorq %r14, %r12
xorq %r15, %rax
xorq %r10, %rax
movq %rax, %r11
xorq $-0x97, %r11
andnq %r14, %r9, %rdi
xorq %r11, %rdi
andnq %r11, %r10, %r11
xorq %rdx, %r11
xorq $0x96, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %rbx
xorq %r12, %rbx
andnq %rdx, %r12, %rdx
xorq %r9, %rdx
xorq %r11, %rax
rorxq $0x27, %rax, %r14
xorq %rdi, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r10
xorq %rax, %r10
rorxq $0x1, %rdi, %r15
xorq %rbx, %r11
xorq %r14, %r10
rorxq $0x29, %rbx, %r14
xorq %rbx, %r14
rorxq $0x7, %rbx, %rax
xorq %rax, %r14
rorxq $0x1c, %r11, %rax
xorq %r11, %rax
rorxq $0x13, %r11, %rdx
xorq %r14, %rdx
xorq %rax, %rdx
rorxq $0x6, %rdi, %rax
xorq %rdi, %rax
movq %r9, %r12
xorq %r14, %r12
xorq %r15, %rax
xorq %r10, %rax
movq %rax, %r11
xorq $-0x88, %r11
andnq %r14, %r9, %rdi
xorq %r11, %rdi
andnq %r11, %r10, %r11
xorq %rdx, %r11
xorq $0x87, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %rbx
xorq %r12, %rbx
andnq %rdx, %r12, %rdx
xorq %r9, %rdx
xorq %r11, %rax
rorxq $0x27, %rax, %r14
xorq %rdi, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r10
xorq %rax, %r10
rorxq $0x1, %rdi, %r15
xorq %rbx, %r11
xorq %r14, %r10
rorxq $0x29, %rbx, %r14
xorq %rbx, %r14
rorxq $0x7, %rbx, %rax
xorq %rax, %r14
rorxq $0x1c, %r11, %rax
xorq %r11, %rax
rorxq $0x13, %r11, %rdx
xorq %r14, %rdx
xorq %rax, %rdx
rorxq $0x6, %rdi, %rax
xorq %rdi, %rax
movq %r9, %r12
xorq %r14, %r12
xorq %r15, %rax
xorq %r10, %rax
movq %rax, %r11
xorq $-0x79, %r11
andnq %r14, %r9, %rdi
xorq %r11, %rdi
andnq %r11, %r10, %r11
xorq %rdx, %r11
xorq $0x78, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %rbx
xorq %r12, %rbx
andnq %rdx, %r12, %rdx
xorq %r9, %rdx
xorq %r11, %rax
rorxq $0x27, %rax, %r14
xorq %rdi, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %r10
xorq %rax, %r10
rorxq $0x1, %rdi, %r15
xorq %rbx, %r11
xorq %r14, %r10
rorxq $0x29, %rbx, %r14
xorq %rbx, %r14
rorxq $0x7, %rbx, %rax
xorq %rax, %r14
rorxq $0x1c, %r11, %rax
xorq %r11, %rax
rorxq $0x13, %r11, %rdx
xorq %r14, %rdx
xorq %rax, %rdx
rorxq $0x6, %rdi, %rax
xorq %rdi, %rax
movq %r9, %rbx
xorq %r14, %rbx
xorq %r15, %rax
xorq %r10, %rax
movq %rax, %r11
xorq $-0x6a, %r11
andnq %r14, %r9, %rdi
xorq %r11, %rdi
andnq %r11, %r10, %r11
xorq %rdx, %r11
xorq $0x69, %rax
andq %r9, %rax
xorq %r10, %rax
andnq %r10, %rdx, %r10
xorq %rbx, %r10
andnq %rdx, %rbx, %rdx
xorq %r9, %rdx
xorq %r11, %rax
rorxq $0x27, %rax, %r14
xorq %rdi, %rdx
rorxq $0x11, %rdx, %r9
xorq %rdx, %r9
rorxq $0xa, %rdx, %rdx
xorq %rdx, %r9
rorxq $0x3d, %rax, %rbx
xorq %rax, %rbx
rorxq $0x1, %rdi, %r15
xorq %r10, %r11
xorq %r14, %rbx
rorxq $0x29, %r10, %rdx
xorq %r10, %rdx
rorxq $0x7, %r10, %rax
xorq %rax, %rdx
rorxq $0x1c, %r11, %r10
xorq %r11, %r10
rorxq $0x13, %r11, %rax
xorq %rdx, %rax
xorq %r10, %rax
rorxq $0x6, %rdi, %r10
xorq %rdi, %r10
movq %r9, %r14
xorq %rdx, %r14
xorq %r15, %r10
xorq %rbx, %r10
movq %r10, %r11
xorq $-0x5b, %r11
andnq %rdx, %r9, %rdi
xorq %r11, %rdi
andnq %r11, %rbx, %r11
xorq %rax, %r11
xorq $0x5a, %r10
andq %r9, %r10
xorq %rbx, %r10
andnq %rbx, %rax, %rdx
xorq %r14, %rdx
andnq %rax, %r14, %rax
xorq %r9, %rax
xorq %r11, %r10
rorxq $0x27, %r10, %r14
xorq %rdi, %rax
rorxq $0x11, %rax, %rbx
xorq %rax, %rbx
rorxq $0xa, %rax, %rax
xorq %rax, %rbx
rorxq $0x3d, %r10, %rax
xorq %r10, %rax
rorxq $0x1, %rdi, %r9
xorq %rdx, %r11
xorq %r14, %rax
rorxq $0x29, %rdx, %r10
xorq %rdx, %r10
rorxq $0x7, %rdx, %rdx
xorq %rdx, %r10
rorxq $0x1c, %r11, %r14
xorq %r11, %r14
rorxq $0x13, %r11, %rdx
xorq %r10, %rdx
xorq %r14, %rdx
andnq %r10, %rbx, %r11
xorq %rdi, %r9
xorq %rbx, %r9
xorq %r10, %rbx
rorxq $0x6, %rdi, %rdi
xorq %rdi, %r11
andnq %rdx, %rbx, %rdi
xorq %r11, %rdi
xorq %rax, %r9
xorq %rdi, %r9
xorq $-0x4c, %r9
rorxq $0xa, %r9, %rdi
rorxq $0x11, %r9, %r10
xorq -0x20(%rsp), %r9
xorq %r10, %r9
xorq %rdi, %r9
bswapq %r9
cmpq %r9, (%rcx,%r8)
jne 0x52d9
andnq %rax, %rdx, %rax
xorq %rbx, %rax
rorxq $0x7, %rax, %rdx
rorxq $0x29, %rax, %rdi
xorq %rax, %rsi
xorq %rdi, %rsi
xorq %rdx, %rsi
bswapq %rsi
cmpq %rsi, 0x8(%rcx,%r8)
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
jne 0x52de
movq -0x18(%rsp), %rax
movq -0x28(%rsp), %rcx
movq %rcx, (%rax)
xorl %eax, %eax
jmp 0x52de
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nopl (%rax)