// File: /workspace/github_c_makefile_star2_O0/TomCrypto[P]avxfish/include/avxfish.h
// Function: threefish1024_key_schedule
void threefish1024_key_schedule(const void *key, const void *tweak, uint64_t * subkeys) {
  uint64_t tweak_w[3];
  uint64_t key_w[17];

  memcpy(key_w, key, 16 * sizeof(uint64_t));
  memcpy(tweak_w, tweak, 2 * sizeof(uint64_t));

  key_w[16] = key_w[0] ^ key_w[1] ^ key_w[2] ^ key_w[3] ^ key_w[4] ^ key_w[5]
            ^ key_w[6] ^ key_w[7] ^ key_w[8] ^ key_w[9] ^ key_w[10] ^ key_w[11]
            ^ key_w[12] ^ key_w[13] ^ key_w[14] ^ key_w[15] ^ K_S;
  tweak_w[2] = tweak_w[0] ^ tweak_w[1];

  subkey( 0,  0,  1,  2,  3,  4,  5,  6,  7,  8,  9, 10, 11, 12, 13, 14, 15, 0, 1);
  subkey( 1,  1,  2,  3,  4,  5,  6,  7,  8,  9, 10, 11, 12, 13, 14, 15, 16, 1, 2);
  subkey( 2,  2,  3,  4,  5,  6,  7,  8,  9, 10, 11, 12, 13, 14, 15, 16,  0, 2, 0);
  subkey( 3,  3,  4,  5,  6,  7,  8,  9, 10, 11, 12, 13, 14, 15, 16,  0,  1, 0, 1);
  subkey( 4,  4,  5,  6,  7,  8,  9, 10, 11, 12, 13, 14, 15, 16,  0,  1,  2, 1, 2);
  subkey( 5,  5,  6,  7,  8,  9, 10, 11, 12, 13, 14, 15, 16,  0,  1,  2,  3, 2, 0);
  subkey( 6,  6,  7,  8,  9, 10, 11, 12, 13, 14, 15, 16,  0,  1,  2,  3,  4, 0, 1);
  subkey( 7,  7,  8,  9, 10, 11, 12, 13, 14, 15, 16,  0,  1,  2,  3,  4,  5, 1, 2);
  subkey( 8,  8,  9, 10, 11, 12, 13, 14, 15, 16,  0,  1,  2,  3,  4,  5,  6, 2, 0);
  subkey( 9,  9, 10, 11, 12, 13, 14, 15, 16,  0,  1,  2,  3,  4,  5,  6,  7, 0, 1);
  subkey(10, 10, 11, 12, 13, 14, 15, 16,  0,  1,  2,  3,  4,  5,  6,  7,  8, 1, 2);
  subkey(11, 11, 12, 13, 14, 15, 16,  0,  1,  2,  3,  4,  5,  6,  7,  8,  9, 2, 0);
  subkey(12, 12, 13, 14, 15, 16,  0,  1,  2,  3,  4,  5,  6,  7,  8,  9, 10, 0, 1);
  subkey(13, 13, 14, 15, 16,  0,  1,  2,  3,  4,  5,  6,  7,  8,  9, 10, 11, 1, 2);
  subkey(14, 14, 15, 16,  0,  1,  2,  3,  4,  5,  6,  7,  8,  9, 10, 11, 12, 2, 0);
  subkey(15, 15, 16,  0,  1,  2,  3,  4,  5,  6,  7,  8,  9, 10, 11, 12, 13, 0, 1);
  subkey(16, 16,  0,  1,  2,  3,  4,  5,  6,  7,  8,  9, 10, 11, 12, 13, 14, 1, 2);
  subkey(17,  0,  1,  2,  3,  4,  5,  6,  7,  8,  9, 10, 11, 12, 13, 14, 15, 2, 0);
  subkey(18,  1,  2,  3,  4,  5,  6,  7,  8,  9, 10, 11, 12, 13, 14, 15, 16, 0, 1);
  subkey(19,  2,  3,  4,  5,  6,  7,  8,  9, 10, 11, 12, 13, 14, 15, 16,  0, 1, 2);
  subkey(20,  3,  4,  5,  6,  7,  8,  9, 10, 11, 12, 13, 14, 15, 16,  0,  1, 2, 0);

  // Vectorize all subkeys except the last one, by applying:
  // (0, 2, 4, 6, 8, 10, 12, 14, 1, 3, 5, 7, 9, 11, 13, 15)

  for (int i = 0; i < 20; ++i) {
    uint64_t tmp[16];

    tmp[0] = subkeys[16 * i + 0];
    tmp[1] = subkeys[16 * i + 2];
    tmp[2] = subkeys[16 * i + 4];
    tmp[3] = subkeys[16 * i + 6];
    tmp[4] = subkeys[16 * i + 8];
    tmp[5] = subkeys[16 * i + 10];
    tmp[6] = subkeys[16 * i + 12];
    tmp[7] = subkeys[16 * i + 14];
    tmp[8] = subkeys[16 * i + 1];
    tmp[9] = subkeys[16 * i + 3];
    tmp[10] = subkeys[16 * i + 5];
    tmp[11] = subkeys[16 * i + 7];
    tmp[12] = subkeys[16 * i + 9];
    tmp[13] = subkeys[16 * i + 11];
    tmp[14] = subkeys[16 * i + 13];
    tmp[15] = subkeys[16 * i + 15];

    memcpy(&subkeys[16 * i], tmp, sizeof(tmp));
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x150, %rsp            # imm = 0x150
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
leaq -0xc0(%rbp), %rdi
movq -0x8(%rbp), %rsi
movl $0x80, %edx
callq 0x401040
movq -0x10(%rbp), %rax
movq (%rax), %rcx
movq %rcx, -0x30(%rbp)
movq 0x8(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0xc0(%rbp), %rax
xorq -0xb8(%rbp), %rax
xorq -0xb0(%rbp), %rax
xorq -0xa8(%rbp), %rax
xorq -0xa0(%rbp), %rax
xorq -0x98(%rbp), %rax
xorq -0x90(%rbp), %rax
xorq -0x88(%rbp), %rax
xorq -0x80(%rbp), %rax
xorq -0x78(%rbp), %rax
xorq -0x70(%rbp), %rax
xorq -0x68(%rbp), %rax
xorq -0x60(%rbp), %rax
xorq -0x58(%rbp), %rax
xorq -0x50(%rbp), %rax
xorq -0x48(%rbp), %rax
movabsq $0x1bd11bdaa9fc1a22, %rcx # imm = 0x1BD11BDAA9FC1A22
xorq %rcx, %rax
movq %rax, -0x40(%rbp)
movq -0x30(%rbp), %rax
xorq -0x28(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x18(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x20(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x30(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x38(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x40(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x48(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x50(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x58(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x60(%rax)
movq -0x58(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x68(%rax)
movq -0x50(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x70(%rax)
movq -0x48(%rbp), %rcx
addq $0x0, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x78(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x80(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x88(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x90(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x98(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa0(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa8(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xb0(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xb8(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xc0(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xc8(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xd0(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xd8(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xe0(%rax)
movq -0x50(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xe8(%rax)
movq -0x48(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xf0(%rax)
movq -0x40(%rbp), %rcx
addq $0x1, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xf8(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x100(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x108(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x110(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x118(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x120(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x128(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x130(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x138(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x140(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x148(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x150(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x158(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x160(%rax)
movq -0x48(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x168(%rax)
movq -0x40(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x170(%rax)
movq -0xc0(%rbp), %rcx
addq $0x2, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x178(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x180(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x188(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x190(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x198(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x1a0(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x1a8(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x1b0(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x1b8(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x1c0(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x1c8(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x1d0(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x1d8(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x1e0(%rax)
movq -0x40(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x1e8(%rax)
movq -0xc0(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x1f0(%rax)
movq -0xb8(%rbp), %rcx
addq $0x3, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x1f8(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x200(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x208(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x210(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x218(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x220(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x228(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x230(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x238(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x240(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x248(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x250(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x258(%rax)
movq -0x40(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x260(%rax)
movq -0xc0(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x268(%rax)
movq -0xb8(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x270(%rax)
movq -0xb0(%rbp), %rcx
addq $0x4, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x278(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x280(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x288(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x290(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x298(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x2a0(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x2a8(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x2b0(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x2b8(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x2c0(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x2c8(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x2d0(%rax)
movq -0x40(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x2d8(%rax)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x2e0(%rax)
movq -0xb8(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x2e8(%rax)
movq -0xb0(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x2f0(%rax)
movq -0xa8(%rbp), %rcx
addq $0x5, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x2f8(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x300(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x308(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x310(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x318(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x320(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x328(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x330(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x338(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x340(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x348(%rax)
movq -0x40(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x350(%rax)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x358(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x360(%rax)
movq -0xb0(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x368(%rax)
movq -0xa8(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x370(%rax)
movq -0xa0(%rbp), %rcx
addq $0x6, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x378(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x380(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x388(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x390(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x398(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x3a0(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x3a8(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x3b0(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x3b8(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x3c0(%rax)
movq -0x40(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x3c8(%rax)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x3d0(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x3d8(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x3e0(%rax)
movq -0xa8(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x3e8(%rax)
movq -0xa0(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x3f0(%rax)
movq -0x98(%rbp), %rcx
addq $0x7, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x3f8(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x400(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x408(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x410(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x418(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x420(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x428(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x430(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x438(%rax)
movq -0x40(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x440(%rax)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x448(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x450(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x458(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x460(%rax)
movq -0xa0(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x468(%rax)
movq -0x98(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x470(%rax)
movq -0x90(%rbp), %rcx
addq $0x8, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x478(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x480(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x488(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x490(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x498(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x4a0(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x4a8(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x4b0(%rax)
movq -0x40(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x4b8(%rax)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x4c0(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x4c8(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x4d0(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x4d8(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x4e0(%rax)
movq -0x98(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x4e8(%rax)
movq -0x90(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x4f0(%rax)
movq -0x88(%rbp), %rcx
addq $0x9, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x4f8(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x500(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x508(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x510(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x518(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x520(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x528(%rax)
movq -0x40(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x530(%rax)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x538(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x540(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x548(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x550(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x558(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x560(%rax)
movq -0x90(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x568(%rax)
movq -0x88(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x570(%rax)
movq -0x80(%rbp), %rcx
addq $0xa, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x578(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x580(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x588(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x590(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x598(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x5a0(%rax)
movq -0x40(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x5a8(%rax)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x5b0(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x5b8(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x5c0(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x5c8(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x5d0(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x5d8(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x5e0(%rax)
movq -0x88(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x5e8(%rax)
movq -0x80(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x5f0(%rax)
movq -0x78(%rbp), %rcx
addq $0xb, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x5f8(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x600(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x608(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x610(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x618(%rax)
movq -0x40(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x620(%rax)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x628(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x630(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x638(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x640(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x648(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x650(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x658(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x660(%rax)
movq -0x80(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x668(%rax)
movq -0x78(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x670(%rax)
movq -0x70(%rbp), %rcx
addq $0xc, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x678(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x680(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x688(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x690(%rax)
movq -0x40(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x698(%rax)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x6a0(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x6a8(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x6b0(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x6b8(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x6c0(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x6c8(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x6d0(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x6d8(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x6e0(%rax)
movq -0x78(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x6e8(%rax)
movq -0x70(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x6f0(%rax)
movq -0x68(%rbp), %rcx
addq $0xd, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x6f8(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x700(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x708(%rax)
movq -0x40(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x710(%rax)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x718(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x720(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x728(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x730(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x738(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x740(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x748(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x750(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x758(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x760(%rax)
movq -0x70(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x768(%rax)
movq -0x68(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x770(%rax)
movq -0x60(%rbp), %rcx
addq $0xe, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x778(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x780(%rax)
movq -0x40(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x788(%rax)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x790(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x798(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x7a0(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x7a8(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x7b0(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x7b8(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x7c0(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x7c8(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x7d0(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x7d8(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x7e0(%rax)
movq -0x68(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x7e8(%rax)
movq -0x60(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x7f0(%rax)
movq -0x58(%rbp), %rcx
addq $0xf, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x7f8(%rax)
movq -0x40(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x800(%rax)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x808(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x810(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x818(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x820(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x828(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x830(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x838(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x840(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x848(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x850(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x858(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x860(%rax)
movq -0x60(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x868(%rax)
movq -0x58(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x870(%rax)
movq -0x50(%rbp), %rcx
addq $0x10, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x878(%rax)
movq -0xc0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x880(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x888(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x890(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x898(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8a0(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8a8(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8b0(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8b8(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8c0(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8c8(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8d0(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8d8(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8e0(%rax)
movq -0x58(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8e8(%rax)
movq -0x50(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8f0(%rax)
movq -0x48(%rbp), %rcx
addq $0x11, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x8f8(%rax)
movq -0xb8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x900(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x908(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x910(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x918(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x920(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x928(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x930(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x938(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x940(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x948(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x950(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x958(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x960(%rax)
movq -0x50(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x968(%rax)
movq -0x48(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x970(%rax)
movq -0x40(%rbp), %rcx
addq $0x12, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x978(%rax)
movq -0xb0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x980(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x988(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x990(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x998(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x9a0(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x9a8(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x9b0(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x9b8(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x9c0(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x9c8(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x9d0(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x9d8(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x9e0(%rax)
movq -0x48(%rbp), %rcx
addq -0x28(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x9e8(%rax)
movq -0x40(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x9f0(%rax)
movq -0xc0(%rbp), %rcx
addq $0x13, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0x9f8(%rax)
movq -0xa8(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa00(%rax)
movq -0xa0(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa08(%rax)
movq -0x98(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa10(%rax)
movq -0x90(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa18(%rax)
movq -0x88(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa20(%rax)
movq -0x80(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa28(%rax)
movq -0x78(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa30(%rax)
movq -0x70(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa38(%rax)
movq -0x68(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa40(%rax)
movq -0x60(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa48(%rax)
movq -0x58(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa50(%rax)
movq -0x50(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa58(%rax)
movq -0x48(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa60(%rax)
movq -0x40(%rbp), %rcx
addq -0x20(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa68(%rax)
movq -0xc0(%rbp), %rcx
addq -0x30(%rbp), %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa70(%rax)
movq -0xb8(%rbp), %rcx
addq $0x14, %rcx
movq -0x18(%rbp), %rax
movq %rcx, 0xa78(%rax)
movl $0x0, -0xc4(%rbp)
cmpl $0x14, -0xc4(%rbp)
jge 0x403ef8
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0x0, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x150(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0x2, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x148(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0x4, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x140(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0x6, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x138(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0x8, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x130(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0xa, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x128(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0xc, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x120(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0xe, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x118(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x110(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0x3, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x108(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0x5, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x100(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0x7, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0xf8(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0x9, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0xf0(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0xb, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0xe8(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0xd, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0xe0(%rbp)
movq -0x18(%rbp), %rax
movl -0xc4(%rbp), %ecx
shll $0x4, %ecx
addl $0xf, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0xd8(%rbp)
movq -0x18(%rbp), %rdi
movl -0xc4(%rbp), %eax
shll $0x4, %eax
cltq
shlq $0x3, %rax
addq %rax, %rdi
leaq -0x150(%rbp), %rsi
movl $0x80, %edx
callq 0x401040
movl -0xc4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xc4(%rbp)
jmp 0x403cd0
addq $0x150, %rsp            # imm = 0x150
popq %rbp
retq
nopw %cs:(%rax,%rax)