// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/stribob192r2/smaller/wbob_smaller_pi.c
// Function: wbob_pi
void wbob_pi(w512_t *s512)
{
    int i;
    uint64_t k[8], l[8];

    // load block
    for (i = 0; i < 8; i++)
        k[i] = s512->q[i];

    for (i = 0; i < 12; i++) {

        l[0] =  WBOB_SM0(k[0]) ^    WBOB_SM(1, k[7]) ^
                WBOB_SM(2, k[6]) ^  WBOB_SM(3, k[5]) ^
                WBOB_SM(4, k[4]) ^  WBOB_SM(5, k[3]) ^
                WBOB_SM(6, k[2]) ^  WBOB_SM(7, k[1]) ^ wbob_rc[i];

        l[1] =  WBOB_SM0(k[1]) ^    WBOB_SM(1, k[0]) ^
                WBOB_SM(2, k[7]) ^  WBOB_SM(3, k[6]) ^
                WBOB_SM(4, k[5]) ^  WBOB_SM(5, k[4]) ^
                WBOB_SM(6, k[3]) ^  WBOB_SM(7, k[2]);

        l[2] =  WBOB_SM0(k[2]) ^    WBOB_SM(1, k[1]) ^
                WBOB_SM(2, k[0]) ^  WBOB_SM(3, k[7]) ^
                WBOB_SM(4, k[6]) ^  WBOB_SM(5, k[5]) ^
                WBOB_SM(6, k[4]) ^  WBOB_SM(7, k[3]);

        l[3] =  WBOB_SM0(k[3]) ^    WBOB_SM(1, k[2]) ^
                WBOB_SM(2, k[1]) ^  WBOB_SM(3, k[0]) ^
                WBOB_SM(4, k[7]) ^  WBOB_SM(5, k[6]) ^
                WBOB_SM(6, k[5]) ^  WBOB_SM(7, k[4]);

        l[4] =  WBOB_SM0(k[4]) ^    WBOB_SM(1, k[3]) ^
                WBOB_SM(2, k[2]) ^  WBOB_SM(3, k[1]) ^
                WBOB_SM(4, k[0]) ^  WBOB_SM(5, k[7]) ^
                WBOB_SM(6, k[6]) ^  WBOB_SM(7, k[5]);

        l[5] =  WBOB_SM0(k[5]) ^    WBOB_SM(1, k[4]) ^
                WBOB_SM(2, k[3]) ^  WBOB_SM(3, k[2]) ^
                WBOB_SM(4, k[1]) ^  WBOB_SM(5, k[0]) ^
                WBOB_SM(6, k[7]) ^  WBOB_SM(7, k[6]);

        l[6] =  WBOB_SM0(k[6]) ^    WBOB_SM(1, k[5]) ^
                WBOB_SM(2, k[4]) ^  WBOB_SM(3, k[3]) ^
                WBOB_SM(4, k[2]) ^  WBOB_SM(5, k[1]) ^
                WBOB_SM(6, k[0]) ^  WBOB_SM(7, k[7]);

        l[7] =  WBOB_SM0(k[7]) ^    WBOB_SM(1, k[6]) ^
                WBOB_SM(2, k[5]) ^  WBOB_SM(3, k[4]) ^
                WBOB_SM(4, k[3]) ^  WBOB_SM(5, k[2]) ^
                WBOB_SM(6, k[1]) ^  WBOB_SM(7, k[0]);

        if (i < 11) {
            k[0] = l[0];
            k[1] = l[1];
            k[2] = l[2];
            k[3] = l[3];
            k[4] = l[4];
            k[5] = l[5];
            k[6] = l[6];
            k[7] = l[7];
        }
    }

    for (i = 0; i < 8; i++)
        s512->q[i] = l[i];
}

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x10(%rsp)
movl $0x0, 0xc(%rsp)
cmpl $0x8, 0xc(%rsp)
jge 0x196d
movq 0x10(%rsp), %rax
movslq 0xc(%rsp), %rcx
movq (%rax,%rcx,8), %rcx
movslq 0xc(%rsp), %rax
movq %rcx, -0x40(%rsp,%rax,8)
movl 0xc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xc(%rsp)
jmp 0x1941
movl $0x0, 0xc(%rsp)
cmpl $0xc, 0xc(%rsp)
jge 0x29b9
movq -0x40(%rsp), %rcx
andq $0xff, %rcx
leaq 0x166d(%rip), %rax      # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x8(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0x1652(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movq -0x8(%rsp), %rsi
shrq $0x8, %rsi
andq $0xff, %rsi
leaq 0x1633(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x38, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x10(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0x160e(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x10, %rcx
movq -0x10(%rsp), %rsi
shrq $0x10, %rsi
andq $0xff, %rsi
leaq 0x15ef(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x30, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x18(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0x15ca(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x18, %rcx
movq -0x18(%rsp), %rsi
shrq $0x18, %rsi
andq $0xff, %rsi
leaq 0x15ab(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x28, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x20(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0x1586(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x20, %rcx
movq -0x20(%rsp), %rsi
shrq $0x20, %rsi
andq $0xff, %rsi
leaq 0x1567(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x20, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x28(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0x1542(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x28, %rcx
movq -0x28(%rsp), %rsi
shrq $0x28, %rsi
andq $0xff, %rsi
leaq 0x1523(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x30(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0x14fe(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x30, %rcx
movq -0x30(%rsp), %rsi
shrq $0x30, %rsi
andq $0xff, %rsi
leaq 0x14df(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x10, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x38(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0x14ba(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x38, %rcx
movq -0x38(%rsp), %rsi
shrq $0x38, %rsi
andq $0xff, %rsi
leaq 0x149b(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x8, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movslq 0xc(%rsp), %rdx
leaq 0x1c81(%rip), %rcx      # 0x3800
xorq (%rcx,%rdx,8), %rax
movq %rax, -0x80(%rsp)
movq -0x38(%rsp), %rcx
andq $0xff, %rcx
leaq 0x1465(%rip), %rax      # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x40(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0x144a(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movq -0x40(%rsp), %rsi
shrq $0x8, %rsi
andq $0xff, %rsi
leaq 0x142b(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x38, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x8(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0x1406(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x10, %rcx
movq -0x8(%rsp), %rsi
shrq $0x10, %rsi
andq $0xff, %rsi
leaq 0x13e7(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x30, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x10(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0x13c2(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x18, %rcx
movq -0x10(%rsp), %rsi
shrq $0x18, %rsi
andq $0xff, %rsi
leaq 0x13a3(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x28, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x18(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0x137e(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x20, %rcx
movq -0x18(%rsp), %rsi
shrq $0x20, %rsi
andq $0xff, %rsi
leaq 0x135f(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x20, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x20(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0x133a(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x28, %rcx
movq -0x20(%rsp), %rsi
shrq $0x28, %rsi
andq $0xff, %rsi
leaq 0x131b(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x28(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0x12f6(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x30, %rcx
movq -0x28(%rsp), %rsi
shrq $0x30, %rsi
andq $0xff, %rsi
leaq 0x12d7(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x10, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x30(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0x12b2(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x38, %rcx
movq -0x30(%rsp), %rsi
shrq $0x38, %rsi
andq $0xff, %rsi
leaq 0x1293(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x8, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq %rax, -0x78(%rsp)
movq -0x30(%rsp), %rcx
andq $0xff, %rcx
leaq 0x126d(%rip), %rax      # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x38(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0x1252(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movq -0x38(%rsp), %rsi
shrq $0x8, %rsi
andq $0xff, %rsi
leaq 0x1233(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x38, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x40(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0x120e(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x10, %rcx
movq -0x40(%rsp), %rsi
shrq $0x10, %rsi
andq $0xff, %rsi
leaq 0x11ef(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x30, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x8(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0x11ca(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x18, %rcx
movq -0x8(%rsp), %rsi
shrq $0x18, %rsi
andq $0xff, %rsi
leaq 0x11ab(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x28, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x10(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0x1186(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x20, %rcx
movq -0x10(%rsp), %rsi
shrq $0x20, %rsi
andq $0xff, %rsi
leaq 0x1167(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x20, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x18(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0x1142(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x28, %rcx
movq -0x18(%rsp), %rsi
shrq $0x28, %rsi
andq $0xff, %rsi
leaq 0x1123(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x20(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0x10fe(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x30, %rcx
movq -0x20(%rsp), %rsi
shrq $0x30, %rsi
andq $0xff, %rsi
leaq 0x10df(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x10, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x28(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0x10ba(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x38, %rcx
movq -0x28(%rsp), %rsi
shrq $0x38, %rsi
andq $0xff, %rsi
leaq 0x109b(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x8, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq %rax, -0x70(%rsp)
movq -0x28(%rsp), %rcx
andq $0xff, %rcx
leaq 0x1075(%rip), %rax      # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x30(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0x105a(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movq -0x30(%rsp), %rsi
shrq $0x8, %rsi
andq $0xff, %rsi
leaq 0x103b(%rip), %rdx      # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x38, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x38(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0x1016(%rip), %rcx      # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x10, %rcx
movq -0x38(%rsp), %rsi
shrq $0x10, %rsi
andq $0xff, %rsi
leaq 0xff7(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x30, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x40(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0xfd2(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x18, %rcx
movq -0x40(%rsp), %rsi
shrq $0x18, %rsi
andq $0xff, %rsi
leaq 0xfb3(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x28, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x8(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0xf8e(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x20, %rcx
movq -0x8(%rsp), %rsi
shrq $0x20, %rsi
andq $0xff, %rsi
leaq 0xf6f(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x20, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x10(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0xf4a(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x28, %rcx
movq -0x10(%rsp), %rsi
shrq $0x28, %rsi
andq $0xff, %rsi
leaq 0xf2b(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x18(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0xf06(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x30, %rcx
movq -0x18(%rsp), %rsi
shrq $0x30, %rsi
andq $0xff, %rsi
leaq 0xee7(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x10, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x20(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0xec2(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x38, %rcx
movq -0x20(%rsp), %rsi
shrq $0x38, %rsi
andq $0xff, %rsi
leaq 0xea3(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x8, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq %rax, -0x68(%rsp)
movq -0x20(%rsp), %rcx
andq $0xff, %rcx
leaq 0xe7d(%rip), %rax       # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x28(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0xe62(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movq -0x28(%rsp), %rsi
shrq $0x8, %rsi
andq $0xff, %rsi
leaq 0xe43(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x38, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x30(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0xe1e(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x10, %rcx
movq -0x30(%rsp), %rsi
shrq $0x10, %rsi
andq $0xff, %rsi
leaq 0xdff(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x30, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x38(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0xdda(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x18, %rcx
movq -0x38(%rsp), %rsi
shrq $0x18, %rsi
andq $0xff, %rsi
leaq 0xdbb(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x28, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x40(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0xd96(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x20, %rcx
movq -0x40(%rsp), %rsi
shrq $0x20, %rsi
andq $0xff, %rsi
leaq 0xd77(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x20, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x8(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0xd52(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x28, %rcx
movq -0x8(%rsp), %rsi
shrq $0x28, %rsi
andq $0xff, %rsi
leaq 0xd33(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x10(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0xd0e(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x30, %rcx
movq -0x10(%rsp), %rsi
shrq $0x30, %rsi
andq $0xff, %rsi
leaq 0xcef(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x10, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x18(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0xcca(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x38, %rcx
movq -0x18(%rsp), %rsi
shrq $0x38, %rsi
andq $0xff, %rsi
leaq 0xcab(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x8, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq %rax, -0x60(%rsp)
movq -0x18(%rsp), %rcx
andq $0xff, %rcx
leaq 0xc85(%rip), %rax       # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x20(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0xc6a(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movq -0x20(%rsp), %rsi
shrq $0x8, %rsi
andq $0xff, %rsi
leaq 0xc4b(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x38, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x28(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0xc26(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x10, %rcx
movq -0x28(%rsp), %rsi
shrq $0x10, %rsi
andq $0xff, %rsi
leaq 0xc07(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x30, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x30(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0xbe2(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x18, %rcx
movq -0x30(%rsp), %rsi
shrq $0x18, %rsi
andq $0xff, %rsi
leaq 0xbc3(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x28, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x38(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0xb9e(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x20, %rcx
movq -0x38(%rsp), %rsi
shrq $0x20, %rsi
andq $0xff, %rsi
leaq 0xb7f(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x20, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x40(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0xb5a(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x28, %rcx
movq -0x40(%rsp), %rsi
shrq $0x28, %rsi
andq $0xff, %rsi
leaq 0xb3b(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x8(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0xb16(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x30, %rcx
movq -0x8(%rsp), %rsi
shrq $0x30, %rsi
andq $0xff, %rsi
leaq 0xaf7(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x10, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x10(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0xad2(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x38, %rcx
movq -0x10(%rsp), %rsi
shrq $0x38, %rsi
andq $0xff, %rsi
leaq 0xab3(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x8, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq %rax, -0x58(%rsp)
movq -0x10(%rsp), %rcx
andq $0xff, %rcx
leaq 0xa8d(%rip), %rax       # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x18(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0xa72(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movq -0x18(%rsp), %rsi
shrq $0x8, %rsi
andq $0xff, %rsi
leaq 0xa53(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x38, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x20(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0xa2e(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x10, %rcx
movq -0x20(%rsp), %rsi
shrq $0x10, %rsi
andq $0xff, %rsi
leaq 0xa0f(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x30, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x28(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0x9ea(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x18, %rcx
movq -0x28(%rsp), %rsi
shrq $0x18, %rsi
andq $0xff, %rsi
leaq 0x9cb(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x28, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x30(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0x9a6(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x20, %rcx
movq -0x30(%rsp), %rsi
shrq $0x20, %rsi
andq $0xff, %rsi
leaq 0x987(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x20, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x38(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0x962(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x28, %rcx
movq -0x38(%rsp), %rsi
shrq $0x28, %rsi
andq $0xff, %rsi
leaq 0x943(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x40(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0x91e(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x30, %rcx
movq -0x40(%rsp), %rsi
shrq $0x30, %rsi
andq $0xff, %rsi
leaq 0x8ff(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x10, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x8(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0x8da(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x38, %rcx
movq -0x8(%rsp), %rsi
shrq $0x38, %rsi
andq $0xff, %rsi
leaq 0x8bb(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x8, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq %rax, -0x50(%rsp)
movq -0x8(%rsp), %rcx
andq $0xff, %rcx
leaq 0x895(%rip), %rax       # 0x3000
movq (%rax,%rcx,8), %rax
movq -0x10(%rsp), %rdx
shrq $0x8, %rdx
andq $0xff, %rdx
leaq 0x87a(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x8, %rcx
movq -0x10(%rsp), %rsi
shrq $0x8, %rsi
andq $0xff, %rsi
leaq 0x85b(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x38, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x18(%rsp), %rdx
shrq $0x10, %rdx
andq $0xff, %rdx
leaq 0x836(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x10, %rcx
movq -0x18(%rsp), %rsi
shrq $0x10, %rsi
andq $0xff, %rsi
leaq 0x817(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x30, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x20(%rsp), %rdx
shrq $0x18, %rdx
andq $0xff, %rdx
leaq 0x7f2(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x18, %rcx
movq -0x20(%rsp), %rsi
shrq $0x18, %rsi
andq $0xff, %rsi
leaq 0x7d3(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x28, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x28(%rsp), %rdx
shrq $0x20, %rdx
andq $0xff, %rdx
leaq 0x7ae(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x20, %rcx
movq -0x28(%rsp), %rsi
shrq $0x20, %rsi
andq $0xff, %rsi
leaq 0x78f(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x20, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x30(%rsp), %rdx
shrq $0x28, %rdx
andq $0xff, %rdx
leaq 0x76a(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x28, %rcx
movq -0x30(%rsp), %rsi
shrq $0x28, %rsi
andq $0xff, %rsi
leaq 0x74b(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x18, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x38(%rsp), %rdx
shrq $0x30, %rdx
andq $0xff, %rdx
leaq 0x726(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x30, %rcx
movq -0x38(%rsp), %rsi
shrq $0x30, %rsi
andq $0xff, %rsi
leaq 0x707(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x10, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq -0x40(%rsp), %rdx
shrq $0x38, %rdx
andq $0xff, %rdx
leaq 0x6e2(%rip), %rcx       # 0x3000
movq (%rcx,%rdx,8), %rcx
shlq $0x38, %rcx
movq -0x40(%rsp), %rsi
shrq $0x38, %rsi
andq $0xff, %rsi
leaq 0x6c3(%rip), %rdx       # 0x3000
movq (%rdx,%rsi,8), %rdx
shrq $0x8, %rdx
orq %rdx, %rcx
xorq %rcx, %rax
movq %rax, -0x48(%rsp)
cmpl $0xb, 0xc(%rsp)
jge 0x29a7
movq -0x80(%rsp), %rax
movq %rax, -0x40(%rsp)
movq -0x78(%rsp), %rax
movq %rax, -0x38(%rsp)
movq -0x70(%rsp), %rax
movq %rax, -0x30(%rsp)
movq -0x68(%rsp), %rax
movq %rax, -0x28(%rsp)
movq -0x60(%rsp), %rax
movq %rax, -0x20(%rsp)
movq -0x58(%rsp), %rax
movq %rax, -0x18(%rsp)
movq -0x50(%rsp), %rax
movq %rax, -0x10(%rsp)
movq -0x48(%rsp), %rax
movq %rax, -0x8(%rsp)
jmp 0x29a9
movl 0xc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xc(%rsp)
jmp 0x1975
movl $0x0, 0xc(%rsp)
cmpl $0x8, 0xc(%rsp)
jge 0x29ed
movslq 0xc(%rsp), %rax
movq -0x80(%rsp,%rax,8), %rdx
movq 0x10(%rsp), %rax
movslq 0xc(%rsp), %rcx
movq %rdx, (%rax,%rcx,8)
movl 0xc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xc(%rsp)
jmp 0x29c1
addq $0x18, %rsp
retq
nopw %cs:(%rax,%rax)
nopl (%rax)