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

  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 = mlen;
  while (rlen >= RATE) {
    x0 ^= U64BIG(*(u64*)m);
    x1 ^= U64BIG(*(u64*)(m + 8));
    *(u64*)c = U64BIG(x0);
    *(u64*)(c + 8) = U64BIG(x1);
    P8;
    rlen -= RATE;
    m += RATE;
    c += RATE;
  }
  for (i = 0; i < rlen; ++i, ++m, ++c) {
    if (i < 8) {
      x0 ^= INS_BYTE(*m, i);
      *c = EXT_BYTE(x0, i);
    } else {
      x1 ^= INS_BYTE(*m, i);
      *c = EXT_BYTE(x1, 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 tag
  ((u64*)c)[0] = U64BIG(x3);
  ((u64*)c)[1] = U64BIG(x4);
  *clen = mlen + CRYPTO_KEYBYTES;

  return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdx, -0x38(%rsp)
movq %rsi, -0x10(%rsp)
movq %rdi, -0x18(%rsp)
movq 0x40(%rsp), %rax
movq 0x48(%rsp), %rdx
vmovdqu (%rdx), %xmm0
vpshufb 0x4e94(%rip), %xmm0, %xmm0 # 0x6000
movbeq (%rax), %rbx
movbeq 0x8(%rax), %rax
movabsq $-0x7f7ff3f800000000, %r15 # imm = 0x80800C0800000000
xorq %rax, %r15
andnq %rax, %rbx, %r11
movabsq $0x7f7ff3f7ffffffff, %r14 # imm = 0x7F7FF3F7FFFFFFFF
xorq %rax, %r14
xorq %rbx, %rax
vmovq %xmm0, %rdi
vpextrq $0x1, %xmm0, %rdx
movq %rdx, %r13
xorq %rdi, %r13
movq %r13, %rsi
xorq $0xf0, %rsi
xorq %rsi, %r11
andnq %rsi, %rdi, %r12
xorq %r15, %r12
andq %rdi, %r14
xorq %rax, %r14
xorq $-0xf1, %r13
andq %rbx, %r13
xorq %rdi, %r13
andnq %r15, %rax, %rax
xorq %rbx, %rax
xorq %r12, %r13
rorxq $0x27, %r13, %rsi
xorq %r11, %rax
rorxq $0x11, %rax, %rbx
xorq %rax, %rbx
rorxq $0xa, %rax, %rax
xorq %rax, %rbx
rorxq $0x3d, %r13, %r15
xorq %r13, %r15
rorxq $0x1, %r11, %r10
xorq %r14, %r12
xorq %rsi, %r15
rorxq $0x29, %r14, %rsi
xorq %r14, %rsi
rorxq $0x7, %r14, %rax
xorq %rax, %rsi
rorxq $0x1c, %r12, %r14
xorq %r12, %r14
rorxq $0x13, %r12, %rax
xorq %rsi, %rax
xorq %r14, %rax
rorxq $0x6, %r11, %r14
xorq %r11, %r14
movq %rbx, %r13
xorq %rsi, %r13
xorq %r10, %r14
xorq %r15, %r14
movq %r14, %r10
xorq $-0xe2, %r10
andnq %rsi, %rbx, %r11
xorq %r10, %r11
andnq %r10, %r15, %r12
xorq %rax, %r12
xorq $0xe1, %r14
andq %rbx, %r14
xorq %r15, %r14
andnq %r15, %rax, %rsi
xorq %r13, %rsi
andnq %rax, %r13, %rax
xorq %rbx, %rax
xorq %r12, %r14
rorxq $0x27, %r14, %r10
xorq %r11, %rax
rorxq $0x11, %rax, %rbx
xorq %rax, %rbx
rorxq $0xa, %rax, %rax
xorq %rax, %rbx
rorxq $0x3d, %r14, %r15
xorq %r14, %r15
rorxq $0x1, %r11, %r13
xorq %rsi, %r12
xorq %r10, %r15
rorxq $0x29, %rsi, %r10
xorq %rsi, %r10
rorxq $0x7, %rsi, %rax
xorq %rax, %r10
rorxq $0x1c, %r12, %rsi
xorq %r12, %rsi
rorxq $0x13, %r12, %rax
xorq %r10, %rax
xorq %rsi, %rax
rorxq $0x6, %r11, %r14
xorq %r11, %r14
movq %rbx, %rbp
xorq %r10, %rbp
xorq %r13, %r14
xorq %r15, %r14
movq %r14, %rsi
xorq $-0xd3, %rsi
andnq %r10, %rbx, %r11
xorq %rsi, %r11
andnq %rsi, %r15, %r12
xorq %rax, %r12
xorq $0xd2, %r14
andq %rbx, %r14
xorq %r15, %r14
andnq %r15, %rax, %rsi
xorq %rbp, %rsi
andnq %rax, %rbp, %rax
xorq %rbx, %rax
xorq %r12, %r14
rorxq $0x27, %r14, %r10
xorq %r11, %rax
rorxq $0x11, %rax, %rbx
xorq %rax, %rbx
rorxq $0xa, %rax, %rax
xorq %rax, %rbx
rorxq $0x3d, %r14, %r15
xorq %r14, %r15
rorxq $0x1, %r11, %r13
xorq %rsi, %r12
xorq %r10, %r15
rorxq $0x29, %rsi, %r10
xorq %rsi, %r10
rorxq $0x7, %rsi, %rax
xorq %rax, %r10
rorxq $0x1c, %r12, %rsi
xorq %r12, %rsi
rorxq $0x13, %r12, %rax
xorq %r10, %rax
xorq %rsi, %rax
rorxq $0x6, %r11, %r14
xorq %r11, %r14
movq %rbx, %rbp
xorq %r10, %rbp
xorq %r13, %r14
xorq %r15, %r14
movq %r14, %rsi
xorq $-0xc4, %rsi
andnq %r10, %rbx, %r11
xorq %rsi, %r11
andnq %rsi, %r15, %r12
xorq %rax, %r12
xorq $0xc3, %r14
andq %rbx, %r14
xorq %r15, %r14
andnq %r15, %rax, %rsi
xorq %rbp, %rsi
andnq %rax, %rbp, %rax
xorq %rbx, %rax
xorq %r12, %r14
rorxq $0x27, %r14, %r10
xorq %r11, %rax
rorxq $0x11, %rax, %rbx
xorq %rax, %rbx
rorxq $0xa, %rax, %rax
xorq %rax, %rbx
rorxq $0x3d, %r14, %r15
xorq %r14, %r15
rorxq $0x1, %r11, %r13
xorq %rsi, %r12
xorq %r10, %r15
rorxq $0x29, %rsi, %r10
xorq %rsi, %r10
rorxq $0x7, %rsi, %rax
xorq %rax, %r10
rorxq $0x1c, %r12, %rsi
xorq %r12, %rsi
rorxq $0x13, %r12, %rax
xorq %r10, %rax
xorq %rsi, %rax
rorxq $0x6, %r11, %r14
xorq %r11, %r14
movq %rbx, %rbp
xorq %r10, %rbp
xorq %r13, %r14
xorq %r15, %r14
movq %r14, %rsi
xorq $-0xb5, %rsi
andnq %r10, %rbx, %r11
xorq %rsi, %r11
andnq %rsi, %r15, %r12
xorq %rax, %r12
xorq $0xb4, %r14
andq %rbx, %r14
xorq %r15, %r14
andnq %r15, %rax, %rsi
xorq %rbp, %rsi
andnq %rax, %rbp, %rax
xorq %rbx, %rax
xorq %r12, %r14
rorxq $0x27, %r14, %r10
xorq %r11, %rax
rorxq $0x11, %rax, %rbx
xorq %rax, %rbx
rorxq $0xa, %rax, %rax
xorq %rax, %rbx
rorxq $0x3d, %r14, %r15
xorq %r14, %r15
rorxq $0x1, %r11, %r13
xorq %rsi, %r12
xorq %r10, %r15
rorxq $0x29, %rsi, %r10
xorq %rsi, %r10
rorxq $0x7, %rsi, %rax
xorq %rax, %r10
rorxq $0x1c, %r12, %rsi
xorq %r12, %rsi
rorxq $0x13, %r12, %rax
xorq %r10, %rax
xorq %rsi, %rax
rorxq $0x6, %r11, %r14
xorq %r11, %r14
movq %rbx, %rbp
xorq %r10, %rbp
xorq %r13, %r14
xorq %r15, %r14
movq %r14, %rsi
xorq $-0xa6, %rsi
andnq %r10, %rbx, %r11
xorq %rsi, %r11
andnq %rsi, %r15, %r12
xorq %rax, %r12
xorq $0xa5, %r14
andq %rbx, %r14
xorq %r15, %r14
andnq %r15, %rax, %rsi
xorq %rbp, %rsi
andnq %rax, %rbp, %rax
xorq %rbx, %rax
xorq %r12, %r14
rorxq $0x27, %r14, %r10
xorq %r11, %rax
rorxq $0x11, %rax, %rbx
xorq %rax, %rbx
rorxq $0xa, %rax, %rax
xorq %rax, %rbx
rorxq $0x3d, %r14, %r15
xorq %r14, %r15
rorxq $0x1, %r11, %r13
xorq %rsi, %r12
xorq %r10, %r15
rorxq $0x29, %rsi, %r10
xorq %rsi, %r10
rorxq $0x7, %rsi, %rax
xorq %rax, %r10
rorxq $0x1c, %r12, %rsi
xorq %r12, %rsi
rorxq $0x13, %r12, %rax
xorq %r10, %rax
xorq %rsi, %rax
rorxq $0x6, %r11, %r14
xorq %r11, %r14
movq %rbx, %rbp
xorq %r10, %rbp
xorq %r13, %r14
xorq %r15, %r14
movq %r14, %rsi
xorq $-0x97, %rsi
andnq %r10, %rbx, %r11
xorq %rsi, %r11
andnq %rsi, %r15, %r12
xorq %rax, %r12
xorq $0x96, %r14
andq %rbx, %r14
xorq %r15, %r14
andnq %r15, %rax, %rsi
xorq %rbp, %rsi
andnq %rax, %rbp, %rax
xorq %rbx, %rax
xorq %r12, %r14
rorxq $0x27, %r14, %r10
xorq %r11, %rax
rorxq $0x11, %rax, %rbx
xorq %rax, %rbx
rorxq $0xa, %rax, %rax
xorq %rax, %rbx
rorxq $0x3d, %r14, %r15
xorq %r14, %r15
rorxq $0x1, %r11, %r13
xorq %rsi, %r12
xorq %r10, %r15
rorxq $0x29, %rsi, %r10
xorq %rsi, %r10
rorxq $0x7, %rsi, %rax
xorq %rax, %r10
rorxq $0x1c, %r12, %rsi
xorq %r12, %rsi
rorxq $0x13, %r12, %rax
xorq %r10, %rax
xorq %rsi, %rax
rorxq $0x6, %r11, %r14
xorq %r11, %r14
movq %rbx, %rbp
xorq %r10, %rbp
xorq %r13, %r14
xorq %r15, %r14
movq %r14, %rsi
xorq $-0x88, %rsi
andnq %r10, %rbx, %r11
xorq %rsi, %r11
andnq %rsi, %r15, %r12
xorq %rax, %r12
xorq $0x87, %r14
andq %rbx, %r14
xorq %r15, %r14
andnq %r15, %rax, %rsi
xorq %rbp, %rsi
andnq %rax, %rbp, %rax
xorq %rbx, %rax
xorq %r12, %r14
rorxq $0x27, %r14, %r10
xorq %r11, %rax
rorxq $0x11, %rax, %rbx
xorq %rax, %rbx
rorxq $0xa, %rax, %rax
xorq %rax, %rbx
rorxq $0x3d, %r14, %r15
xorq %r14, %r15
rorxq $0x1, %r11, %r13
xorq %rsi, %r12
xorq %r10, %r15
rorxq $0x29, %rsi, %r10
xorq %rsi, %r10
rorxq $0x7, %rsi, %rax
xorq %rax, %r10
rorxq $0x1c, %r12, %rsi
xorq %r12, %rsi
rorxq $0x13, %r12, %rax
xorq %r10, %rax
xorq %rsi, %rax
rorxq $0x6, %r11, %r14
xorq %r11, %r14
movq %rbx, %rbp
xorq %r10, %rbp
xorq %r13, %r14
xorq %r15, %r14
movq %r14, %rsi
xorq $-0x79, %rsi
andnq %r10, %rbx, %r11
xorq %rsi, %r11
andnq %rsi, %r15, %r12
xorq %rax, %r12
xorq $0x78, %r14
andq %rbx, %r14
xorq %r15, %r14
andnq %r15, %rax, %rsi
xorq %rbp, %rsi
andnq %rax, %rbp, %rax
xorq %rbx, %rax
xorq %r12, %r14
rorxq $0x27, %r14, %r10
xorq %r11, %rax
rorxq $0x11, %rax, %rbx
xorq %rax, %rbx
rorxq $0xa, %rax, %rax
xorq %rax, %rbx
rorxq $0x3d, %r14, %r15
xorq %r14, %r15
rorxq $0x1, %r11, %r13
xorq %rsi, %r12
xorq %r10, %r15
rorxq $0x29, %rsi, %r10
xorq %rsi, %r10
rorxq $0x7, %rsi, %rax
xorq %rax, %r10
rorxq $0x1c, %r12, %rsi
xorq %r12, %rsi
rorxq $0x13, %r12, %rax
xorq %r10, %rax
xorq %rsi, %rax
rorxq $0x6, %r11, %r14
xorq %r11, %r14
movq %rbx, %rbp
xorq %r10, %rbp
xorq %r13, %r14
xorq %r15, %r14
movq %r14, %rsi
xorq $-0x6a, %rsi
andnq %r10, %rbx, %r11
xorq %rsi, %r11
andnq %rsi, %r15, %r12
xorq %rax, %r12
xorq $0x69, %r14
andq %rbx, %r14
xorq %r15, %r14
andnq %r15, %rax, %rsi
xorq %rbp, %rsi
andnq %rax, %rbp, %rax
xorq %rbx, %rax
xorq %r12, %r14
rorxq $0x27, %r14, %r10
xorq %r11, %rax
rorxq $0x11, %rax, %rbx
xorq %rax, %rbx
rorxq $0xa, %rax, %rax
xorq %rax, %rbx
rorxq $0x3d, %r14, %r15
xorq %r14, %r15
rorxq $0x1, %r11, %r13
xorq %rsi, %r12
xorq %r10, %r15
rorxq $0x29, %rsi, %r10
xorq %rsi, %r10
rorxq $0x7, %rsi, %rax
xorq %rax, %r10
rorxq $0x1c, %r12, %rsi
xorq %r12, %rsi
rorxq $0x13, %r12, %rax
xorq %r10, %rax
xorq %rsi, %rax
rorxq $0x6, %r11, %r14
xorq %r11, %r14
movq %rbx, %rbp
xorq %r10, %rbp
xorq %r13, %r14
xorq %r15, %r14
movq %r14, %rsi
xorq $-0x5b, %rsi
andnq %r10, %rbx, %r11
xorq %rsi, %r11
andnq %rsi, %r15, %r12
xorq %rax, %r12
xorq $0x5a, %r14
andq %rbx, %r14
xorq %r15, %r14
andnq %r15, %rax, %rsi
xorq %rbp, %rsi
andnq %rax, %rbp, %rax
xorq %rbx, %rax
xorq %r12, %r14
rorxq $0x27, %r14, %r10
xorq %r11, %rax
rorxq $0x11, %rax, %r15
xorq %rax, %r15
rorxq $0xa, %rax, %rax
xorq %rax, %r15
rorxq $0x3d, %r14, %rbx
xorq %r14, %rbx
rorxq $0x1, %r11, %r14
xorq %rsi, %r12
xorq %r10, %rbx
rorxq $0x29, %rsi, %r10
xorq %rsi, %r10
rorxq $0x7, %rsi, %rax
xorq %rax, %r10
rorxq $0x1c, %r12, %rsi
xorq %r12, %rsi
rorxq $0x13, %r12, %rax
xorq %r10, %rax
xorq %rsi, %rax
rorxq $0x6, %r11, %r12
xorq %r11, %r12
movq %r15, %r11
xorq %r10, %r11
xorq %r14, %r12
xorq %rbx, %r12
movq %r12, %r14
xorq $-0x4c, %r14
andnq %r10, %r15, %rsi
xorq %r14, %rsi
andnq %r14, %rbx, %r13
xorq %rax, %r13
xorq $0x4b, %r12
andq %r15, %r12
xorq %rbx, %r12
andnq %rbx, %rax, %r14
xorq %r11, %r14
andnq %rax, %r11, %rbx
xorq %r15, %rbx
xorq %r13, %r12
rorxq $0x1, %rsi, %rax
rorxq $0x6, %rsi, %r11
xorq %rax, %r11
rorxq $0x27, %r12, %rax
xorq %rsi, %rbx
xorq %rsi, %r11
rorxq $0x3d, %r12, %r15
xorq %r12, %r15
rorxq $0xa, %rbx, %rsi
xorq %r14, %r13
xorq %rax, %r15
rorxq $0x1c, %r13, %r12
xorq %r13, %r12
rorxq $0x13, %r13, %rax
xorq %rax, %r12
rorxq $0x11, %rbx, %rax
movq %rdi, -0x28(%rsp)
xorq %rdi, %rbx
xorq %rax, %rbx
rorxq $0x7, %r14, %rax
xorq %rsi, %rbx
rorxq $0x29, %r14, %rsi
movq %rdx, -0x20(%rsp)
xorq %rdx, %r14
xorq %rsi, %r14
xorq %rax, %r14
notq %r11
testq %r9, %r9
movq %rcx, -0x30(%rsp)
je 0x252e
cmpq $0x10, %r9
jb 0x1edf
movq %r8, -0x8(%rsp)
movbeq (%r8), %rax
movbeq 0x8(%r8), %rsi
xorq %r15, %rsi
xorq %r14, %r12
movq %rbx, %r10
xorq %r14, %r10
xorq %rax, %r12
xorq %rsi, %r11
movq %r11, %r15
xorq $0xf0, %r15
andnq %r15, %rsi, %r13
andnq %r14, %rbx, %r14
andnq %rsi, %r12, %rax
xorq %r12, %r13
xorq %r10, %rax
xorq $-0xf1, %r11
andq %rbx, %r11
xorq %rsi, %r11
andnq %r12, %r10, %r10
xorq %r15, %r14
xorq %rbx, %r10
xorq %r13, %r11
xorq %r14, %r10
rorxq $0x1, %r14, %rsi
rorxq $0x6, %r14, %rbx
rorxq $0xa, %r10, %rcx
xorq %rax, %r13
rorxq $0x7, %rax, %rdi
rorxq $0x3d, %r11, %r12
rorxq $0x11, %r10, %r15
rorxq $0x29, %rax, %rbp
movq %r9, %r8
rorxq $0x27, %r11, %r9
xorq %r10, %r15
xorq %rcx, %r15
xorq %r11, %r12
rorxq $0x13, %r13, %r11
xorq %rax, %rbp
xorq %r9, %r12
xorq %rdi, %rbp
rorxq $0x1c, %r13, %rax
xorq %r13, %rax
xorq %rbp, %r11
xorq %rax, %r11
movq %r15, %rcx
xorq %rbp, %rcx
xorq %r14, %rbx
xorq %rsi, %rbx
xorq %r12, %rbx
movq %rbx, %rax
xorq $-0xe2, %rax
andnq %rbp, %r15, %r14
andnq %rax, %r12, %r13
xorq %rax, %r14
andnq %r12, %r11, %rax
xorq %rcx, %rax
xorq $0xe1, %rbx
andq %r15, %rbx
xorq %r11, %r13
xorq %r12, %rbx
andnq %r11, %rcx, %rcx
xorq %r15, %rcx
xorq %r13, %rbx
xorq %r14, %rcx
rorxq $0x1, %r14, %rsi
rorxq $0x6, %r14, %r11
rorxq $0xa, %rcx, %rdi
xorq %rax, %r13
rorxq $0x7, %rax, %r9
rorxq $0x3d, %rbx, %r12
rorxq $0x27, %rbx, %rdx
rorxq $0x11, %rcx, %r15
rorxq $0x29, %rax, %r10
xorq %rcx, %r15
xorq %rdi, %r15
rorxq $0x13, %r13, %rbp
xorq %rbx, %r12
xorq %rax, %r10
xorq %r9, %r10
rorxq $0x1c, %r13, %rax
xorq %r13, %rax
xorq %r10, %rbp
xorq %rdx, %r12
xorq %rax, %rbp
movq %r15, %rcx
xorq %r10, %rcx
xorq %r14, %r11
xorq %rsi, %r11
xorq %r12, %r11
movq %r11, %rax
xorq $-0xd3, %rax
andnq %rax, %r12, %r13
andnq %r10, %r15, %r14
xorq %rax, %r14
andnq %r12, %rbp, %rax
xorq %rcx, %rax
xorq %rbp, %r13
xorq $0xd2, %r11
andq %r15, %r11
xorq %r12, %r11
andnq %rbp, %rcx, %rcx
xorq %r13, %r11
xorq %r15, %rcx
xorq %r14, %rcx
rorxq $0x1, %r14, %rsi
rorxq $0x6, %r14, %rbx
rorxq $0xa, %rcx, %rdx
xorq %rax, %r13
rorxq $0x27, %r11, %rdi
rorxq $0x7, %rax, %r9
rorxq $0x3d, %r11, %rbp
rorxq $0x11, %rcx, %r15
rorxq $0x29, %rax, %r10
xorq %rcx, %r15
xorq %rdx, %r15
xorq %r11, %rbp
rorxq $0x13, %r13, %r11
xorq %rax, %r10
xorq %r9, %r10
rorxq $0x1c, %r13, %rax
xorq %rdi, %rbp
xorq %r13, %rax
xorq %r10, %r11
xorq %rax, %r11
movq %r15, %rcx
xorq %r14, %rbx
xorq %rsi, %rbx
xorq %r10, %rcx
xorq %rbp, %rbx
movq %rbx, %rdx
xorq $-0xc4, %rdx
andnq %rdx, %rbp, %r12
andnq %r10, %r15, %r14
andnq %rbp, %r11, %rax
xorq %r11, %r12
xorq %rcx, %rax
xorq $0xc3, %rbx
andq %r15, %rbx
xorq %rbp, %rbx
andnq %r11, %rcx, %rcx
xorq %rdx, %r14
xorq %r15, %rcx
xorq %r12, %rbx
xorq %r14, %rcx
rorxq $0x1, %r14, %rsi
rorxq $0x6, %r14, %r11
rorxq $0xa, %rcx, %rdx
xorq %rax, %r12
rorxq $0x7, %rax, %rdi
rorxq $0x3d, %rbx, %r13
rorxq $0x11, %rcx, %r15
rorxq $0x29, %rax, %r10
rorxq $0x27, %rbx, %r9
xorq %rcx, %r15
xorq %rdx, %r15
xorq %rbx, %r13
rorxq $0x13, %r12, %rbx
xorq %rax, %r10
xorq %r9, %r13
movq %r8, %r9
movq -0x8(%rsp), %r8
xorq %rdi, %r10
rorxq $0x1c, %r12, %rax
xorq %r12, %rax
xorq %r10, %rbx
xorq %rax, %rbx
movq %r15, %rax
xorq %r10, %rax
xorq %r14, %r11
xorq %rsi, %r11
xorq %r13, %r11
movq %r11, %rcx
xorq $-0xb5, %rcx
andnq %r10, %r15, %r14
andnq %rcx, %r13, %rbp
xorq %rcx, %r14
andnq %r13, %rbx, %rsi
xorq %rax, %rsi
xorq $0xb4, %r11
andq %r15, %r11
xorq %rbx, %rbp
xorq %r13, %r11
andnq %rbx, %rax, %rax
xorq %r15, %rax
xorq %rbp, %r11
xorq %r14, %rax
rorxq $0x1, %r14, %r13
rorxq $0x6, %r14, %rbx
rorxq $0xa, %rax, %rcx
xorq %rsi, %rbp
rorxq $0x7, %rsi, %rdx
rorxq $0x3d, %r11, %r12
rorxq $0x27, %r11, %rdi
rorxq $0x11, %rax, %r15
rorxq $0x29, %rsi, %r10
xorq %rax, %r15
xorq %rcx, %r15
rorxq $0x13, %rbp, %rax
xorq %r11, %r12
xorq %rsi, %r10
xorq %rdx, %r10
rorxq $0x1c, %rbp, %rcx
xorq %rbp, %rcx
xorq %r10, %rax
xorq %rdi, %r12
xorq %rcx, %rax
movq %r15, %rcx
xorq %r10, %rcx
xorq %r14, %rbx
xorq %r13, %rbx
xorq %r12, %rbx
movq %rbx, %rdx
xorq $-0xa6, %rdx
andnq %rdx, %r12, %r13
andnq %r10, %r15, %r14
xorq %rdx, %r14
andnq %r12, %rax, %rsi
xorq %rcx, %rsi
xorq %rax, %r13
xorq $0xa5, %rbx
andq %r15, %rbx
xorq %r12, %rbx
andnq %rax, %rcx, %rax
xorq %r13, %rbx
xorq %r15, %rax
xorq %r14, %rax
rorxq $0x1, %r14, %r10
rorxq $0x6, %r14, %r11
rorxq $0xa, %rax, %rcx
xorq %rsi, %r13
rorxq $0x27, %rbx, %rdx
rorxq $0x7, %rsi, %rdi
rorxq $0x3d, %rbx, %r12
rorxq $0x11, %rax, %r15
rorxq $0x29, %rsi, %rbp
xorq %rax, %r15
xorq %rcx, %r15
xorq %rbx, %r12
rorxq $0x13, %r13, %rax
xorq %rsi, %rbp
xorq %rdi, %rbp
rorxq $0x1c, %r13, %rcx
xorq %rdx, %r12
xorq %r13, %rcx
xorq %rbp, %rax
xorq %rcx, %rax
movq %r15, %rcx
xorq %r14, %r11
xorq %r10, %r11
xorq %rbp, %rcx
xorq %r12, %r11
movq %r11, %rdx
xorq $-0x97, %rdx
andnq %rdx, %r12, %r13
andnq %rbp, %r15, %rbx
andnq %r12, %rax, %rsi
xorq %rax, %r13
xorq %rcx, %rsi
xorq $0x96, %r11
andq %r15, %r11
xorq %r12, %r11
andnq %rax, %rcx, %rax
xorq %rdx, %rbx
xorq %r15, %rax
xorq %r13, %r11
xorq %rbx, %rax
rorxq $0x1, %rbx, %r10
rorxq $0x6, %rbx, %r12
rorxq $0xa, %rax, %rcx
xorq %rsi, %r13
rorxq $0x7, %rsi, %rdx
rorxq $0x3d, %r11, %r15
rorxq $0x11, %rax, %r14
rorxq $0x29, %rsi, %rbp
rorxq $0x27, %r11, %rdi
xorq %rax, %r14
xorq %rcx, %r14
xorq %r11, %r15
rorxq $0x13, %r13, %rax
xorq %rsi, %rbp
xorq %rdi, %r15
xorq %rdx, %rbp
rorxq $0x1c, %r13, %rcx
xorq %r13, %rcx
xorq %rbp, %rax
xorq %rcx, %rax
movq %r14, %rcx
xorq %rbp, %rcx
xorq %rbx, %r12
xorq %r10, %r12
xorq %r15, %r12
movq %r12, %rdx
xorq $-0x88, %rdx
andnq %rbp, %r14, %rsi
andnq %rdx, %r15, %r13
xorq %rdx, %rsi
andnq %r15, %rax, %rbp
xorq %rcx, %rbp
xorq $0x87, %r12
andq %r14, %r12
xorq %rax, %r13
xorq %r15, %r12
andnq %rax, %rcx, %rax
xorq %r14, %rax
xorq %rsi, %rax
rorxq $0x1, %rsi, %rcx
xorq %r13, %r12
rorxq $0x6, %rsi, %r11
xorq %rcx, %r11
rorxq $0xa, %rax, %rcx
xorq %rbp, %r13
rorxq $0x7, %rbp, %rdx
rorxq $0x27, %r12, %rdi
rorxq $0x3d, %r12, %r15
xorq %rsi, %r11
rorxq $0x11, %rax, %rbx
rorxq $0x29, %rbp, %r14
xorq %rax, %rbx
notq %r11
xorq %rcx, %rbx
xorq %r12, %r15
rorxq $0x13, %r13, %rax
xorq %rbp, %r14
xorq %rdx, %r14
xorq %rdi, %r15
rorxq $0x1c, %r13, %r12
xorq %r13, %r12
xorq %rax, %r12
addq $-0x10, %r9
addq $0x10, %r8
cmpq $0xf, %r9
ja 0x1972
testq %r9, %r9
je 0x1fdd
leal 0x3(%r9), %r13d
andl $0x1c, %r13d
leaq -0x1(%r9), %rax
vmovq %r12, %xmm9
vmovq %r15, %xmm1
vpbroadcastq %rax, %ymm3
vpmovsxbq 0x417c(%rip), %ymm4 # 0x6080
xorl %eax, %eax
vpbroadcastq 0x4151(%rip), %ymm5 # 0x6060
vpbroadcastq 0x4150(%rip), %ymm6 # 0x6068
vpbroadcastq 0x414f(%rip), %ymm7 # 0x6070
vpbroadcastq 0x414e(%rip), %ymm10 # 0x6078
vmovdqa %ymm1, %ymm2
vmovdqa %ymm9, %ymm8
vpcmpleuq %ymm3, %ymm4, %k1
vmovdqu8 (%r8,%rax), %xmm9 {%k1} {z}
vpmovzxbq %xmm9, %ymm9    # ymm9 = xmm9[0],zero,zero,zero,zero,zero,zero,zero,xmm9[1],zero,zero,zero,zero,zero,zero,zero,xmm9[2],zero,zero,zero,zero,zero,zero,zero,xmm9[3],zero,zero,zero,zero,zero,zero,zero
vpsllq $0x3, %ymm4, %ymm11
vpsubq %ymm11, %ymm5, %ymm11
vpcmpnleuq %ymm6, %ymm4, %k2 {%k1}
vpand %ymm7, %ymm11, %ymm12
vpsllvq %ymm12, %ymm9, %ymm12
vpsllvq %ymm11, %ymm9, %ymm9
vpxorq %ymm12, %ymm1, %ymm1 {%k2}
vpxor %ymm9, %ymm8, %ymm9
vmovdqa64 %ymm8, %ymm9 {%k2}
addq $0x4, %rax
vpaddq %ymm4, %ymm10, %ymm4
cmpq %rax, %r13
jne 0x1f2a
vmovdqa64 %ymm1, %ymm2 {%k1}
vmovdqa64 %ymm9, %ymm8 {%k1}
vextracti128 $0x1, %ymm8, %xmm1
vpxor %xmm1, %xmm8, %xmm1
vpshufd $0xee, %xmm1, %xmm3     # xmm3 = xmm1[2,3,2,3]
vpxor %xmm3, %xmm1, %xmm1
vmovq %xmm1, %r12
vextracti128 $0x1, %ymm2, %xmm1
vpxor %xmm1, %xmm2, %xmm1
vpshufd $0xee, %xmm1, %xmm2     # xmm2 = xmm1[2,3,2,3]
vpxor %xmm2, %xmm1, %xmm1
vmovq %xmm1, %r15
cmpq $0x8, %r9
jb 0x1fe0
shll $0x3, %r9d
movb $0x38, %al
subb %r9b, %al
movl $0x80, %ecx
shlxq %rax, %rcx, %rax
xorq %rax, %r15
jmp 0x1ff6
xorl %r9d, %r9d
shll $0x3, %r9d
movb $0x38, %al
subb %r9b, %al
movl $0x80, %ecx
shlxq %rax, %rcx, %rax
xorq %rax, %r12
xorq %r14, %r12
movq %rbx, %rax
xorq %r14, %rax
xorq %r15, %r11
movq %r11, %rcx
xorq $0xf0, %rcx
andnq %rcx, %r15, %r13
xorq %r12, %r13
andnq %r14, %rbx, %r9
xorq %rcx, %r9
andnq %r15, %r12, %rsi
xorq %rax, %rsi
xorq $-0xf1, %r11
andq %rbx, %r11
xorq %r15, %r11
andnq %r12, %rax, %rax
xorq %rbx, %rax
xorq %r13, %r11
rorxq $0x27, %r11, %rcx
xorq %r9, %rax
rorxq $0x1, %r9, %r10
rorxq $0x6, %r9, %r8
rorxq $0xa, %rax, %rdx
xorq %rsi, %r13
rorxq $0x7, %rsi, %rdi
rorxq $0x3d, %r11, %r14
rorxq $0x11, %rax, %rbx
rorxq $0x29, %rsi, %r12
xorq %rax, %rbx
xorq %rdx, %rbx
xorq %r11, %r14
xorq %rcx, %r14
rorxq $0x13, %r13, %rax
xorq %rsi, %r12
xorq %rdi, %r12
rorxq $0x1c, %r13, %rcx
xorq %r13, %rcx
xorq %r12, %rax
xorq %rcx, %rax
movq %rbx, %rcx
xorq %r12, %rcx
xorq %r9, %r8
xorq %r10, %r8
xorq %r14, %r8
movq %r8, %rdx
xorq $-0xe2, %rdx
andnq %rdx, %r14, %r15
xorq %rax, %r15
andnq %r12, %rbx, %r11
xorq %rdx, %r11
andnq %r14, %rax, %rsi
xorq %rcx, %rsi
xorq $0xe1, %r8
andq %rbx, %r8
xorq %r14, %r8
andnq %rax, %rcx, %rax
xorq %rbx, %rax
xorq %r15, %r8
rorxq $0x27, %r8, %rcx
xorq %r11, %rax
rorxq $0x1, %r11, %r10
rorxq $0x6, %r11, %r9
rorxq $0xa, %rax, %rdx
xorq %rsi, %r15
rorxq $0x7, %rsi, %rdi
rorxq $0x3d, %r8, %r14
rorxq $0x11, %rax, %rbx
rorxq $0x29, %rsi, %r12
xorq %rax, %rbx
xorq %rdx, %rbx
xorq %r8, %r14
xorq %rcx, %r14
rorxq $0x13, %r15, %rax
xorq %rsi, %r12
xorq %rdi, %r12
rorxq $0x1c, %r15, %rcx
xorq %r15, %rcx
xorq %r12, %rax
xorq %rcx, %rax
movq %rbx, %rcx
xorq %r12, %rcx
xorq %r11, %r9
xorq %r10, %r9
xorq %r14, %r9
movq %r9, %rdx
xorq $-0xd3, %rdx
andnq %rdx, %r14, %r15
xorq %rax, %r15
andnq %r12, %rbx, %r11
xorq %rdx, %r11
andnq %r14, %rax, %rsi
xorq %rcx, %rsi
xorq $0xd2, %r9
andq %rbx, %r9
xorq %r14, %r9
andnq %rax, %rcx, %rax
xorq %rbx, %rax
xorq %r15, %r9
rorxq $0x27, %r9, %rcx
xorq %r11, %rax
rorxq $0x1, %r11, %r10
rorxq $0x6, %r11, %r8
rorxq $0xa, %rax, %rdx
xorq %rsi, %r15
rorxq $0x7, %rsi, %rdi
rorxq $0x3d, %r9, %r14
rorxq $0x11, %rax, %rbx
rorxq $0x29, %rsi, %r12
xorq %rax, %rbx
xorq %rdx, %rbx
xorq %r9, %r14
xorq %rcx, %r14
rorxq $0x13, %r15, %rax
xorq %rsi, %r12
xorq %rdi, %r12
rorxq $0x1c, %r15, %rcx
xorq %r15, %rcx
xorq %r12, %rax
xorq %rcx, %rax
movq %rbx, %rcx
xorq %r12, %rcx
xorq %r11, %r8
xorq %r10, %r8
xorq %r14, %r8
movq %r8, %rdx
xorq $-0xc4, %rdx
andnq %rdx, %r14, %r15
xorq %rax, %r15
andnq %r12, %rbx, %r11
xorq %rdx, %r11
andnq %r14, %rax, %rsi
xorq %rcx, %rsi
xorq $0xc3, %r8
andq %rbx, %r8
xorq %r14, %r8
andnq %rax, %rcx, %rax
xorq %rbx, %rax
xorq %r15, %r8
rorxq $0x27, %r8, %rcx
xorq %r11, %rax
rorxq $0x1, %r11, %r10
rorxq $0x6, %r11, %r9
rorxq $0xa, %rax, %rdx
xorq %rsi, %r15
rorxq $0x7, %rsi, %rdi
rorxq $0x3d, %r8, %r14
rorxq $0x11, %rax, %rbx
rorxq $0x29, %rsi, %r12
xorq %rax, %rbx
xorq %rdx, %rbx
xorq %r8, %r14
xorq %rcx, %r14
rorxq $0x13, %r15, %rax
xorq %rsi, %r12
xorq %rdi, %r12
rorxq $0x1c, %r15, %rcx
xorq %r15, %rcx
xorq %r12, %rax
xorq %rcx, %rax
movq %rbx, %rcx
xorq %r12, %rcx
xorq %r11, %r9
xorq %r10, %r9
xorq %r14, %r9
movq %r9, %rdx
xorq $-0xb5, %rdx
andnq %rdx, %r14, %r15
xorq %rax, %r15
andnq %r12, %rbx, %r11
xorq %rdx, %r11
andnq %r14, %rax, %rsi
xorq %rcx, %rsi
xorq $0xb4, %r9
andq %rbx, %r9
xorq %r14, %r9
andnq %rax, %rcx, %rax
xorq %rbx, %rax
xorq %r15, %r9
rorxq $0x27, %r9, %rcx
xorq %r11, %rax
rorxq $0x1, %r11, %r10
rorxq $0x6, %r11, %r8
rorxq $0xa, %rax, %rdx
xorq %rsi, %r15
rorxq $0x7, %rsi, %rdi
rorxq $0x3d, %r9, %r14
rorxq $0x11, %rax, %rbx
rorxq $0x29, %rsi, %r12
xorq %rax, %rbx
xorq %rdx, %rbx
xorq %r9, %r14
xorq %rcx, %r14
rorxq $0x13, %r15, %rax
xorq %rsi, %r12
xorq %rdi, %r12
rorxq $0x1c, %r15, %rcx
xorq %r15, %rcx
xorq %r12, %rax
xorq %rcx, %rax
movq %rbx, %rcx
xorq %r12, %rcx
xorq %r11, %r8
xorq %r10, %r8
xorq %r14, %r8
movq %r8, %rdx
xorq $-0xa6, %rdx
andnq %rdx, %r14, %r15
xorq %rax, %r15
andnq %r12, %rbx, %r11
xorq %rdx, %r11
andnq %r14, %rax, %rsi
xorq %rcx, %rsi
xorq $0xa5, %r8
andq %rbx, %r8
xorq %r14, %r8
andnq %rax, %rcx, %rax
xorq %rbx, %rax
xorq %r15, %r8
rorxq $0x27, %r8, %rcx
xorq %r11, %rax
rorxq $0x1, %r11, %r10
rorxq $0x6, %r11, %r9
rorxq $0xa, %rax, %rdx
xorq %rsi, %r15
rorxq $0x7, %rsi, %rdi
rorxq $0x3d, %r8, %r14
rorxq $0x11, %rax, %rbx
rorxq $0x29, %rsi, %r12
xorq %rax, %rbx
xorq %rdx, %rbx
xorq %r8, %r14
xorq %rcx, %r14
rorxq $0x13, %r15, %rax
xorq %rsi, %r12
xorq %rdi, %r12
rorxq $0x1c, %r15, %rcx
xorq %r15, %rcx
xorq %r12, %rax
xorq %rcx, %rax
movq %rbx, %rcx
xorq %r12, %rcx
xorq %r11, %r9
xorq %r10, %r9
xorq %r14, %r9
movq %r9, %rdx
xorq $-0x97, %rdx
andnq %rdx, %r14, %r15
xorq %rax, %r15
andnq %r12, %rbx, %r11
xorq %rdx, %r11
andnq %r14, %rax, %rsi
xorq %rcx, %rsi
xorq $0x96, %r9
andq %rbx, %r9
xorq %r14, %r9
andnq %rax, %rcx, %rax
xorq %rbx, %rax
xorq %r15, %r9
rorxq $0x27, %r9, %rcx
xorq %r11, %rax
rorxq $0x1, %r11, %r10
rorxq $0x6, %r11, %r8
rorxq $0xa, %rax, %rdx
xorq %rsi, %r15
rorxq $0x7, %rsi, %rdi
rorxq $0x3d, %r9, %r14
rorxq $0x11, %rax, %rbx
rorxq $0x29, %rsi, %r12
xorq %rax, %rbx
xorq %rdx, %rbx
xorq %r9, %r14
xorq %rcx, %r14
rorxq $0x13, %r15, %rax
xorq %rsi, %r12
xorq %rdi, %r12
rorxq $0x1c, %r15, %rcx
xorq %r15, %rcx
xorq %r12, %rax
xorq %rcx, %rax
movq %rbx, %rcx
xorq %r12, %rcx
xorq %r11, %r8
xorq %r10, %r8
xorq %r14, %r8
movq %r8, %rdx
xorq $-0x88, %rdx
andnq %rdx, %r14, %r9
xorq %rax, %r9
andnq %r12, %rbx, %rsi
xorq %rdx, %rsi
andnq %r14, %rax, %r12
xorq %rcx, %r12
xorq $0x87, %r8
andq %rbx, %r8
xorq %r14, %r8
andnq %rax, %rcx, %rax
xorq %rbx, %rax
xorq %r9, %r8
rorxq $0x27, %r8, %rcx
xorq %rsi, %rax
rorxq $0x1, %rsi, %rdx
rorxq $0x6, %rsi, %r11
xorq %rdx, %r11
rorxq $0xa, %rax, %rdx
xorq %r12, %r9
rorxq $0x7, %r12, %rdi
rorxq $0x3d, %r8, %r15
xorq %rsi, %r11
notq %r11
rorxq $0x11, %rax, %rbx
rorxq $0x29, %r12, %r14
xorq %rax, %rbx
xorq %rdx, %rbx
xorq %r8, %r15
xorq %rcx, %r15
rorxq $0x13, %r9, %rax
xorq %r12, %r14
xorq %rdi, %r14
rorxq $0x1c, %r9, %r12
xorq %r9, %r12
xorq %rax, %r12
movq -0x30(%rsp), %rcx
xorq $0x1, %r14
cmpq $0x10, %rcx
movq -0x18(%rsp), %r10
movq -0x38(%rsp), %rdx
movq %rcx, %r8
jb 0x2ab8
movq %rdx, -0x38(%rsp)
movbeq (%rdx), %rax
xorq %r12, %rax
movbeq 0x8(%rdx), %rcx
xorq %r15, %rcx
movbeq %rax, (%r10)
movbeq %rcx, 0x8(%r10)
movq %rbx, %rdx
xorq %r14, %rdx
xorq %rcx, %r11
xorq %r14, %rax
movq %r11, %rsi
xorq $0xf0, %rsi
andnq %rsi, %rcx, %r12
andnq %r14, %rbx, %r15
xorq %rsi, %r15
andnq %rcx, %rax, %rbp
xorq %rax, %r12
xorq %rdx, %rbp
xorq $-0xf1, %r11
andq %rbx, %r11
xorq %rcx, %r11
andnq %rax, %rdx, %rax
xorq %rbx, %rax
xorq %r12, %r11
xorq %r15, %rax
rorxq $0x1, %r15, %rbx
rorxq $0x6, %r15, %r9
rorxq $0x11, %rax, %r14
xorq %rax, %r14
rorxq $0xa, %rax, %rax
xorq %rbp, %r12
xorq %rax, %r14
rorxq $0x3d, %r11, %r13
xorq %r11, %r13
rorxq $0x27, %r11, %rax
xorq %rax, %r13
rorxq $0x29, %rbp, %rcx
xorq %rbp, %rcx
rorxq $0x7, %rbp, %rax
xorq %rax, %rcx
rorxq $0x1c, %r12, %rdx
xorq %r12, %rdx
rorxq $0x13, %r12, %rax
xorq %rcx, %rax
xorq %rdx, %rax
movq %r14, %rdx
xorq %r15, %r9
xorq %rcx, %rdx
xorq %rbx, %r9
xorq %r13, %r9
movq %r9, %rdi
xorq $-0xe2, %rdi
andnq %rdi, %r13, %r15
andnq %rcx, %r14, %rbx
xorq %rax, %r15
xorq $0xe1, %r9
andq %r14, %r9
xorq %r13, %r9
andnq %r13, %rax, %rsi
xorq %rdx, %rsi
xorq %rdi, %rbx
andnq %rax, %rdx, %rax
xorq %r14, %rax
xorq %r15, %r9
xorq %rbx, %rax
rorxq $0x6, %rbx, %r11
rorxq $0xa, %rax, %rcx
xorq %rsi, %r15
rorxq $0x11, %rax, %r14
xorq %rax, %r14
rorxq $0x3d, %r9, %r12
xorq %rcx, %r14
rorxq $0x27, %r9, %rax
xorq %r9, %r12
rorxq $0x7, %rsi, %rcx
xorq %rax, %r12
rorxq $0x29, %rsi, %rdx
xorq %rsi, %rdx
rorxq $0x1, %rbx, %rsi
xorq %rcx, %rdx
rorxq $0x1c, %r15, %rcx
xorq %r15, %rcx
rorxq $0x13, %r15, %rax
xorq %rdx, %rax
xorq %rcx, %rax
movq %r14, %rcx
xorq %rdx, %rcx
xorq %rbx, %r11
xorq %rsi, %r11
xorq %r12, %r11
movq %r11, %rsi
xorq $-0xd3, %rsi
andnq %rsi, %r12, %rbx
andnq %rdx, %r14, %r9
xorq %rsi, %r9
andnq %r12, %rax, %r15
xorq %rcx, %r15
xorq $0xd2, %r11
xorq %rax, %rbx
andq %r14, %r11
xorq %r12, %r11
andnq %rax, %rcx, %rax
xorq %r14, %rax
xorq %rbx, %r11
rorxq $0x27, %r11, %rcx
xorq %r9, %rax
rorxq $0x1, %r9, %r13
rorxq $0x11, %rax, %r14
xorq %rax, %r14
rorxq $0xa, %rax, %rax
xorq %rax, %r14
rorxq $0x3d, %r11, %r12
xorq %r11, %r12
rorxq $0x6, %r9, %r11
xorq %rcx, %r12
rorxq $0x29, %r15, %rax
xorq %r15, %rbx
xorq %r15, %rax
rorxq $0x7, %r15, %rcx
xorq %rcx, %rax
rorxq $0x1c, %rbx, %rcx
xorq %rbx, %rcx
rorxq $0x13, %rbx, %rsi
xorq %rax, %rsi
xorq %rcx, %rsi
movq %r14, %rcx
xorq %r9, %r11
xorq %r13, %r11
xorq %r12, %r11
xorq %rax, %rcx
movq %r11, %rdx
xorq $-0xc4, %rdx
andnq %rdx, %r12, %r15
andnq %rax, %r14, %rbx
xorq $0xc3, %r11
andq %r14, %r11
xorq %rsi, %r15
xorq %r12, %r11
andnq %r12, %rsi, %rax
xorq %rcx, %rax
andnq %rsi, %rcx, %rcx
xorq %r14, %rcx
xorq %rdx, %rbx
xorq %r15, %r11
xorq %rbx, %rcx
rorxq $0x1, %rbx, %r13
rorxq $0x6, %rbx, %r9
rorxq $0x11, %rcx, %r14
xorq %rcx, %r14
rorxq $0xa, %rcx, %rcx
xorq %rax, %r15
xorq %rcx, %r14
rorxq $0x3d, %r11, %r12
xorq %r11, %r12
rorxq $0x27, %r11, %rcx
xorq %rcx, %r12
rorxq $0x29, %rax, %rcx
xorq %rax, %rcx
rorxq $0x7, %rax, %rax
xorq %rax, %rcx
rorxq $0x1c, %r15, %rdx
xorq %r15, %rdx
rorxq $0x13, %r15, %rax
xorq %rcx, %rax
xorq %rdx, %rax
movq %r14, %rdx
xorq %rbx, %r9
xorq %rcx, %rdx
xorq %r13, %r9
xorq %r12, %r9
movq %r9, %rdi
xorq $-0xb5, %rdi
andnq %rdi, %r12, %r15
andnq %rcx, %r14, %rbx
xorq %rax, %r15
xorq $0xb4, %r9
andq %r14, %r9
xorq %r12, %r9
andnq %r12, %rax, %rsi
xorq %rdx, %rsi
xorq %rdi, %rbx
andnq %rax, %rdx, %rax
xorq %r14, %rax
xorq %r15, %r9
xorq %rbx, %rax
rorxq $0x6, %rbx, %r11
rorxq $0xa, %rax, %rcx
xorq %rsi, %r15
rorxq $0x11, %rax, %r14
xorq %rax, %r14
rorxq $0x3d, %r9, %r12
xorq %rcx, %r14
rorxq $0x27, %r9, %rax
xorq %r9, %r12
rorxq $0x7, %rsi, %rcx
xorq %rax, %r12
rorxq $0x29, %rsi, %rdx
xorq %rsi, %rdx
rorxq $0x1, %rbx, %rsi
xorq %rcx, %rdx
rorxq $0x1c, %r15, %rcx
xorq %r15, %rcx
rorxq $0x13, %r15, %rax
xorq %rdx, %rax
xorq %rcx, %rax
movq %r14, %rcx
xorq %rdx, %rcx
xorq %rbx, %r11
xorq %rsi, %r11
xorq %r12, %r11
movq %r11, %rsi
xorq $-0xa6, %rsi
andnq %rsi, %r12, %r15
andnq %rdx, %r14, %rbx
xorq %rsi, %rbx
andnq %r12, %rax, %r13
xorq %rcx, %r13
xorq $0xa5, %r11
xorq %rax, %r15
andq %r14, %r11
xorq %r12, %r11
andnq %rax, %rcx, %rax
xorq %r14, %rax
xorq %r15, %r11
rorxq $0x27, %r11, %rcx
xorq %rbx, %rax
rorxq $0x1, %rbx, %rbp
rorxq $0x11, %rax, %r14
xorq %rax, %r14
rorxq $0xa, %rax, %rax
xorq %rax, %r14
rorxq $0x3d, %r11, %r12
xorq %r11, %r12
rorxq $0x6, %rbx, %r9
xorq %rcx, %r12
rorxq $0x29, %r13, %r11
xorq %r13, %r15
xorq %r13, %r11
rorxq $0x7, %r13, %rax
xorq %rax, %r11
rorxq $0x1c, %r15, %rax
xorq %r15, %rax
rorxq $0x13, %r15, %rsi
xorq %r11, %rsi
xorq %rax, %rsi
movq %r14, %rcx
xorq %rbx, %r9
xorq %rbp, %r9
xorq %r12, %r9
xorq %r11, %rcx
movq %r9, %rdx
xorq $-0x97, %rdx
andnq %rdx, %r12, %rbx
xorq %rsi, %rbx
xorq $0x96, %r9
andq %r14, %r9
xorq %r12, %r9
andnq %r12, %rsi, %rax
xorq %rcx, %rax
andnq %rsi, %rcx, %rcx
andnq %r11, %r14, %r15
xorq %r14, %rcx
xorq %rdx, %r15
xorq %rbx, %r9
xorq %r15, %rcx
rorxq $0xa, %rcx, %rdx
rorxq $0x11, %rcx, %r11
xorq %rcx, %r11
rorxq $0x27, %r9, %rcx
xorq %rdx, %r11
rorxq $0x3d, %r9, %r14
xorq %r9, %r14
rorxq $0x1, %r15, %rdx
xorq %rax, %rbx
xorq %rcx, %r14
rorxq $0x29, %rax, %rsi
xorq %rax, %rsi
rorxq $0x7, %rax, %rax
xorq %rax, %rsi
rorxq $0x1c, %rbx, %rcx
xorq %rbx, %rcx
rorxq $0x13, %rbx, %rax
xorq %rsi, %rax
xorq %rcx, %rax
rorxq $0x6, %r15, %r9
xorq %r15, %r9
movq %r11, %rcx
xorq %rsi, %rcx
xorq %rdx, %r9
xorq %r14, %r9
movq %r9, %rdx
xorq $-0x88, %rdx
andnq %rsi, %r11, %rsi
xorq %rdx, %rsi
andnq %rdx, %r14, %r13
movq -0x38(%rsp), %rdx
xorq $0x87, %r9
andq %r11, %r9
xorq %r14, %r9
andnq %r14, %rax, %r12
xorq %rcx, %r12
xorq %rax, %r13
andnq %rax, %rcx, %rax
xorq %r11, %rax
rorxq $0x1, %rsi, %rcx
rorxq $0x6, %rsi, %r11
xorq %rcx, %r11
xorq %r13, %r9
xorq %rsi, %rax
xorq %rsi, %r11
rorxq $0x11, %rax, %rbx
xorq %rax, %rbx
rorxq $0xa, %rax, %rax
xorq %rax, %rbx
rorxq $0x3d, %r9, %r15
xorq %r9, %r15
rorxq $0x27, %r9, %rax
xorq %r12, %r13
xorq %rax, %r15
rorxq $0x29, %r12, %r14
xorq %r12, %r14
rorxq $0x7, %r12, %rax
xorq %rax, %r14
rorxq $0x1c, %r13, %r12
xorq %r13, %r12
rorxq $0x13, %r13, %rax
xorq %rax, %r12
notq %r11
addq $-0x10, %r8
addq $0x10, %rdx
addq $0x10, %r10
cmpq $0xf, %r8
ja 0x2549
testq %r8, %r8
je 0x2b09
movl $0x38, %r13d
xorl %r9d, %r9d
movzbl (%rdx,%r9), %eax
cmpq $0x7, %r9
ja 0x2ae0
shlxq %r13, %rax, %rax
xorq %rax, %r12
shrxq %r13, %r12, %rax
jmp 0x2af0
movl %r13d, %ecx
andb $-0x8, %cl
shlxq %rcx, %rax, %rax
xorq %rax, %r15
xorl %eax, %eax
movb %al, (%r10,%r9)
incq %r9
addq $-0x8, %r13
cmpq %r9, %r8
jne 0x2ac6
addq %r9, %r10
cmpq $0x7, %r8
ja 0x2b24
movq %r10, %r13
shll $0x3, %r8d
movb $0x38, %al
subb %r8b, %al
movl $0x80, %ecx
shlxq %rax, %rcx, %rax
xorq %rax, %r12
jmp 0x2b3d
movq %r10, %r13
shll $0x3, %r8d
movb $0x38, %al
subb %r8b, %al
movl $0x80, %ecx
shlxq %rax, %rcx, %rax
xorq %rax, %r15
xorq -0x28(%rsp), %r11
xorq -0x20(%rsp), %rbx
xorq %r14, %r12
movq %rbx, %rdx
xorq %r14, %rdx
xorq %r15, %r11
movq %r11, %rcx
xorq $0xf0, %rcx
andnq %r14, %rbx, %rax
xorq %rcx, %rax
andnq %rcx, %r15, %r8
xorq %r12, %r8
xorq $-0xf1, %r11
andq %rbx, %r11
xorq %r15, %r11
andnq %r15, %r12, %rcx
xorq %rdx, %rcx
andnq %r12, %rdx, %rsi
xorq %rbx, %rsi
xorq %r8, %r11
rorxq $0x27, %r11, %rdi
xorq %rax, %rsi
rorxq $0x11, %rsi, %rdx
xorq %rsi, %rdx
rorxq $0xa, %rsi, %rsi
xorq %rsi, %rdx
rorxq $0x3d, %r11, %r9
xorq %r11, %r9
rorxq $0x1, %rax, %r11
xorq %rcx, %r8
xorq %rdi, %r9
rorxq $0x29, %rcx, %r10
xorq %rcx, %r10
rorxq $0x7, %rcx, %rcx
xorq %rcx, %r10
rorxq $0x1c, %r8, %rcx
xorq %r8, %rcx
rorxq $0x13, %r8, %rsi
xorq %r10, %rsi
xorq %rcx, %rsi
rorxq $0x6, %rax, %r8
xorq %rax, %r8
movq %rdx, %rdi
xorq %r10, %rdi
xorq %r11, %r8
xorq %r9, %r8
movq %r8, %rcx
xorq $-0xe2, %rcx
andnq %r10, %rdx, %rax
xorq %rcx, %rax
andnq %rcx, %r9, %r10
xorq %rsi, %r10
xorq $0xe1, %r8
andq %rdx, %r8
xorq %r9, %r8
andnq %r9, %rsi, %rcx
xorq %rdi, %rcx
andnq %rsi, %rdi, %rsi
xorq %rdx, %rsi
xorq %r10, %r8
rorxq $0x27, %r8, %rdi
xorq %rax, %rsi
rorxq $0x11, %rsi, %rdx
xorq %rsi, %rdx
rorxq $0xa, %rsi, %rsi
xorq %rsi, %rdx
rorxq $0x3d, %r8, %r9
xorq %r8, %r9
rorxq $0x1, %rax, %rbx
xorq %rcx, %r10
xorq %rdi, %r9
rorxq $0x29, %rcx, %r11
xorq %rcx, %r11
rorxq $0x7, %rcx, %rcx
xorq %rcx, %r11
rorxq $0x1c, %r10, %rcx
xorq %r10, %rcx
rorxq $0x13, %r10, %rsi
xorq %r11, %rsi
xorq %rcx, %rsi
rorxq $0x6, %rax, %r8
xorq %rax, %r8
movq %rdx, %rdi
xorq %r11, %rdi
xorq %rbx, %r8
xorq %r9, %r8
movq %r8, %rcx
xorq $-0xd3, %rcx
andnq %r11, %rdx, %rax
xorq %rcx, %rax
andnq %rcx, %r9, %r10
xorq %rsi, %r10
xorq $0xd2, %r8
andq %rdx, %r8
xorq %r9, %r8
andnq %r9, %rsi, %rcx
xorq %rdi, %rcx
andnq %rsi, %rdi, %rsi
xorq %rdx, %rsi
xorq %r10, %r8
rorxq $0x27, %r8, %rdi
xorq %rax, %rsi
rorxq $0x11, %rsi, %rdx
xorq %rsi, %rdx
rorxq $0xa, %rsi, %rsi
xorq %rsi, %rdx
rorxq $0x3d, %r8, %r9
xorq %r8, %r9
rorxq $0x1, %rax, %rbx
xorq %rcx, %r10
xorq %rdi, %r9
rorxq $0x29, %rcx, %r11
xorq %rcx, %r11
rorxq $0x7, %rcx, %rcx
xorq %rcx, %r11
rorxq $0x1c, %r10, %rcx
xorq %r10, %rcx
rorxq $0x13, %r10, %rsi
xorq %r11, %rsi
xorq %rcx, %rsi
rorxq $0x6, %rax, %r8
xorq %rax, %r8
movq %rdx, %rdi
xorq %r11, %rdi
xorq %rbx, %r8
xorq %r9, %r8
movq %r8, %rcx
xorq $-0xc4, %rcx
andnq %r11, %rdx, %rax
xorq %rcx, %rax
andnq %rcx, %r9, %r10
xorq %rsi, %r10
xorq $0xc3, %r8
andq %rdx, %r8
xorq %r9, %r8
andnq %r9, %rsi, %rcx
xorq %rdi, %rcx
andnq %rsi, %rdi, %rsi
xorq %rdx, %rsi
xorq %r10, %r8
rorxq $0x27, %r8, %rdi
xorq %rax, %rsi
rorxq $0x11, %rsi, %rdx
xorq %rsi, %rdx
rorxq $0xa, %rsi, %rsi
xorq %rsi, %rdx
rorxq $0x3d, %r8, %r9
xorq %r8, %r9
rorxq $0x1, %rax, %rbx
xorq %rcx, %r10
xorq %rdi, %r9
rorxq $0x29, %rcx, %r11
xorq %rcx, %r11
rorxq $0x7, %rcx, %rcx
xorq %rcx, %r11
rorxq $0x1c, %r10, %rcx
xorq %r10, %rcx
rorxq $0x13, %r10, %rsi
xorq %r11, %rsi
xorq %rcx, %rsi
rorxq $0x6, %rax, %r8
xorq %rax, %r8
movq %rdx, %rdi
xorq %r11, %rdi
xorq %rbx, %r8
xorq %r9, %r8
movq %r8, %rcx
xorq $-0xb5, %rcx
andnq %r11, %rdx, %rax
xorq %rcx, %rax
andnq %rcx, %r9, %r10
xorq %rsi, %r10
xorq $0xb4, %r8
andq %rdx, %r8
xorq %r9, %r8
andnq %r9, %rsi, %rcx
xorq %rdi, %rcx
andnq %rsi, %rdi, %rsi
xorq %rdx, %rsi
xorq %r10, %r8
rorxq $0x27, %r8, %rdi
xorq %rax, %rsi
rorxq $0x11, %rsi, %rdx
xorq %rsi, %rdx
rorxq $0xa, %rsi, %rsi
xorq %rsi, %rdx
rorxq $0x3d, %r8, %r9
xorq %r8, %r9
rorxq $0x1, %rax, %rbx
xorq %rcx, %r10
xorq %rdi, %r9
rorxq $0x29, %rcx, %r11
xorq %rcx, %r11
rorxq $0x7, %rcx, %rcx
xorq %rcx, %r11
rorxq $0x1c, %r10, %rcx
xorq %r10, %rcx
rorxq $0x13, %r10, %rsi
xorq %r11, %rsi
xorq %rcx, %rsi
rorxq $0x6, %rax, %r8
xorq %rax, %r8
movq %rdx, %rdi
xorq %r11, %rdi
xorq %rbx, %r8
xorq %r9, %r8
movq %r8, %rcx
xorq $-0xa6, %rcx
andnq %r11, %rdx, %rax
xorq %rcx, %rax
andnq %rcx, %r9, %r10
xorq %rsi, %r10
xorq $0xa5, %r8
andq %rdx, %r8
xorq %r9, %r8
andnq %r9, %rsi, %rcx
xorq %rdi, %rcx
andnq %rsi, %rdi, %rsi
xorq %rdx, %rsi
xorq %r10, %r8
rorxq $0x27, %r8, %rdi
xorq %rax, %rsi
rorxq $0x11, %rsi, %rdx
xorq %rsi, %rdx
rorxq $0xa, %rsi, %rsi
xorq %rsi, %rdx
rorxq $0x3d, %r8, %r9
xorq %r8, %r9
rorxq $0x1, %rax, %rbx
xorq %rcx, %r10
xorq %rdi, %r9
rorxq $0x29, %rcx, %r11
xorq %rcx, %r11
rorxq $0x7, %rcx, %rcx
xorq %rcx, %r11
rorxq $0x1c, %r10, %rcx
xorq %r10, %rcx
rorxq $0x13, %r10, %rsi
xorq %r11, %rsi
xorq %rcx, %rsi
rorxq $0x6, %rax, %r8
xorq %rax, %r8
movq %rdx, %rdi
xorq %r11, %rdi
xorq %rbx, %r8
xorq %r9, %r8
movq %r8, %rcx
xorq $-0x97, %rcx
andnq %r11, %rdx, %rax
xorq %rcx, %rax
andnq %rcx, %r9, %r10
xorq %rsi, %r10
xorq $0x96, %r8
andq %rdx, %r8
xorq %r9, %r8
andnq %r9, %rsi, %rcx
xorq %rdi, %rcx
andnq %rsi, %rdi, %rsi
xorq %rdx, %rsi
xorq %r10, %r8
rorxq $0x27, %r8, %rdi
xorq %rax, %rsi
rorxq $0x11, %rsi, %rdx
xorq %rsi, %rdx
rorxq $0xa, %rsi, %rsi
xorq %rsi, %rdx
rorxq $0x3d, %r8, %r9
xorq %r8, %r9
rorxq $0x1, %rax, %rbx
xorq %rcx, %r10
xorq %rdi, %r9
rorxq $0x29, %rcx, %r11
xorq %rcx, %r11
rorxq $0x7, %rcx, %rcx
xorq %rcx, %r11
rorxq $0x1c, %r10, %rcx
xorq %r10, %rcx
rorxq $0x13, %r10, %rsi
xorq %r11, %rsi
xorq %rcx, %rsi
rorxq $0x6, %rax, %r8
xorq %rax, %r8
movq %rdx, %rdi
xorq %r11, %rdi
xorq %rbx, %r8
xorq %r9, %r8
movq %r8, %rcx
xorq $-0x88, %rcx
andnq %r11, %rdx, %rax
xorq %rcx, %rax
andnq %rcx, %r9, %r10
xorq %rsi, %r10
xorq $0x87, %r8
andq %rdx, %r8
xorq %r9, %r8
andnq %r9, %rsi, %rcx
xorq %rdi, %rcx
andnq %rsi, %rdi, %rsi
xorq %rdx, %rsi
xorq %r10, %r8
rorxq $0x27, %r8, %rdi
xorq %rax, %rsi
rorxq $0x11, %rsi, %rdx
xorq %rsi, %rdx
rorxq $0xa, %rsi, %rsi
xorq %rsi, %rdx
rorxq $0x3d, %r8, %r9
xorq %r8, %r9
rorxq $0x1, %rax, %rbx
xorq %rcx, %r10
xorq %rdi, %r9
rorxq $0x29, %rcx, %r11
xorq %rcx, %r11
rorxq $0x7, %rcx, %rcx
xorq %rcx, %r11
rorxq $0x1c, %r10, %rcx
xorq %r10, %rcx
rorxq $0x13, %r10, %rsi
xorq %r11, %rsi
xorq %rcx, %rsi
rorxq $0x6, %rax, %r8
xorq %rax, %r8
movq %rdx, %rdi
xorq %r11, %rdi
xorq %rbx, %r8
xorq %r9, %r8
movq %r8, %rcx
xorq $-0x79, %rcx
andnq %r11, %rdx, %rax
xorq %rcx, %rax
andnq %rcx, %r9, %r10
xorq %rsi, %r10
xorq $0x78, %r8
andq %rdx, %r8
xorq %r9, %r8
andnq %r9, %rsi, %rcx
xorq %rdi, %rcx
andnq %rsi, %rdi, %rsi
xorq %rdx, %rsi
xorq %r10, %r8
rorxq $0x27, %r8, %rdi
xorq %rax, %rsi
rorxq $0x11, %rsi, %rdx
xorq %rsi, %rdx
rorxq $0xa, %rsi, %rsi
xorq %rsi, %rdx
rorxq $0x3d, %r8, %r9
xorq %r8, %r9
rorxq $0x1, %rax, %rbx
xorq %rcx, %r10
xorq %rdi, %r9
rorxq $0x29, %rcx, %r11
xorq %rcx, %r11
rorxq $0x7, %rcx, %rcx
xorq %rcx, %r11
rorxq $0x1c, %r10, %rcx
xorq %r10, %rcx
rorxq $0x13, %r10, %rsi
xorq %r11, %rsi
xorq %rcx, %rsi
rorxq $0x6, %rax, %r8
xorq %rax, %r8
movq %rdx, %rdi
xorq %r11, %rdi
xorq %rbx, %r8
xorq %r9, %r8
movq %r8, %rcx
xorq $-0x6a, %rcx
andnq %r11, %rdx, %rax
xorq %rcx, %rax
andnq %rcx, %r9, %r10
xorq %rsi, %r10
xorq $0x69, %r8
andq %rdx, %r8
xorq %r9, %r8
andnq %r9, %rsi, %rcx
xorq %rdi, %rcx
andnq %rsi, %rdi, %rsi
xorq %rdx, %rsi
xorq %r10, %r8
rorxq $0x27, %r8, %rdi
xorq %rax, %rsi
rorxq $0x11, %rsi, %rdx
xorq %rsi, %rdx
rorxq $0xa, %rsi, %rsi
xorq %rsi, %rdx
rorxq $0x3d, %r8, %r9
xorq %r8, %r9
rorxq $0x1, %rax, %rbx
xorq %rcx, %r10
xorq %rdi, %r9
rorxq $0x29, %rcx, %r11
xorq %rcx, %r11
rorxq $0x7, %rcx, %rcx
xorq %rcx, %r11
rorxq $0x1c, %r10, %rcx
xorq %r10, %rcx
rorxq $0x13, %r10, %rsi
xorq %r11, %rsi
xorq %rcx, %rsi
rorxq $0x6, %rax, %r8
xorq %rax, %r8
movq %rdx, %rdi
xorq %r11, %rdi
xorq %rbx, %r8
xorq %r9, %r8
movq %r8, %rcx
xorq $-0x5b, %rcx
andnq %r11, %rdx, %rax
xorq %rcx, %rax
andnq %rcx, %r9, %r10
xorq %rsi, %r10
xorq $0x5a, %r8
andq %rdx, %r8
xorq %r9, %r8
andnq %r9, %rsi, %rcx
xorq %rdi, %rcx
andnq %rsi, %rdi, %rsi
xorq %rdx, %rsi
xorq %r10, %r8
rorxq $0x27, %r8, %rdi
xorq %rax, %rsi
rorxq $0x11, %rsi, %rdx
xorq %rsi, %rdx
rorxq $0xa, %rsi, %rsi
xorq %rsi, %rdx
rorxq $0x3d, %r8, %rsi
xorq %r8, %rsi
rorxq $0x6, %rax, %r9
xorq %rcx, %r10
xorq %rdi, %rsi
rorxq $0x29, %rcx, %r8
xorq %rcx, %r8
rorxq $0x7, %rcx, %rcx
xorq %rcx, %r8
rorxq $0x1c, %r10, %rcx
xorq %r10, %rcx
rorxq $0x13, %r10, %rdi
xorq %r8, %rdi
xorq %rcx, %rdi
andnq %r8, %rdx, %rcx
xorq %r9, %rcx
xorq %rdx, %r8
andnq %rdi, %r8, %r9
xorq %rcx, %r9
rorxq $0x1, %rax, %rcx
xorq %rax, %rcx
xorq %rdx, %rcx
andnq %rsi, %rdi, %rax
xorq %rsi, %rcx
xorq %r9, %rcx
vmovq %rcx, %xmm1
vmovq %r8, %xmm2
vpmovsxbq 0x2df9(%rip), %xmm3 # 0x6084
vpinsrq $0x1, %rax, %xmm3, %xmm3
vpunpcklqdq %xmm2, %xmm1, %xmm1 # xmm1 = xmm1[0],xmm2[0]
vpxor %xmm3, %xmm1, %xmm1
vprolvq 0x2d7d(%rip), %xmm1, %xmm2 # 0x6020
vprolvq 0x2d83(%rip), %xmm1, %xmm3 # 0x6030
vpxor %xmm3, %xmm0, %xmm0
vpternlogq $0x96, %xmm1, %xmm2, %xmm0
vpshufb 0x2d3f(%rip), %xmm0, %xmm0 # 0x6000
vmovdqu %xmm0, (%r13)
movq -0x30(%rsp), %rax
addq $0x10, %rax
movq -0x10(%rsp), %rcx
movq %rax, (%rcx)
xorl %eax, %eax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
vzeroupper
retq