// File: /workspace/github_c_makefile_star2_O0/mjosaarinen[P]brutus/crypto_aead/oceankeyakv2/KnightsLanding/KeccakP-1600-AVX512.c
// Function: KeccakP1600_Permute_24rounds
void KeccakP1600_Permute_24rounds(void *state)
{
    KeccakP_DeclareVars
    #ifndef KeccakP1600_fullUnrolling
    unsigned int i;
    #endif
    UINT64 *stateAsLanes = (UINT64*)state;

    copyFromState(stateAsLanes);
    rounds24;
    copyToState(stateAsLanes);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
andq $-0x40, %rsp
subq $0xc680, %rsp           # imm = 0xC680
movq %rdi, 0x7b8(%rsp)
movq $0x7, 0x1068(%rsp)
movq $0x6, 0x1060(%rsp)
movq $0x5, 0x1058(%rsp)
movq $0x3, 0x1050(%rsp)
movq $0x2, 0x1048(%rsp)
movq $0x1, 0x1040(%rsp)
movq $0x0, 0x1038(%rsp)
movq $0x4, 0x1030(%rsp)
vmovq 0x1068(%rsp), %xmm1
vmovq 0x1060(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0x1058(%rsp), %xmm2
vmovq 0x1050(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0x1048(%rsp), %xmm2
vmovq 0x1040(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0x1038(%rsp), %xmm3
vmovq 0x1030(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0xfc0(%rsp)
vmovdqa64 0xfc0(%rsp), %zmm0
vmovdqa64 %zmm0, 0x4c0(%rsp)
movq $0x7, 0xfb8(%rsp)
movq $0x6, 0xfb0(%rsp)
movq $0x5, 0xfa8(%rsp)
movq $0x0, 0xfa0(%rsp)
movq $0x4, 0xf98(%rsp)
movq $0x3, 0xf90(%rsp)
movq $0x2, 0xf88(%rsp)
movq $0x1, 0xf80(%rsp)
vmovq 0xfb8(%rsp), %xmm1
vmovq 0xfb0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0xfa8(%rsp), %xmm2
vmovq 0xfa0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0xf98(%rsp), %xmm2
vmovq 0xf90(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0xf88(%rsp), %xmm3
vmovq 0xf80(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0xf40(%rsp)
vmovdqa64 0xf40(%rsp), %zmm0
vmovdqa64 %zmm0, 0x480(%rsp)
movq $0x0, 0xf38(%rsp)
movq $0x0, 0xf30(%rsp)
movq $0x0, 0xf28(%rsp)
movq $0x1b, 0xf20(%rsp)
movq $0x1c, 0xf18(%rsp)
movq $0x3e, 0xf10(%rsp)
movq $0x1, 0xf08(%rsp)
movq $0x0, 0xf00(%rsp)
vmovq 0xf38(%rsp), %xmm1
vmovq 0xf30(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0xf28(%rsp), %xmm2
vmovq 0xf20(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0xf18(%rsp), %xmm2
vmovq 0xf10(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0xf08(%rsp), %xmm3
vmovq 0xf00(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0xec0(%rsp)
vmovdqa64 0xec0(%rsp), %zmm0
vmovdqa64 %zmm0, 0x440(%rsp)
movq $0x0, 0xeb8(%rsp)
movq $0x0, 0xeb0(%rsp)
movq $0x0, 0xea8(%rsp)
movq $0x14, 0xea0(%rsp)
movq $0x37, 0xe98(%rsp)
movq $0x6, 0xe90(%rsp)
movq $0x2c, 0xe88(%rsp)
movq $0x24, 0xe80(%rsp)
vmovq 0xeb8(%rsp), %xmm1
vmovq 0xeb0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0xea8(%rsp), %xmm2
vmovq 0xea0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0xe98(%rsp), %xmm2
vmovq 0xe90(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0xe88(%rsp), %xmm3
vmovq 0xe80(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0xe40(%rsp)
vmovdqa64 0xe40(%rsp), %zmm0
vmovdqa64 %zmm0, 0x400(%rsp)
movq $0x0, 0xe38(%rsp)
movq $0x0, 0xe30(%rsp)
movq $0x0, 0xe28(%rsp)
movq $0x27, 0xe20(%rsp)
movq $0x19, 0xe18(%rsp)
movq $0x2b, 0xe10(%rsp)
movq $0xa, 0xe08(%rsp)
movq $0x3, 0xe00(%rsp)
vmovq 0xe38(%rsp), %xmm1
vmovq 0xe30(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0xe28(%rsp), %xmm2
vmovq 0xe20(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0xe18(%rsp), %xmm2
vmovq 0xe10(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0xe08(%rsp), %xmm3
vmovq 0xe00(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0xdc0(%rsp)
vmovdqa64 0xdc0(%rsp), %zmm0
vmovdqa64 %zmm0, 0x3c0(%rsp)
movq $0x0, 0xdb8(%rsp)
movq $0x0, 0xdb0(%rsp)
movq $0x0, 0xda8(%rsp)
movq $0x8, 0xda0(%rsp)
movq $0x15, 0xd98(%rsp)
movq $0xf, 0xd90(%rsp)
movq $0x2d, 0xd88(%rsp)
movq $0x29, 0xd80(%rsp)
vmovq 0xdb8(%rsp), %xmm1
vmovq 0xdb0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0xda8(%rsp), %xmm2
vmovq 0xda0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0xd98(%rsp), %xmm2
vmovq 0xd90(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0xd88(%rsp), %xmm3
vmovq 0xd80(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0xd40(%rsp)
vmovdqa64 0xd40(%rsp), %zmm0
vmovdqa64 %zmm0, 0x380(%rsp)
movq $0x0, 0xd38(%rsp)
movq $0x0, 0xd30(%rsp)
movq $0x0, 0xd28(%rsp)
movq $0xe, 0xd20(%rsp)
movq $0x38, 0xd18(%rsp)
movq $0x3d, 0xd10(%rsp)
movq $0x2, 0xd08(%rsp)
movq $0x12, 0xd00(%rsp)
vmovq 0xd38(%rsp), %xmm1
vmovq 0xd30(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0xd28(%rsp), %xmm2
vmovq 0xd20(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0xd18(%rsp), %xmm2
vmovq 0xd10(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0xd08(%rsp), %xmm3
vmovq 0xd00(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0xcc0(%rsp)
vmovdqa64 0xcc0(%rsp), %zmm0
vmovdqa64 %zmm0, 0x340(%rsp)
movq $0x7, 0xcb8(%rsp)
movq $0x6, 0xcb0(%rsp)
movq $0x5, 0xca8(%rsp)
movq $0x2, 0xca0(%rsp)
movq $0x4, 0xc98(%rsp)
movq $0x1, 0xc90(%rsp)
movq $0x3, 0xc88(%rsp)
movq $0x0, 0xc80(%rsp)
vmovq 0xcb8(%rsp), %xmm1
vmovq 0xcb0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0xca8(%rsp), %xmm2
vmovq 0xca0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0xc98(%rsp), %xmm2
vmovq 0xc90(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0xc88(%rsp), %xmm3
vmovq 0xc80(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0xc40(%rsp)
vmovdqa64 0xc40(%rsp), %zmm0
vmovdqa64 %zmm0, 0x300(%rsp)
movq $0x7, 0xc38(%rsp)
movq $0x6, 0xc30(%rsp)
movq $0x5, 0xc28(%rsp)
movq $0x3, 0xc20(%rsp)
movq $0x0, 0xc18(%rsp)
movq $0x2, 0xc10(%rsp)
movq $0x4, 0xc08(%rsp)
movq $0x1, 0xc00(%rsp)
vmovq 0xc38(%rsp), %xmm1
vmovq 0xc30(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0xc28(%rsp), %xmm2
vmovq 0xc20(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0xc18(%rsp), %xmm2
vmovq 0xc10(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0xc08(%rsp), %xmm3
vmovq 0xc00(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0xbc0(%rsp)
vmovdqa64 0xbc0(%rsp), %zmm0
vmovdqa64 %zmm0, 0x2c0(%rsp)
movq $0x7, 0xbb8(%rsp)
movq $0x6, 0xbb0(%rsp)
movq $0x5, 0xba8(%rsp)
movq $0x4, 0xba0(%rsp)
movq $0x1, 0xb98(%rsp)
movq $0x3, 0xb90(%rsp)
movq $0x0, 0xb88(%rsp)
movq $0x2, 0xb80(%rsp)
vmovq 0xbb8(%rsp), %xmm1
vmovq 0xbb0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0xba8(%rsp), %xmm2
vmovq 0xba0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0xb98(%rsp), %xmm2
vmovq 0xb90(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0xb88(%rsp), %xmm3
vmovq 0xb80(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0xb40(%rsp)
vmovdqa64 0xb40(%rsp), %zmm0
vmovdqa64 %zmm0, 0x280(%rsp)
movq $0x7, 0xb38(%rsp)
movq $0x6, 0xb30(%rsp)
movq $0x5, 0xb28(%rsp)
movq $0x0, 0xb20(%rsp)
movq $0x2, 0xb18(%rsp)
movq $0x4, 0xb10(%rsp)
movq $0x1, 0xb08(%rsp)
movq $0x3, 0xb00(%rsp)
vmovq 0xb38(%rsp), %xmm1
vmovq 0xb30(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0xb28(%rsp), %xmm2
vmovq 0xb20(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0xb18(%rsp), %xmm2
vmovq 0xb10(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0xb08(%rsp), %xmm3
vmovq 0xb00(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0xac0(%rsp)
vmovdqa64 0xac0(%rsp), %zmm0
vmovdqa64 %zmm0, 0x240(%rsp)
movq $0x7, 0xab8(%rsp)
movq $0x6, 0xab0(%rsp)
movq $0x5, 0xaa8(%rsp)
movq $0x1, 0xaa0(%rsp)
movq $0x3, 0xa98(%rsp)
movq $0x0, 0xa90(%rsp)
movq $0x2, 0xa88(%rsp)
movq $0x4, 0xa80(%rsp)
vmovq 0xab8(%rsp), %xmm1
vmovq 0xab0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0xaa8(%rsp), %xmm2
vmovq 0xaa0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0xa98(%rsp), %xmm2
vmovq 0xa90(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0xa88(%rsp), %xmm3
vmovq 0xa80(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0xa40(%rsp)
vmovdqa64 0xa40(%rsp), %zmm0
vmovdqa64 %zmm0, 0x200(%rsp)
movq $0xa, 0xa38(%rsp)
movq $0x8, 0xa30(%rsp)
movq $0x5, 0xa28(%rsp)
movq $0x4, 0xa20(%rsp)
movq $0x3, 0xa18(%rsp)
movq $0x2, 0xa10(%rsp)
movq $0x1, 0xa08(%rsp)
movq $0x0, 0xa00(%rsp)
vmovq 0xa38(%rsp), %xmm1
vmovq 0xa30(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0xa28(%rsp), %xmm2
vmovq 0xa20(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0xa18(%rsp), %xmm2
vmovq 0xa10(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0xa08(%rsp), %xmm3
vmovq 0xa00(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x9c0(%rsp)
vmovdqa64 0x9c0(%rsp), %zmm0
vmovdqa64 %zmm0, 0x1c0(%rsp)
movq $0xb, 0x9b8(%rsp)
movq $0x9, 0x9b0(%rsp)
movq $0x5, 0x9a8(%rsp)
movq $0x4, 0x9a0(%rsp)
movq $0x3, 0x998(%rsp)
movq $0x2, 0x990(%rsp)
movq $0x1, 0x988(%rsp)
movq $0x0, 0x980(%rsp)
vmovq 0x9b8(%rsp), %xmm1
vmovq 0x9b0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0x9a8(%rsp), %xmm2
vmovq 0x9a0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0x998(%rsp), %xmm2
vmovq 0x990(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0x988(%rsp), %xmm3
vmovq 0x980(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x940(%rsp)
vmovdqa64 0x940(%rsp), %zmm0
vmovdqa64 %zmm0, 0x180(%rsp)
movq $0x7, 0x938(%rsp)
movq $0x6, 0x930(%rsp)
movq $0x5, 0x928(%rsp)
movq $0x6, 0x920(%rsp)
movq $0x9, 0x918(%rsp)
movq $0x8, 0x910(%rsp)
movq $0x1, 0x908(%rsp)
movq $0x0, 0x900(%rsp)
vmovq 0x938(%rsp), %xmm1
vmovq 0x930(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0x928(%rsp), %xmm2
vmovq 0x920(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0x918(%rsp), %xmm2
vmovq 0x910(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0x908(%rsp), %xmm3
vmovq 0x900(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x8c0(%rsp)
vmovdqa64 0x8c0(%rsp), %zmm0
vmovdqa64 %zmm0, 0x140(%rsp)
movq $0x7, 0x8b8(%rsp)
movq $0x6, 0x8b0(%rsp)
movq $0x5, 0x8a8(%rsp)
movq $0x7, 0x8a0(%rsp)
movq $0xb, 0x898(%rsp)
movq $0xa, 0x890(%rsp)
movq $0x3, 0x888(%rsp)
movq $0x2, 0x880(%rsp)
vmovq 0x8b8(%rsp), %xmm1
vmovq 0x8b0(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0x8a8(%rsp), %xmm2
vmovq 0x8a0(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0x898(%rsp), %xmm2
vmovq 0x890(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0x888(%rsp), %xmm3
vmovq 0x880(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x840(%rsp)
vmovdqa64 0x840(%rsp), %zmm0
vmovdqa64 %zmm0, 0x100(%rsp)
movq $0x7, 0x838(%rsp)
movq $0x6, 0x830(%rsp)
movq $0x5, 0x828(%rsp)
movq $0x4, 0x820(%rsp)
movq $0xd, 0x818(%rsp)
movq $0xc, 0x810(%rsp)
movq $0x5, 0x808(%rsp)
movq $0x4, 0x800(%rsp)
vmovq 0x838(%rsp), %xmm1
vmovq 0x830(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm1 # xmm1 = xmm0[0],xmm1[0]
vmovq 0x828(%rsp), %xmm2
vmovq 0x820(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm1
vmovq 0x818(%rsp), %xmm2
vmovq 0x810(%rsp), %xmm0
vpunpcklqdq %xmm2, %xmm0, %xmm2 # xmm2 = xmm0[0],xmm2[0]
vmovq 0x808(%rsp), %xmm3
vmovq 0x800(%rsp), %xmm0
vpunpcklqdq %xmm3, %xmm0, %xmm3 # xmm3 = xmm0[0],xmm3[0]
vmovaps %xmm3, %xmm0
vinserti128 $0x1, %xmm2, %ymm0, %ymm2
vmovaps %ymm2, %ymm0
vinserti64x4 $0x1, %ymm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x7c0(%rsp)
vmovdqa64 0x7c0(%rsp), %zmm0
vmovdqa64 %zmm0, 0xc0(%rsp)
movq 0x7b8(%rsp), %rax
movq %rax, 0xb0(%rsp)
movq 0xb0(%rsp), %rax
movb $0x1f, 0x117f(%rsp)
movq %rax, 0x1170(%rsp)
movq 0x1170(%rsp), %rax
vpxor %xmm0, %xmm0, %xmm0
vmovdqa64 %zmm0, 0xc200(%rsp)
vmovdqa64 0xc200(%rsp), %zmm1
kmovb 0x117f(%rsp), %k1
vmovdqu64 (%rax), %zmm1 {%k1}
vmovdqa64 %zmm1, 0x600(%rsp)
movq 0xb0(%rsp), %rax
addq $0x28, %rax
movb $0x1f, 0x116f(%rsp)
movq %rax, 0x1160(%rsp)
movq 0x1160(%rsp), %rax
vmovdqa64 %zmm0, 0xc240(%rsp)
vmovdqa64 0xc240(%rsp), %zmm1
kmovb 0x116f(%rsp), %k1
vmovdqu64 (%rax), %zmm1 {%k1}
vmovdqa64 %zmm1, 0x5c0(%rsp)
movq 0xb0(%rsp), %rax
addq $0x50, %rax
movb $0x1f, 0x115f(%rsp)
movq %rax, 0x1150(%rsp)
movq 0x1150(%rsp), %rax
vmovdqa64 %zmm0, 0xc280(%rsp)
vmovdqa64 0xc280(%rsp), %zmm1
kmovb 0x115f(%rsp), %k1
vmovdqu64 (%rax), %zmm1 {%k1}
vmovdqa64 %zmm1, 0x580(%rsp)
movq 0xb0(%rsp), %rax
addq $0x78, %rax
movb $0x1f, 0x114f(%rsp)
movq %rax, 0x1140(%rsp)
movq 0x1140(%rsp), %rax
vmovdqa64 %zmm0, 0xc2c0(%rsp)
vmovdqa64 0xc2c0(%rsp), %zmm1
kmovb 0x114f(%rsp), %k1
vmovdqu64 (%rax), %zmm1 {%k1}
vmovdqa64 %zmm1, 0x540(%rsp)
movq 0xb0(%rsp), %rax
addq $0xa0, %rax
movb $0x1f, 0x113f(%rsp)
movq %rax, 0x1130(%rsp)
movq 0x1130(%rsp), %rax
vmovdqa64 %zmm0, 0xc300(%rsp)
vmovdqa64 0xc300(%rsp), %zmm0
movb 0x113f(%rsp), %dl
movb %dl, %cl
kmovd %ecx, %k1
vmovdqu64 (%rax), %zmm0 {%k1}
vmovdqa64 %zmm0, 0x500(%rsp)
movl $0x0, 0xbc(%rsp)
vmovdqa64 0x600(%rsp), %zmm0
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 0x580(%rsp), %zmm2
vpternlogq $0x96, %zmm2, %zmm1, %zmm0
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 0x500(%rsp), %zmm2
vpternlogq $0x96, %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x740(%rsp)
vmovdqa64 0x4c0(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm0
vmovdqa64 %zmm1, 0x3b40(%rsp)
vmovdqa64 %zmm0, 0x3b00(%rsp)
vmovdqa64 0x3b00(%rsp), %zmm1
vmovdqa64 0x3b40(%rsp), %zmm0
vpermq %zmm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x700(%rsp)
vmovdqa64 0x480(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm0
vmovdqa64 %zmm1, 0x3ac0(%rsp)
vmovdqa64 %zmm0, 0x3a80(%rsp)
vmovdqa64 0x3a80(%rsp), %zmm1
vmovdqa64 0x3ac0(%rsp), %zmm0
vpermq %zmm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm0
vprolq $0x1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm0
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vpternlogq $0x96, %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm0
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vpternlogq $0x96, %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm0
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vpternlogq $0x96, %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm0
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vpternlogq $0x96, %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm0
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vpternlogq $0x96, %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x440(%rsp), %zmm0
vmovdqa64 %zmm1, 0x5940(%rsp)
vmovdqa64 %zmm0, 0x5900(%rsp)
vmovdqa64 0x5940(%rsp), %zmm0
vmovdqa64 0x5900(%rsp), %zmm1
vprolvq %zmm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 0x400(%rsp), %zmm0
vmovdqa64 %zmm1, 0x58c0(%rsp)
vmovdqa64 %zmm0, 0x5880(%rsp)
vmovdqa64 0x58c0(%rsp), %zmm0
vmovdqa64 0x5880(%rsp), %zmm1
vprolvq %zmm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x3c0(%rsp), %zmm0
vmovdqa64 %zmm1, 0x5840(%rsp)
vmovdqa64 %zmm0, 0x5800(%rsp)
vmovdqa64 0x5840(%rsp), %zmm0
vmovdqa64 0x5800(%rsp), %zmm1
vprolvq %zmm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 0x380(%rsp), %zmm0
vmovdqa64 %zmm1, 0x57c0(%rsp)
vmovdqa64 %zmm0, 0x5780(%rsp)
vmovdqa64 0x57c0(%rsp), %zmm0
vmovdqa64 0x5780(%rsp), %zmm1
vprolvq %zmm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 0x340(%rsp), %zmm0
vmovdqa64 %zmm1, 0x5740(%rsp)
vmovdqa64 %zmm0, 0x5700(%rsp)
vmovdqa64 0x5740(%rsp), %zmm0
vmovdqa64 0x5700(%rsp), %zmm1
vprolvq %zmm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x500(%rsp)
vmovdqa64 0x300(%rsp), %zmm1
vmovdqa64 0x600(%rsp), %zmm0
vmovdqa64 %zmm1, 0x3a40(%rsp)
vmovdqa64 %zmm0, 0x3a00(%rsp)
vmovdqa64 0x3a00(%rsp), %zmm1
vmovdqa64 0x3a40(%rsp), %zmm0
vpermq %zmm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x740(%rsp)
vmovdqa64 0x2c0(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm0
vmovdqa64 %zmm1, 0x39c0(%rsp)
vmovdqa64 %zmm0, 0x3980(%rsp)
vmovdqa64 0x3980(%rsp), %zmm1
vmovdqa64 0x39c0(%rsp), %zmm0
vpermq %zmm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x700(%rsp)
vmovdqa64 0x280(%rsp), %zmm1
vmovdqa64 0x580(%rsp), %zmm0
vmovdqa64 %zmm1, 0x3940(%rsp)
vmovdqa64 %zmm0, 0x3900(%rsp)
vmovdqa64 0x3900(%rsp), %zmm1
vmovdqa64 0x3940(%rsp), %zmm0
vpermq %zmm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x6c0(%rsp)
vmovdqa64 0x240(%rsp), %zmm1
vmovdqa64 0x540(%rsp), %zmm0
vmovdqa64 %zmm1, 0x38c0(%rsp)
vmovdqa64 %zmm0, 0x3880(%rsp)
vmovdqa64 0x3880(%rsp), %zmm1
vmovdqa64 0x38c0(%rsp), %zmm0
vpermq %zmm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x680(%rsp)
vmovdqa64 0x200(%rsp), %zmm1
vmovdqa64 0x500(%rsp), %zmm0
vmovdqa64 %zmm1, 0x3840(%rsp)
vmovdqa64 %zmm0, 0x3800(%rsp)
vmovdqa64 0x3800(%rsp), %zmm1
vmovdqa64 0x3840(%rsp), %zmm0
vpermq %zmm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x640(%rsp)
vmovdqa64 0x740(%rsp), %zmm0
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 0x6c0(%rsp), %zmm2
vpternlogq $0xd2, %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x600(%rsp)
vmovdqa64 0x700(%rsp), %zmm0
vmovdqa64 0x6c0(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm2
vpternlogq $0xd2, %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x5c0(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm0
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 0x640(%rsp), %zmm2
vpternlogq $0xd2, %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x580(%rsp)
vmovdqa64 0x680(%rsp), %zmm0
vmovdqa64 0x640(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vpternlogq $0xd2, %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x540(%rsp)
vmovdqa64 0x640(%rsp), %zmm0
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vpternlogq $0xd2, %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
movl 0xbc(%rsp), %eax
movl %eax, %ecx
movq 0x10d481(%rip), %rax    # 0x11cff8
movq %rax, 0x38(%rsp)
leaq (%rax,%rcx,8), %rcx
movb $0x1, 0x112f(%rsp)
movq %rcx, 0x1120(%rsp)
movq 0x1120(%rsp), %rcx
vpxor %xmm0, %xmm0, %xmm0
vmovaps %zmm0, 0x40(%rsp)
vmovdqa64 %zmm0, 0xc340(%rsp)
vmovdqa64 0xc340(%rsp), %zmm1
kmovb 0x112f(%rsp), %k1
vmovdqu64 (%rcx), %zmm1 {%k1}
vmovdqa64 %zmm2, 0x5f40(%rsp)
vmovdqa64 %zmm1, 0x5f00(%rsp)
vmovdqa64 0x5f40(%rsp), %zmm1
vmovdqa64 0x5f00(%rsp), %zmm2
vpxorq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x6b40(%rsp)
vmovdqa64 %zmm1, 0x6b00(%rsp)
vmovdqa64 0x6b40(%rsp), %zmm1
vmovdqa64 0x6b00(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x6ac0(%rsp)
vmovdqa64 %zmm1, 0x6a80(%rsp)
vmovdqa64 0x6ac0(%rsp), %zmm1
vmovdqa64 0x6a80(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x1c0(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0xaa40(%rsp)
vmovdqa64 %zmm2, 0xaa00(%rsp)
vmovdqa64 %zmm1, 0xa9c0(%rsp)
vmovdqa64 0xaa40(%rsp), %zmm1
vmovdqa64 0xaa00(%rsp), %zmm2
vmovdqa64 0xa9c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0xb640(%rsp)
vmovdqa64 %zmm1, 0xb600(%rsp)
vmovdqa64 0xb640(%rsp), %zmm1
vmovdqa64 0xb600(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0xb5c0(%rsp)
vmovdqa64 %zmm1, 0xb580(%rsp)
vmovdqa64 0xb5c0(%rsp), %zmm1
vmovdqa64 0xb580(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x180(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0xa980(%rsp)
vmovdqa64 %zmm2, 0xa940(%rsp)
vmovdqa64 %zmm1, 0xa900(%rsp)
vmovdqa64 0xa980(%rsp), %zmm1
vmovdqa64 0xa940(%rsp), %zmm2
vmovdqa64 0xa900(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0xa8c0(%rsp)
vmovdqa64 %zmm2, 0xa880(%rsp)
vmovdqa64 %zmm1, 0xa840(%rsp)
vmovdqa64 0xa8c0(%rsp), %zmm1
vmovdqa64 0xa880(%rsp), %zmm2
vmovdqa64 0xa840(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0xa800(%rsp)
vmovdqa64 %zmm2, 0xa7c0(%rsp)
vmovdqa64 %zmm1, 0xa780(%rsp)
vmovdqa64 0xa800(%rsp), %zmm1
vmovdqa64 0xa7c0(%rsp), %zmm2
vmovdqa64 0xa780(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0xa740(%rsp)
vmovdqa64 %zmm2, 0xa700(%rsp)
vmovdqa64 %zmm1, 0xa6c0(%rsp)
vmovdqa64 0xa740(%rsp), %zmm1
vmovdqa64 0xa700(%rsp), %zmm2
vmovdqa64 0xa6c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0xa680(%rsp)
vmovdqa64 %zmm2, 0xa640(%rsp)
vmovdqa64 %zmm1, 0xa600(%rsp)
vmovdqa64 0xa680(%rsp), %zmm1
vmovdqa64 0xa640(%rsp), %zmm2
vmovdqa64 0xa600(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0xc0(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0xa5c0(%rsp)
vmovdqa64 %zmm2, 0xa580(%rsp)
vmovdqa64 %zmm1, 0xa540(%rsp)
vmovdqa64 0xa5c0(%rsp), %zmm1
vmovdqa64 0xa580(%rsp), %zmm2
vmovdqa64 0xa540(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
movb $0x10, 0xbf7f(%rsp)
vmovdqa64 %zmm2, 0xbf00(%rsp)
vmovdqa64 %zmm1, 0xbec0(%rsp)
vmovdqa64 0xbec0(%rsp), %zmm2
vmovdqa64 0xbf00(%rsp), %zmm1
kmovb 0xbf7f(%rsp), %k1
vmovdqa64 %zmm2, %zmm1 {%k1}
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x4c0(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x37c0(%rsp)
vmovdqa64 %zmm1, 0x3780(%rsp)
vmovdqa64 0x3780(%rsp), %zmm2
vmovdqa64 0x37c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x480(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3740(%rsp)
vmovdqa64 %zmm1, 0x3700(%rsp)
vmovdqa64 0x3700(%rsp), %zmm2
vmovdqa64 0x3740(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vprolq $0x1, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x440(%rsp), %zmm1
vmovdqa64 %zmm2, 0x56c0(%rsp)
vmovdqa64 %zmm1, 0x5680(%rsp)
vmovdqa64 0x56c0(%rsp), %zmm1
vmovdqa64 0x5680(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x400(%rsp), %zmm1
vmovdqa64 %zmm2, 0x5640(%rsp)
vmovdqa64 %zmm1, 0x5600(%rsp)
vmovdqa64 0x5640(%rsp), %zmm1
vmovdqa64 0x5600(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x3c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x55c0(%rsp)
vmovdqa64 %zmm1, 0x5580(%rsp)
vmovdqa64 0x55c0(%rsp), %zmm1
vmovdqa64 0x5580(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x380(%rsp), %zmm1
vmovdqa64 %zmm2, 0x5540(%rsp)
vmovdqa64 %zmm1, 0x5500(%rsp)
vmovdqa64 0x5540(%rsp), %zmm1
vmovdqa64 0x5500(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm2
vmovdqa64 0x340(%rsp), %zmm1
vmovdqa64 %zmm2, 0x54c0(%rsp)
vmovdqa64 %zmm1, 0x5480(%rsp)
vmovdqa64 0x54c0(%rsp), %zmm1
vmovdqa64 0x5480(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x300(%rsp), %zmm2
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 %zmm2, 0x36c0(%rsp)
vmovdqa64 %zmm1, 0x3680(%rsp)
vmovdqa64 0x3680(%rsp), %zmm2
vmovdqa64 0x36c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x2c0(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3640(%rsp)
vmovdqa64 %zmm1, 0x3600(%rsp)
vmovdqa64 0x3600(%rsp), %zmm2
vmovdqa64 0x3640(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x280(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 %zmm2, 0x35c0(%rsp)
vmovdqa64 %zmm1, 0x3580(%rsp)
vmovdqa64 0x3580(%rsp), %zmm2
vmovdqa64 0x35c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x240(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3540(%rsp)
vmovdqa64 %zmm1, 0x3500(%rsp)
vmovdqa64 0x3500(%rsp), %zmm2
vmovdqa64 0x3540(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x200(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm2, 0x34c0(%rsp)
vmovdqa64 %zmm1, 0x3480(%rsp)
vmovdqa64 0x3480(%rsp), %zmm2
vmovdqa64 0x34c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x640(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vmovdqa64 0x6c0(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm2
vmovdqa64 0x640(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 0x640(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x640(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
movl 0xbc(%rsp), %ecx
leaq 0x8(%rax,%rcx,8), %rcx
movb $0x1, 0x111f(%rsp)
movq %rcx, 0x1110(%rsp)
movq 0x1110(%rsp), %rcx
vmovdqa64 %zmm0, 0xc380(%rsp)
vmovdqa64 0xc380(%rsp), %zmm1
kmovb 0x111f(%rsp), %k1
vmovdqu64 (%rcx), %zmm1 {%k1}
vmovdqa64 %zmm2, 0x5ec0(%rsp)
vmovdqa64 %zmm1, 0x5e80(%rsp)
vmovdqa64 0x5ec0(%rsp), %zmm1
vmovdqa64 0x5e80(%rsp), %zmm2
vpxorq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x6a40(%rsp)
vmovdqa64 %zmm1, 0x6a00(%rsp)
vmovdqa64 0x6a40(%rsp), %zmm1
vmovdqa64 0x6a00(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x69c0(%rsp)
vmovdqa64 %zmm1, 0x6980(%rsp)
vmovdqa64 0x69c0(%rsp), %zmm1
vmovdqa64 0x6980(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x1c0(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0xa500(%rsp)
vmovdqa64 %zmm2, 0xa4c0(%rsp)
vmovdqa64 %zmm1, 0xa480(%rsp)
vmovdqa64 0xa500(%rsp), %zmm1
vmovdqa64 0xa4c0(%rsp), %zmm2
vmovdqa64 0xa480(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0xb540(%rsp)
vmovdqa64 %zmm1, 0xb500(%rsp)
vmovdqa64 0xb540(%rsp), %zmm1
vmovdqa64 0xb500(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0xb4c0(%rsp)
vmovdqa64 %zmm1, 0xb480(%rsp)
vmovdqa64 0xb4c0(%rsp), %zmm1
vmovdqa64 0xb480(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x180(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0xa440(%rsp)
vmovdqa64 %zmm2, 0xa400(%rsp)
vmovdqa64 %zmm1, 0xa3c0(%rsp)
vmovdqa64 0xa440(%rsp), %zmm1
vmovdqa64 0xa400(%rsp), %zmm2
vmovdqa64 0xa3c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0xa380(%rsp)
vmovdqa64 %zmm2, 0xa340(%rsp)
vmovdqa64 %zmm1, 0xa300(%rsp)
vmovdqa64 0xa380(%rsp), %zmm1
vmovdqa64 0xa340(%rsp), %zmm2
vmovdqa64 0xa300(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0xa2c0(%rsp)
vmovdqa64 %zmm2, 0xa280(%rsp)
vmovdqa64 %zmm1, 0xa240(%rsp)
vmovdqa64 0xa2c0(%rsp), %zmm1
vmovdqa64 0xa280(%rsp), %zmm2
vmovdqa64 0xa240(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0xa200(%rsp)
vmovdqa64 %zmm2, 0xa1c0(%rsp)
vmovdqa64 %zmm1, 0xa180(%rsp)
vmovdqa64 0xa200(%rsp), %zmm1
vmovdqa64 0xa1c0(%rsp), %zmm2
vmovdqa64 0xa180(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0xa140(%rsp)
vmovdqa64 %zmm2, 0xa100(%rsp)
vmovdqa64 %zmm1, 0xa0c0(%rsp)
vmovdqa64 0xa140(%rsp), %zmm1
vmovdqa64 0xa100(%rsp), %zmm2
vmovdqa64 0xa0c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0xc0(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0xa080(%rsp)
vmovdqa64 %zmm2, 0xa040(%rsp)
vmovdqa64 %zmm1, 0xa000(%rsp)
vmovdqa64 0xa080(%rsp), %zmm1
vmovdqa64 0xa040(%rsp), %zmm2
vmovdqa64 0xa000(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
movb $0x10, 0xbebf(%rsp)
vmovdqa64 %zmm2, 0xbe40(%rsp)
vmovdqa64 %zmm1, 0xbe00(%rsp)
vmovdqa64 0xbe00(%rsp), %zmm2
vmovdqa64 0xbe40(%rsp), %zmm1
kmovb 0xbebf(%rsp), %k1
vmovdqa64 %zmm2, %zmm1 {%k1}
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x4c0(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3440(%rsp)
vmovdqa64 %zmm1, 0x3400(%rsp)
vmovdqa64 0x3400(%rsp), %zmm2
vmovdqa64 0x3440(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x480(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x33c0(%rsp)
vmovdqa64 %zmm1, 0x3380(%rsp)
vmovdqa64 0x3380(%rsp), %zmm2
vmovdqa64 0x33c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vprolq $0x1, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x440(%rsp), %zmm1
vmovdqa64 %zmm2, 0x5440(%rsp)
vmovdqa64 %zmm1, 0x5400(%rsp)
vmovdqa64 0x5440(%rsp), %zmm1
vmovdqa64 0x5400(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x400(%rsp), %zmm1
vmovdqa64 %zmm2, 0x53c0(%rsp)
vmovdqa64 %zmm1, 0x5380(%rsp)
vmovdqa64 0x53c0(%rsp), %zmm1
vmovdqa64 0x5380(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x3c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x5340(%rsp)
vmovdqa64 %zmm1, 0x5300(%rsp)
vmovdqa64 0x5340(%rsp), %zmm1
vmovdqa64 0x5300(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x380(%rsp), %zmm1
vmovdqa64 %zmm2, 0x52c0(%rsp)
vmovdqa64 %zmm1, 0x5280(%rsp)
vmovdqa64 0x52c0(%rsp), %zmm1
vmovdqa64 0x5280(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm2
vmovdqa64 0x340(%rsp), %zmm1
vmovdqa64 %zmm2, 0x5240(%rsp)
vmovdqa64 %zmm1, 0x5200(%rsp)
vmovdqa64 0x5240(%rsp), %zmm1
vmovdqa64 0x5200(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x300(%rsp), %zmm2
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3340(%rsp)
vmovdqa64 %zmm1, 0x3300(%rsp)
vmovdqa64 0x3300(%rsp), %zmm2
vmovdqa64 0x3340(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x2c0(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x32c0(%rsp)
vmovdqa64 %zmm1, 0x3280(%rsp)
vmovdqa64 0x3280(%rsp), %zmm2
vmovdqa64 0x32c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x280(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3240(%rsp)
vmovdqa64 %zmm1, 0x3200(%rsp)
vmovdqa64 0x3200(%rsp), %zmm2
vmovdqa64 0x3240(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x240(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x31c0(%rsp)
vmovdqa64 %zmm1, 0x3180(%rsp)
vmovdqa64 0x3180(%rsp), %zmm2
vmovdqa64 0x31c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x200(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3140(%rsp)
vmovdqa64 %zmm1, 0x3100(%rsp)
vmovdqa64 0x3100(%rsp), %zmm2
vmovdqa64 0x3140(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x640(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vmovdqa64 0x6c0(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm2
vmovdqa64 0x640(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 0x640(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x640(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
movl 0xbc(%rsp), %ecx
leaq 0x10(%rax,%rcx,8), %rcx
movb $0x1, 0x110f(%rsp)
movq %rcx, 0x1100(%rsp)
movq 0x1100(%rsp), %rcx
vmovdqa64 %zmm0, 0xc3c0(%rsp)
vmovdqa64 0xc3c0(%rsp), %zmm1
kmovb 0x110f(%rsp), %k1
vmovdqu64 (%rcx), %zmm1 {%k1}
vmovdqa64 %zmm2, 0x5e40(%rsp)
vmovdqa64 %zmm1, 0x5e00(%rsp)
vmovdqa64 0x5e40(%rsp), %zmm1
vmovdqa64 0x5e00(%rsp), %zmm2
vpxorq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x6940(%rsp)
vmovdqa64 %zmm1, 0x6900(%rsp)
vmovdqa64 0x6940(%rsp), %zmm1
vmovdqa64 0x6900(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x68c0(%rsp)
vmovdqa64 %zmm1, 0x6880(%rsp)
vmovdqa64 0x68c0(%rsp), %zmm1
vmovdqa64 0x6880(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x1c0(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9fc0(%rsp)
vmovdqa64 %zmm2, 0x9f80(%rsp)
vmovdqa64 %zmm1, 0x9f40(%rsp)
vmovdqa64 0x9fc0(%rsp), %zmm1
vmovdqa64 0x9f80(%rsp), %zmm2
vmovdqa64 0x9f40(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0xb440(%rsp)
vmovdqa64 %zmm1, 0xb400(%rsp)
vmovdqa64 0xb440(%rsp), %zmm1
vmovdqa64 0xb400(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0xb3c0(%rsp)
vmovdqa64 %zmm1, 0xb380(%rsp)
vmovdqa64 0xb3c0(%rsp), %zmm1
vmovdqa64 0xb380(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x180(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9f00(%rsp)
vmovdqa64 %zmm2, 0x9ec0(%rsp)
vmovdqa64 %zmm1, 0x9e80(%rsp)
vmovdqa64 0x9f00(%rsp), %zmm1
vmovdqa64 0x9ec0(%rsp), %zmm2
vmovdqa64 0x9e80(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9e40(%rsp)
vmovdqa64 %zmm2, 0x9e00(%rsp)
vmovdqa64 %zmm1, 0x9dc0(%rsp)
vmovdqa64 0x9e40(%rsp), %zmm1
vmovdqa64 0x9e00(%rsp), %zmm2
vmovdqa64 0x9dc0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9d80(%rsp)
vmovdqa64 %zmm2, 0x9d40(%rsp)
vmovdqa64 %zmm1, 0x9d00(%rsp)
vmovdqa64 0x9d80(%rsp), %zmm1
vmovdqa64 0x9d40(%rsp), %zmm2
vmovdqa64 0x9d00(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9cc0(%rsp)
vmovdqa64 %zmm2, 0x9c80(%rsp)
vmovdqa64 %zmm1, 0x9c40(%rsp)
vmovdqa64 0x9cc0(%rsp), %zmm1
vmovdqa64 0x9c80(%rsp), %zmm2
vmovdqa64 0x9c40(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9c00(%rsp)
vmovdqa64 %zmm2, 0x9bc0(%rsp)
vmovdqa64 %zmm1, 0x9b80(%rsp)
vmovdqa64 0x9c00(%rsp), %zmm1
vmovdqa64 0x9bc0(%rsp), %zmm2
vmovdqa64 0x9b80(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0xc0(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9b40(%rsp)
vmovdqa64 %zmm2, 0x9b00(%rsp)
vmovdqa64 %zmm1, 0x9ac0(%rsp)
vmovdqa64 0x9b40(%rsp), %zmm1
vmovdqa64 0x9b00(%rsp), %zmm2
vmovdqa64 0x9ac0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
movb $0x10, 0xbdff(%rsp)
vmovdqa64 %zmm2, 0xbd80(%rsp)
vmovdqa64 %zmm1, 0xbd40(%rsp)
vmovdqa64 0xbd40(%rsp), %zmm2
vmovdqa64 0xbd80(%rsp), %zmm1
kmovb 0xbdff(%rsp), %k1
vmovdqa64 %zmm2, %zmm1 {%k1}
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x4c0(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x30c0(%rsp)
vmovdqa64 %zmm1, 0x3080(%rsp)
vmovdqa64 0x3080(%rsp), %zmm2
vmovdqa64 0x30c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x480(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3040(%rsp)
vmovdqa64 %zmm1, 0x3000(%rsp)
vmovdqa64 0x3000(%rsp), %zmm2
vmovdqa64 0x3040(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vprolq $0x1, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x440(%rsp), %zmm1
vmovdqa64 %zmm2, 0x51c0(%rsp)
vmovdqa64 %zmm1, 0x5180(%rsp)
vmovdqa64 0x51c0(%rsp), %zmm1
vmovdqa64 0x5180(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x400(%rsp), %zmm1
vmovdqa64 %zmm2, 0x5140(%rsp)
vmovdqa64 %zmm1, 0x5100(%rsp)
vmovdqa64 0x5140(%rsp), %zmm1
vmovdqa64 0x5100(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x3c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x50c0(%rsp)
vmovdqa64 %zmm1, 0x5080(%rsp)
vmovdqa64 0x50c0(%rsp), %zmm1
vmovdqa64 0x5080(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x380(%rsp), %zmm1
vmovdqa64 %zmm2, 0x5040(%rsp)
vmovdqa64 %zmm1, 0x5000(%rsp)
vmovdqa64 0x5040(%rsp), %zmm1
vmovdqa64 0x5000(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm2
vmovdqa64 0x340(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4fc0(%rsp)
vmovdqa64 %zmm1, 0x4f80(%rsp)
vmovdqa64 0x4fc0(%rsp), %zmm1
vmovdqa64 0x4f80(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x300(%rsp), %zmm2
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2fc0(%rsp)
vmovdqa64 %zmm1, 0x2f80(%rsp)
vmovdqa64 0x2f80(%rsp), %zmm2
vmovdqa64 0x2fc0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x2c0(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2f40(%rsp)
vmovdqa64 %zmm1, 0x2f00(%rsp)
vmovdqa64 0x2f00(%rsp), %zmm2
vmovdqa64 0x2f40(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x280(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2ec0(%rsp)
vmovdqa64 %zmm1, 0x2e80(%rsp)
vmovdqa64 0x2e80(%rsp), %zmm2
vmovdqa64 0x2ec0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x240(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2e40(%rsp)
vmovdqa64 %zmm1, 0x2e00(%rsp)
vmovdqa64 0x2e00(%rsp), %zmm2
vmovdqa64 0x2e40(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x200(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2dc0(%rsp)
vmovdqa64 %zmm1, 0x2d80(%rsp)
vmovdqa64 0x2d80(%rsp), %zmm2
vmovdqa64 0x2dc0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x640(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vmovdqa64 0x6c0(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm2
vmovdqa64 0x640(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 0x640(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x640(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
movl 0xbc(%rsp), %ecx
leaq 0x18(%rax,%rcx,8), %rcx
movb $0x1, 0x10ff(%rsp)
movq %rcx, 0x10f0(%rsp)
movq 0x10f0(%rsp), %rcx
vmovdqa64 %zmm0, 0xc400(%rsp)
vmovdqa64 0xc400(%rsp), %zmm1
kmovb 0x10ff(%rsp), %k1
vmovdqu64 (%rcx), %zmm1 {%k1}
vmovdqa64 %zmm2, 0x5dc0(%rsp)
vmovdqa64 %zmm1, 0x5d80(%rsp)
vmovdqa64 0x5dc0(%rsp), %zmm1
vmovdqa64 0x5d80(%rsp), %zmm2
vpxorq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x6840(%rsp)
vmovdqa64 %zmm1, 0x6800(%rsp)
vmovdqa64 0x6840(%rsp), %zmm1
vmovdqa64 0x6800(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x67c0(%rsp)
vmovdqa64 %zmm1, 0x6780(%rsp)
vmovdqa64 0x67c0(%rsp), %zmm1
vmovdqa64 0x6780(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x1c0(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9a80(%rsp)
vmovdqa64 %zmm2, 0x9a40(%rsp)
vmovdqa64 %zmm1, 0x9a00(%rsp)
vmovdqa64 0x9a80(%rsp), %zmm1
vmovdqa64 0x9a40(%rsp), %zmm2
vmovdqa64 0x9a00(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0xb340(%rsp)
vmovdqa64 %zmm1, 0xb300(%rsp)
vmovdqa64 0xb340(%rsp), %zmm1
vmovdqa64 0xb300(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0xb2c0(%rsp)
vmovdqa64 %zmm1, 0xb280(%rsp)
vmovdqa64 0xb2c0(%rsp), %zmm1
vmovdqa64 0xb280(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x180(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x99c0(%rsp)
vmovdqa64 %zmm2, 0x9980(%rsp)
vmovdqa64 %zmm1, 0x9940(%rsp)
vmovdqa64 0x99c0(%rsp), %zmm1
vmovdqa64 0x9980(%rsp), %zmm2
vmovdqa64 0x9940(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9900(%rsp)
vmovdqa64 %zmm2, 0x98c0(%rsp)
vmovdqa64 %zmm1, 0x9880(%rsp)
vmovdqa64 0x9900(%rsp), %zmm1
vmovdqa64 0x98c0(%rsp), %zmm2
vmovdqa64 0x9880(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9840(%rsp)
vmovdqa64 %zmm2, 0x9800(%rsp)
vmovdqa64 %zmm1, 0x97c0(%rsp)
vmovdqa64 0x9840(%rsp), %zmm1
vmovdqa64 0x9800(%rsp), %zmm2
vmovdqa64 0x97c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9780(%rsp)
vmovdqa64 %zmm2, 0x9740(%rsp)
vmovdqa64 %zmm1, 0x9700(%rsp)
vmovdqa64 0x9780(%rsp), %zmm1
vmovdqa64 0x9740(%rsp), %zmm2
vmovdqa64 0x9700(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x96c0(%rsp)
vmovdqa64 %zmm2, 0x9680(%rsp)
vmovdqa64 %zmm1, 0x9640(%rsp)
vmovdqa64 0x96c0(%rsp), %zmm1
vmovdqa64 0x9680(%rsp), %zmm2
vmovdqa64 0x9640(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0xc0(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9600(%rsp)
vmovdqa64 %zmm2, 0x95c0(%rsp)
vmovdqa64 %zmm1, 0x9580(%rsp)
vmovdqa64 0x9600(%rsp), %zmm1
vmovdqa64 0x95c0(%rsp), %zmm2
vmovdqa64 0x9580(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
movb $0x10, 0xbd3f(%rsp)
vmovdqa64 %zmm2, 0xbcc0(%rsp)
vmovdqa64 %zmm1, 0xbc80(%rsp)
vmovdqa64 0xbc80(%rsp), %zmm2
vmovdqa64 0xbcc0(%rsp), %zmm1
kmovb 0xbd3f(%rsp), %k1
vmovdqa64 %zmm2, %zmm1 {%k1}
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x4c0(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2d40(%rsp)
vmovdqa64 %zmm1, 0x2d00(%rsp)
vmovdqa64 0x2d00(%rsp), %zmm2
vmovdqa64 0x2d40(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x480(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2cc0(%rsp)
vmovdqa64 %zmm1, 0x2c80(%rsp)
vmovdqa64 0x2c80(%rsp), %zmm2
vmovdqa64 0x2cc0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vprolq $0x1, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x440(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4f40(%rsp)
vmovdqa64 %zmm1, 0x4f00(%rsp)
vmovdqa64 0x4f40(%rsp), %zmm1
vmovdqa64 0x4f00(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x400(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4ec0(%rsp)
vmovdqa64 %zmm1, 0x4e80(%rsp)
vmovdqa64 0x4ec0(%rsp), %zmm1
vmovdqa64 0x4e80(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x3c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4e40(%rsp)
vmovdqa64 %zmm1, 0x4e00(%rsp)
vmovdqa64 0x4e40(%rsp), %zmm1
vmovdqa64 0x4e00(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x380(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4dc0(%rsp)
vmovdqa64 %zmm1, 0x4d80(%rsp)
vmovdqa64 0x4dc0(%rsp), %zmm1
vmovdqa64 0x4d80(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm2
vmovdqa64 0x340(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4d40(%rsp)
vmovdqa64 %zmm1, 0x4d00(%rsp)
vmovdqa64 0x4d40(%rsp), %zmm1
vmovdqa64 0x4d00(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x300(%rsp), %zmm2
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2c40(%rsp)
vmovdqa64 %zmm1, 0x2c00(%rsp)
vmovdqa64 0x2c00(%rsp), %zmm2
vmovdqa64 0x2c40(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x2c0(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2bc0(%rsp)
vmovdqa64 %zmm1, 0x2b80(%rsp)
vmovdqa64 0x2b80(%rsp), %zmm2
vmovdqa64 0x2bc0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x280(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2b40(%rsp)
vmovdqa64 %zmm1, 0x2b00(%rsp)
vmovdqa64 0x2b00(%rsp), %zmm2
vmovdqa64 0x2b40(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x240(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2ac0(%rsp)
vmovdqa64 %zmm1, 0x2a80(%rsp)
vmovdqa64 0x2a80(%rsp), %zmm2
vmovdqa64 0x2ac0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x200(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2a40(%rsp)
vmovdqa64 %zmm1, 0x2a00(%rsp)
vmovdqa64 0x2a00(%rsp), %zmm2
vmovdqa64 0x2a40(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x640(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vmovdqa64 0x6c0(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm2
vmovdqa64 0x640(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 0x640(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x640(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
movl 0xbc(%rsp), %ecx
leaq 0x20(%rax,%rcx,8), %rcx
movb $0x1, 0x10ef(%rsp)
movq %rcx, 0x10e0(%rsp)
movq 0x10e0(%rsp), %rcx
vmovdqa64 %zmm0, 0xc440(%rsp)
vmovdqa64 0xc440(%rsp), %zmm1
kmovb 0x10ef(%rsp), %k1
vmovdqu64 (%rcx), %zmm1 {%k1}
vmovdqa64 %zmm2, 0x5d40(%rsp)
vmovdqa64 %zmm1, 0x5d00(%rsp)
vmovdqa64 0x5d40(%rsp), %zmm1
vmovdqa64 0x5d00(%rsp), %zmm2
vpxorq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x6740(%rsp)
vmovdqa64 %zmm1, 0x6700(%rsp)
vmovdqa64 0x6740(%rsp), %zmm1
vmovdqa64 0x6700(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x66c0(%rsp)
vmovdqa64 %zmm1, 0x6680(%rsp)
vmovdqa64 0x66c0(%rsp), %zmm1
vmovdqa64 0x6680(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x1c0(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9540(%rsp)
vmovdqa64 %zmm2, 0x9500(%rsp)
vmovdqa64 %zmm1, 0x94c0(%rsp)
vmovdqa64 0x9540(%rsp), %zmm1
vmovdqa64 0x9500(%rsp), %zmm2
vmovdqa64 0x94c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0xb240(%rsp)
vmovdqa64 %zmm1, 0xb200(%rsp)
vmovdqa64 0xb240(%rsp), %zmm1
vmovdqa64 0xb200(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0xb1c0(%rsp)
vmovdqa64 %zmm1, 0xb180(%rsp)
vmovdqa64 0xb1c0(%rsp), %zmm1
vmovdqa64 0xb180(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x180(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9480(%rsp)
vmovdqa64 %zmm2, 0x9440(%rsp)
vmovdqa64 %zmm1, 0x9400(%rsp)
vmovdqa64 0x9480(%rsp), %zmm1
vmovdqa64 0x9440(%rsp), %zmm2
vmovdqa64 0x9400(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x93c0(%rsp)
vmovdqa64 %zmm2, 0x9380(%rsp)
vmovdqa64 %zmm1, 0x9340(%rsp)
vmovdqa64 0x93c0(%rsp), %zmm1
vmovdqa64 0x9380(%rsp), %zmm2
vmovdqa64 0x9340(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9300(%rsp)
vmovdqa64 %zmm2, 0x92c0(%rsp)
vmovdqa64 %zmm1, 0x9280(%rsp)
vmovdqa64 0x9300(%rsp), %zmm1
vmovdqa64 0x92c0(%rsp), %zmm2
vmovdqa64 0x9280(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9240(%rsp)
vmovdqa64 %zmm2, 0x9200(%rsp)
vmovdqa64 %zmm1, 0x91c0(%rsp)
vmovdqa64 0x9240(%rsp), %zmm1
vmovdqa64 0x9200(%rsp), %zmm2
vmovdqa64 0x91c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9180(%rsp)
vmovdqa64 %zmm2, 0x9140(%rsp)
vmovdqa64 %zmm1, 0x9100(%rsp)
vmovdqa64 0x9180(%rsp), %zmm1
vmovdqa64 0x9140(%rsp), %zmm2
vmovdqa64 0x9100(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0xc0(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x90c0(%rsp)
vmovdqa64 %zmm2, 0x9080(%rsp)
vmovdqa64 %zmm1, 0x9040(%rsp)
vmovdqa64 0x90c0(%rsp), %zmm1
vmovdqa64 0x9080(%rsp), %zmm2
vmovdqa64 0x9040(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
movb $0x10, 0xbc7f(%rsp)
vmovdqa64 %zmm2, 0xbc00(%rsp)
vmovdqa64 %zmm1, 0xbbc0(%rsp)
vmovdqa64 0xbbc0(%rsp), %zmm2
vmovdqa64 0xbc00(%rsp), %zmm1
kmovb 0xbc7f(%rsp), %k1
vmovdqa64 %zmm2, %zmm1 {%k1}
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x4c0(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x29c0(%rsp)
vmovdqa64 %zmm1, 0x2980(%rsp)
vmovdqa64 0x2980(%rsp), %zmm2
vmovdqa64 0x29c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x480(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2940(%rsp)
vmovdqa64 %zmm1, 0x2900(%rsp)
vmovdqa64 0x2900(%rsp), %zmm2
vmovdqa64 0x2940(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vprolq $0x1, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x440(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4cc0(%rsp)
vmovdqa64 %zmm1, 0x4c80(%rsp)
vmovdqa64 0x4cc0(%rsp), %zmm1
vmovdqa64 0x4c80(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x400(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4c40(%rsp)
vmovdqa64 %zmm1, 0x4c00(%rsp)
vmovdqa64 0x4c40(%rsp), %zmm1
vmovdqa64 0x4c00(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x3c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4bc0(%rsp)
vmovdqa64 %zmm1, 0x4b80(%rsp)
vmovdqa64 0x4bc0(%rsp), %zmm1
vmovdqa64 0x4b80(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x380(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4b40(%rsp)
vmovdqa64 %zmm1, 0x4b00(%rsp)
vmovdqa64 0x4b40(%rsp), %zmm1
vmovdqa64 0x4b00(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm2
vmovdqa64 0x340(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4ac0(%rsp)
vmovdqa64 %zmm1, 0x4a80(%rsp)
vmovdqa64 0x4ac0(%rsp), %zmm1
vmovdqa64 0x4a80(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x300(%rsp), %zmm2
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 %zmm2, 0x28c0(%rsp)
vmovdqa64 %zmm1, 0x2880(%rsp)
vmovdqa64 0x2880(%rsp), %zmm2
vmovdqa64 0x28c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x2c0(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2840(%rsp)
vmovdqa64 %zmm1, 0x2800(%rsp)
vmovdqa64 0x2800(%rsp), %zmm2
vmovdqa64 0x2840(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x280(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 %zmm2, 0x27c0(%rsp)
vmovdqa64 %zmm1, 0x2780(%rsp)
vmovdqa64 0x2780(%rsp), %zmm2
vmovdqa64 0x27c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x240(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2740(%rsp)
vmovdqa64 %zmm1, 0x2700(%rsp)
vmovdqa64 0x2700(%rsp), %zmm2
vmovdqa64 0x2740(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x200(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm2, 0x26c0(%rsp)
vmovdqa64 %zmm1, 0x2680(%rsp)
vmovdqa64 0x2680(%rsp), %zmm2
vmovdqa64 0x26c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x640(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vmovdqa64 0x6c0(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm2
vmovdqa64 0x640(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 0x640(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x640(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
movl 0xbc(%rsp), %ecx
leaq 0x28(%rax,%rcx,8), %rcx
movb $0x1, 0x10df(%rsp)
movq %rcx, 0x10d0(%rsp)
movq 0x10d0(%rsp), %rcx
vmovdqa64 %zmm0, 0xc480(%rsp)
vmovdqa64 0xc480(%rsp), %zmm1
kmovb 0x10df(%rsp), %k1
vmovdqu64 (%rcx), %zmm1 {%k1}
vmovdqa64 %zmm2, 0x5cc0(%rsp)
vmovdqa64 %zmm1, 0x5c80(%rsp)
vmovdqa64 0x5cc0(%rsp), %zmm1
vmovdqa64 0x5c80(%rsp), %zmm2
vpxorq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x6640(%rsp)
vmovdqa64 %zmm1, 0x6600(%rsp)
vmovdqa64 0x6640(%rsp), %zmm1
vmovdqa64 0x6600(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x65c0(%rsp)
vmovdqa64 %zmm1, 0x6580(%rsp)
vmovdqa64 0x65c0(%rsp), %zmm1
vmovdqa64 0x6580(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x1c0(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x9000(%rsp)
vmovdqa64 %zmm2, 0x8fc0(%rsp)
vmovdqa64 %zmm1, 0x8f80(%rsp)
vmovdqa64 0x9000(%rsp), %zmm1
vmovdqa64 0x8fc0(%rsp), %zmm2
vmovdqa64 0x8f80(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0xb140(%rsp)
vmovdqa64 %zmm1, 0xb100(%rsp)
vmovdqa64 0xb140(%rsp), %zmm1
vmovdqa64 0xb100(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0xb0c0(%rsp)
vmovdqa64 %zmm1, 0xb080(%rsp)
vmovdqa64 0xb0c0(%rsp), %zmm1
vmovdqa64 0xb080(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x180(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8f40(%rsp)
vmovdqa64 %zmm2, 0x8f00(%rsp)
vmovdqa64 %zmm1, 0x8ec0(%rsp)
vmovdqa64 0x8f40(%rsp), %zmm1
vmovdqa64 0x8f00(%rsp), %zmm2
vmovdqa64 0x8ec0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8e80(%rsp)
vmovdqa64 %zmm2, 0x8e40(%rsp)
vmovdqa64 %zmm1, 0x8e00(%rsp)
vmovdqa64 0x8e80(%rsp), %zmm1
vmovdqa64 0x8e40(%rsp), %zmm2
vmovdqa64 0x8e00(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8dc0(%rsp)
vmovdqa64 %zmm2, 0x8d80(%rsp)
vmovdqa64 %zmm1, 0x8d40(%rsp)
vmovdqa64 0x8dc0(%rsp), %zmm1
vmovdqa64 0x8d80(%rsp), %zmm2
vmovdqa64 0x8d40(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8d00(%rsp)
vmovdqa64 %zmm2, 0x8cc0(%rsp)
vmovdqa64 %zmm1, 0x8c80(%rsp)
vmovdqa64 0x8d00(%rsp), %zmm1
vmovdqa64 0x8cc0(%rsp), %zmm2
vmovdqa64 0x8c80(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8c40(%rsp)
vmovdqa64 %zmm2, 0x8c00(%rsp)
vmovdqa64 %zmm1, 0x8bc0(%rsp)
vmovdqa64 0x8c40(%rsp), %zmm1
vmovdqa64 0x8c00(%rsp), %zmm2
vmovdqa64 0x8bc0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0xc0(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8b80(%rsp)
vmovdqa64 %zmm2, 0x8b40(%rsp)
vmovdqa64 %zmm1, 0x8b00(%rsp)
vmovdqa64 0x8b80(%rsp), %zmm1
vmovdqa64 0x8b40(%rsp), %zmm2
vmovdqa64 0x8b00(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
movb $0x10, 0xbbbf(%rsp)
vmovdqa64 %zmm2, 0xbb40(%rsp)
vmovdqa64 %zmm1, 0xbb00(%rsp)
vmovdqa64 0xbb00(%rsp), %zmm2
vmovdqa64 0xbb40(%rsp), %zmm1
kmovb 0xbbbf(%rsp), %k1
vmovdqa64 %zmm2, %zmm1 {%k1}
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x4c0(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2640(%rsp)
vmovdqa64 %zmm1, 0x2600(%rsp)
vmovdqa64 0x2600(%rsp), %zmm2
vmovdqa64 0x2640(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x480(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x25c0(%rsp)
vmovdqa64 %zmm1, 0x2580(%rsp)
vmovdqa64 0x2580(%rsp), %zmm2
vmovdqa64 0x25c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vprolq $0x1, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x440(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4a40(%rsp)
vmovdqa64 %zmm1, 0x4a00(%rsp)
vmovdqa64 0x4a40(%rsp), %zmm1
vmovdqa64 0x4a00(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x400(%rsp), %zmm1
vmovdqa64 %zmm2, 0x49c0(%rsp)
vmovdqa64 %zmm1, 0x4980(%rsp)
vmovdqa64 0x49c0(%rsp), %zmm1
vmovdqa64 0x4980(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x3c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4940(%rsp)
vmovdqa64 %zmm1, 0x4900(%rsp)
vmovdqa64 0x4940(%rsp), %zmm1
vmovdqa64 0x4900(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x380(%rsp), %zmm1
vmovdqa64 %zmm2, 0x48c0(%rsp)
vmovdqa64 %zmm1, 0x4880(%rsp)
vmovdqa64 0x48c0(%rsp), %zmm1
vmovdqa64 0x4880(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm2
vmovdqa64 0x340(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4840(%rsp)
vmovdqa64 %zmm1, 0x4800(%rsp)
vmovdqa64 0x4840(%rsp), %zmm1
vmovdqa64 0x4800(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x300(%rsp), %zmm2
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2540(%rsp)
vmovdqa64 %zmm1, 0x2500(%rsp)
vmovdqa64 0x2500(%rsp), %zmm2
vmovdqa64 0x2540(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x2c0(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x24c0(%rsp)
vmovdqa64 %zmm1, 0x2480(%rsp)
vmovdqa64 0x2480(%rsp), %zmm2
vmovdqa64 0x24c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x280(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2440(%rsp)
vmovdqa64 %zmm1, 0x2400(%rsp)
vmovdqa64 0x2400(%rsp), %zmm2
vmovdqa64 0x2440(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x240(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x23c0(%rsp)
vmovdqa64 %zmm1, 0x2380(%rsp)
vmovdqa64 0x2380(%rsp), %zmm2
vmovdqa64 0x23c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x200(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2340(%rsp)
vmovdqa64 %zmm1, 0x2300(%rsp)
vmovdqa64 0x2300(%rsp), %zmm2
vmovdqa64 0x2340(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x640(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vmovdqa64 0x6c0(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm2
vmovdqa64 0x640(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 0x640(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x640(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
movl 0xbc(%rsp), %ecx
leaq 0x30(%rax,%rcx,8), %rcx
movb $0x1, 0x10cf(%rsp)
movq %rcx, 0x10c0(%rsp)
movq 0x10c0(%rsp), %rcx
vmovdqa64 %zmm0, 0xc4c0(%rsp)
vmovdqa64 0xc4c0(%rsp), %zmm1
kmovb 0x10cf(%rsp), %k1
vmovdqu64 (%rcx), %zmm1 {%k1}
vmovdqa64 %zmm2, 0x5c40(%rsp)
vmovdqa64 %zmm1, 0x5c00(%rsp)
vmovdqa64 0x5c40(%rsp), %zmm1
vmovdqa64 0x5c00(%rsp), %zmm2
vpxorq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x6540(%rsp)
vmovdqa64 %zmm1, 0x6500(%rsp)
vmovdqa64 0x6540(%rsp), %zmm1
vmovdqa64 0x6500(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x64c0(%rsp)
vmovdqa64 %zmm1, 0x6480(%rsp)
vmovdqa64 0x64c0(%rsp), %zmm1
vmovdqa64 0x6480(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x1c0(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8ac0(%rsp)
vmovdqa64 %zmm2, 0x8a80(%rsp)
vmovdqa64 %zmm1, 0x8a40(%rsp)
vmovdqa64 0x8ac0(%rsp), %zmm1
vmovdqa64 0x8a80(%rsp), %zmm2
vmovdqa64 0x8a40(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0xb040(%rsp)
vmovdqa64 %zmm1, 0xb000(%rsp)
vmovdqa64 0xb040(%rsp), %zmm1
vmovdqa64 0xb000(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0xafc0(%rsp)
vmovdqa64 %zmm1, 0xaf80(%rsp)
vmovdqa64 0xafc0(%rsp), %zmm1
vmovdqa64 0xaf80(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x180(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8a00(%rsp)
vmovdqa64 %zmm2, 0x89c0(%rsp)
vmovdqa64 %zmm1, 0x8980(%rsp)
vmovdqa64 0x8a00(%rsp), %zmm1
vmovdqa64 0x89c0(%rsp), %zmm2
vmovdqa64 0x8980(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8940(%rsp)
vmovdqa64 %zmm2, 0x8900(%rsp)
vmovdqa64 %zmm1, 0x88c0(%rsp)
vmovdqa64 0x8940(%rsp), %zmm1
vmovdqa64 0x8900(%rsp), %zmm2
vmovdqa64 0x88c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8880(%rsp)
vmovdqa64 %zmm2, 0x8840(%rsp)
vmovdqa64 %zmm1, 0x8800(%rsp)
vmovdqa64 0x8880(%rsp), %zmm1
vmovdqa64 0x8840(%rsp), %zmm2
vmovdqa64 0x8800(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x87c0(%rsp)
vmovdqa64 %zmm2, 0x8780(%rsp)
vmovdqa64 %zmm1, 0x8740(%rsp)
vmovdqa64 0x87c0(%rsp), %zmm1
vmovdqa64 0x8780(%rsp), %zmm2
vmovdqa64 0x8740(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8700(%rsp)
vmovdqa64 %zmm2, 0x86c0(%rsp)
vmovdqa64 %zmm1, 0x8680(%rsp)
vmovdqa64 0x8700(%rsp), %zmm1
vmovdqa64 0x86c0(%rsp), %zmm2
vmovdqa64 0x8680(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0xc0(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8640(%rsp)
vmovdqa64 %zmm2, 0x8600(%rsp)
vmovdqa64 %zmm1, 0x85c0(%rsp)
vmovdqa64 0x8640(%rsp), %zmm1
vmovdqa64 0x8600(%rsp), %zmm2
vmovdqa64 0x85c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
movb $0x10, 0xbaff(%rsp)
vmovdqa64 %zmm2, 0xba80(%rsp)
vmovdqa64 %zmm1, 0xba40(%rsp)
vmovdqa64 0xba40(%rsp), %zmm2
vmovdqa64 0xba80(%rsp), %zmm1
kmovb 0xbaff(%rsp), %k1
vmovdqa64 %zmm2, %zmm1 {%k1}
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x4c0(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x22c0(%rsp)
vmovdqa64 %zmm1, 0x2280(%rsp)
vmovdqa64 0x2280(%rsp), %zmm2
vmovdqa64 0x22c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x480(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2240(%rsp)
vmovdqa64 %zmm1, 0x2200(%rsp)
vmovdqa64 0x2200(%rsp), %zmm2
vmovdqa64 0x2240(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vprolq $0x1, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x440(%rsp), %zmm1
vmovdqa64 %zmm2, 0x47c0(%rsp)
vmovdqa64 %zmm1, 0x4780(%rsp)
vmovdqa64 0x47c0(%rsp), %zmm1
vmovdqa64 0x4780(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x400(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4740(%rsp)
vmovdqa64 %zmm1, 0x4700(%rsp)
vmovdqa64 0x4740(%rsp), %zmm1
vmovdqa64 0x4700(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x3c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x46c0(%rsp)
vmovdqa64 %zmm1, 0x4680(%rsp)
vmovdqa64 0x46c0(%rsp), %zmm1
vmovdqa64 0x4680(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x380(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4640(%rsp)
vmovdqa64 %zmm1, 0x4600(%rsp)
vmovdqa64 0x4640(%rsp), %zmm1
vmovdqa64 0x4600(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm2
vmovdqa64 0x340(%rsp), %zmm1
vmovdqa64 %zmm2, 0x45c0(%rsp)
vmovdqa64 %zmm1, 0x4580(%rsp)
vmovdqa64 0x45c0(%rsp), %zmm1
vmovdqa64 0x4580(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x300(%rsp), %zmm2
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 %zmm2, 0x21c0(%rsp)
vmovdqa64 %zmm1, 0x2180(%rsp)
vmovdqa64 0x2180(%rsp), %zmm2
vmovdqa64 0x21c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x2c0(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2140(%rsp)
vmovdqa64 %zmm1, 0x2100(%rsp)
vmovdqa64 0x2100(%rsp), %zmm2
vmovdqa64 0x2140(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x280(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 %zmm2, 0x20c0(%rsp)
vmovdqa64 %zmm1, 0x2080(%rsp)
vmovdqa64 0x2080(%rsp), %zmm2
vmovdqa64 0x20c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x240(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x2040(%rsp)
vmovdqa64 %zmm1, 0x2000(%rsp)
vmovdqa64 0x2000(%rsp), %zmm2
vmovdqa64 0x2040(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x200(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1fc0(%rsp)
vmovdqa64 %zmm1, 0x1f80(%rsp)
vmovdqa64 0x1f80(%rsp), %zmm2
vmovdqa64 0x1fc0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x640(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vmovdqa64 0x6c0(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm2
vmovdqa64 0x640(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 0x640(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x640(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
movl 0xbc(%rsp), %ecx
leaq 0x38(%rax,%rcx,8), %rcx
movb $0x1, 0x10bf(%rsp)
movq %rcx, 0x10b0(%rsp)
movq 0x10b0(%rsp), %rcx
vmovdqa64 %zmm0, 0xc500(%rsp)
vmovdqa64 0xc500(%rsp), %zmm1
kmovb 0x10bf(%rsp), %k1
vmovdqu64 (%rcx), %zmm1 {%k1}
vmovdqa64 %zmm2, 0x5bc0(%rsp)
vmovdqa64 %zmm1, 0x5b80(%rsp)
vmovdqa64 0x5bc0(%rsp), %zmm1
vmovdqa64 0x5b80(%rsp), %zmm2
vpxorq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x6440(%rsp)
vmovdqa64 %zmm1, 0x6400(%rsp)
vmovdqa64 0x6440(%rsp), %zmm1
vmovdqa64 0x6400(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x63c0(%rsp)
vmovdqa64 %zmm1, 0x6380(%rsp)
vmovdqa64 0x63c0(%rsp), %zmm1
vmovdqa64 0x6380(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x1c0(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8580(%rsp)
vmovdqa64 %zmm2, 0x8540(%rsp)
vmovdqa64 %zmm1, 0x8500(%rsp)
vmovdqa64 0x8580(%rsp), %zmm1
vmovdqa64 0x8540(%rsp), %zmm2
vmovdqa64 0x8500(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0xaf40(%rsp)
vmovdqa64 %zmm1, 0xaf00(%rsp)
vmovdqa64 0xaf40(%rsp), %zmm1
vmovdqa64 0xaf00(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0xaec0(%rsp)
vmovdqa64 %zmm1, 0xae80(%rsp)
vmovdqa64 0xaec0(%rsp), %zmm1
vmovdqa64 0xae80(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x180(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x84c0(%rsp)
vmovdqa64 %zmm2, 0x8480(%rsp)
vmovdqa64 %zmm1, 0x8440(%rsp)
vmovdqa64 0x84c0(%rsp), %zmm1
vmovdqa64 0x8480(%rsp), %zmm2
vmovdqa64 0x8440(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8400(%rsp)
vmovdqa64 %zmm2, 0x83c0(%rsp)
vmovdqa64 %zmm1, 0x8380(%rsp)
vmovdqa64 0x8400(%rsp), %zmm1
vmovdqa64 0x83c0(%rsp), %zmm2
vmovdqa64 0x8380(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8340(%rsp)
vmovdqa64 %zmm2, 0x8300(%rsp)
vmovdqa64 %zmm1, 0x82c0(%rsp)
vmovdqa64 0x8340(%rsp), %zmm1
vmovdqa64 0x8300(%rsp), %zmm2
vmovdqa64 0x82c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8280(%rsp)
vmovdqa64 %zmm2, 0x8240(%rsp)
vmovdqa64 %zmm1, 0x8200(%rsp)
vmovdqa64 0x8280(%rsp), %zmm1
vmovdqa64 0x8240(%rsp), %zmm2
vmovdqa64 0x8200(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x81c0(%rsp)
vmovdqa64 %zmm2, 0x8180(%rsp)
vmovdqa64 %zmm1, 0x8140(%rsp)
vmovdqa64 0x81c0(%rsp), %zmm1
vmovdqa64 0x8180(%rsp), %zmm2
vmovdqa64 0x8140(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0xc0(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8100(%rsp)
vmovdqa64 %zmm2, 0x80c0(%rsp)
vmovdqa64 %zmm1, 0x8080(%rsp)
vmovdqa64 0x8100(%rsp), %zmm1
vmovdqa64 0x80c0(%rsp), %zmm2
vmovdqa64 0x8080(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
movb $0x10, 0xba3f(%rsp)
vmovdqa64 %zmm2, 0xb9c0(%rsp)
vmovdqa64 %zmm1, 0xb980(%rsp)
vmovdqa64 0xb980(%rsp), %zmm2
vmovdqa64 0xb9c0(%rsp), %zmm1
kmovb 0xba3f(%rsp), %k1
vmovdqa64 %zmm2, %zmm1 {%k1}
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x4c0(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1f40(%rsp)
vmovdqa64 %zmm1, 0x1f00(%rsp)
vmovdqa64 0x1f00(%rsp), %zmm2
vmovdqa64 0x1f40(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x480(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1ec0(%rsp)
vmovdqa64 %zmm1, 0x1e80(%rsp)
vmovdqa64 0x1e80(%rsp), %zmm2
vmovdqa64 0x1ec0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vprolq $0x1, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x440(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4540(%rsp)
vmovdqa64 %zmm1, 0x4500(%rsp)
vmovdqa64 0x4540(%rsp), %zmm1
vmovdqa64 0x4500(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x400(%rsp), %zmm1
vmovdqa64 %zmm2, 0x44c0(%rsp)
vmovdqa64 %zmm1, 0x4480(%rsp)
vmovdqa64 0x44c0(%rsp), %zmm1
vmovdqa64 0x4480(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x3c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4440(%rsp)
vmovdqa64 %zmm1, 0x4400(%rsp)
vmovdqa64 0x4440(%rsp), %zmm1
vmovdqa64 0x4400(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x380(%rsp), %zmm1
vmovdqa64 %zmm2, 0x43c0(%rsp)
vmovdqa64 %zmm1, 0x4380(%rsp)
vmovdqa64 0x43c0(%rsp), %zmm1
vmovdqa64 0x4380(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm2
vmovdqa64 0x340(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4340(%rsp)
vmovdqa64 %zmm1, 0x4300(%rsp)
vmovdqa64 0x4340(%rsp), %zmm1
vmovdqa64 0x4300(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x300(%rsp), %zmm2
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1e40(%rsp)
vmovdqa64 %zmm1, 0x1e00(%rsp)
vmovdqa64 0x1e00(%rsp), %zmm2
vmovdqa64 0x1e40(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x2c0(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1dc0(%rsp)
vmovdqa64 %zmm1, 0x1d80(%rsp)
vmovdqa64 0x1d80(%rsp), %zmm2
vmovdqa64 0x1dc0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x280(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1d40(%rsp)
vmovdqa64 %zmm1, 0x1d00(%rsp)
vmovdqa64 0x1d00(%rsp), %zmm2
vmovdqa64 0x1d40(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x240(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1cc0(%rsp)
vmovdqa64 %zmm1, 0x1c80(%rsp)
vmovdqa64 0x1c80(%rsp), %zmm2
vmovdqa64 0x1cc0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x200(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1c40(%rsp)
vmovdqa64 %zmm1, 0x1c00(%rsp)
vmovdqa64 0x1c00(%rsp), %zmm2
vmovdqa64 0x1c40(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x640(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vmovdqa64 0x6c0(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm2
vmovdqa64 0x640(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 0x640(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x640(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
movl 0xbc(%rsp), %ecx
leaq 0x40(%rax,%rcx,8), %rcx
movb $0x1, 0x10af(%rsp)
movq %rcx, 0x10a0(%rsp)
movq 0x10a0(%rsp), %rcx
vmovdqa64 %zmm0, 0xc540(%rsp)
vmovdqa64 0xc540(%rsp), %zmm1
kmovb 0x10af(%rsp), %k1
vmovdqu64 (%rcx), %zmm1 {%k1}
vmovdqa64 %zmm2, 0x5b40(%rsp)
vmovdqa64 %zmm1, 0x5b00(%rsp)
vmovdqa64 0x5b40(%rsp), %zmm1
vmovdqa64 0x5b00(%rsp), %zmm2
vpxorq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x6340(%rsp)
vmovdqa64 %zmm1, 0x6300(%rsp)
vmovdqa64 0x6340(%rsp), %zmm1
vmovdqa64 0x6300(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x62c0(%rsp)
vmovdqa64 %zmm1, 0x6280(%rsp)
vmovdqa64 0x62c0(%rsp), %zmm1
vmovdqa64 0x6280(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x1c0(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x8040(%rsp)
vmovdqa64 %zmm2, 0x8000(%rsp)
vmovdqa64 %zmm1, 0x7fc0(%rsp)
vmovdqa64 0x8040(%rsp), %zmm1
vmovdqa64 0x8000(%rsp), %zmm2
vmovdqa64 0x7fc0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0xae40(%rsp)
vmovdqa64 %zmm1, 0xae00(%rsp)
vmovdqa64 0xae40(%rsp), %zmm1
vmovdqa64 0xae00(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0xadc0(%rsp)
vmovdqa64 %zmm1, 0xad80(%rsp)
vmovdqa64 0xadc0(%rsp), %zmm1
vmovdqa64 0xad80(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x180(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7f80(%rsp)
vmovdqa64 %zmm2, 0x7f40(%rsp)
vmovdqa64 %zmm1, 0x7f00(%rsp)
vmovdqa64 0x7f80(%rsp), %zmm1
vmovdqa64 0x7f40(%rsp), %zmm2
vmovdqa64 0x7f00(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7ec0(%rsp)
vmovdqa64 %zmm2, 0x7e80(%rsp)
vmovdqa64 %zmm1, 0x7e40(%rsp)
vmovdqa64 0x7ec0(%rsp), %zmm1
vmovdqa64 0x7e80(%rsp), %zmm2
vmovdqa64 0x7e40(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7e00(%rsp)
vmovdqa64 %zmm2, 0x7dc0(%rsp)
vmovdqa64 %zmm1, 0x7d80(%rsp)
vmovdqa64 0x7e00(%rsp), %zmm1
vmovdqa64 0x7dc0(%rsp), %zmm2
vmovdqa64 0x7d80(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7d40(%rsp)
vmovdqa64 %zmm2, 0x7d00(%rsp)
vmovdqa64 %zmm1, 0x7cc0(%rsp)
vmovdqa64 0x7d40(%rsp), %zmm1
vmovdqa64 0x7d00(%rsp), %zmm2
vmovdqa64 0x7cc0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7c80(%rsp)
vmovdqa64 %zmm2, 0x7c40(%rsp)
vmovdqa64 %zmm1, 0x7c00(%rsp)
vmovdqa64 0x7c80(%rsp), %zmm1
vmovdqa64 0x7c40(%rsp), %zmm2
vmovdqa64 0x7c00(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0xc0(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7bc0(%rsp)
vmovdqa64 %zmm2, 0x7b80(%rsp)
vmovdqa64 %zmm1, 0x7b40(%rsp)
vmovdqa64 0x7bc0(%rsp), %zmm1
vmovdqa64 0x7b80(%rsp), %zmm2
vmovdqa64 0x7b40(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
movb $0x10, 0xb97f(%rsp)
vmovdqa64 %zmm2, 0xb900(%rsp)
vmovdqa64 %zmm1, 0xb8c0(%rsp)
vmovdqa64 0xb8c0(%rsp), %zmm2
vmovdqa64 0xb900(%rsp), %zmm1
kmovb 0xb97f(%rsp), %k1
vmovdqa64 %zmm2, %zmm1 {%k1}
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x4c0(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1bc0(%rsp)
vmovdqa64 %zmm1, 0x1b80(%rsp)
vmovdqa64 0x1b80(%rsp), %zmm2
vmovdqa64 0x1bc0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x480(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1b40(%rsp)
vmovdqa64 %zmm1, 0x1b00(%rsp)
vmovdqa64 0x1b00(%rsp), %zmm2
vmovdqa64 0x1b40(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vprolq $0x1, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x440(%rsp), %zmm1
vmovdqa64 %zmm2, 0x42c0(%rsp)
vmovdqa64 %zmm1, 0x4280(%rsp)
vmovdqa64 0x42c0(%rsp), %zmm1
vmovdqa64 0x4280(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x400(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4240(%rsp)
vmovdqa64 %zmm1, 0x4200(%rsp)
vmovdqa64 0x4240(%rsp), %zmm1
vmovdqa64 0x4200(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x3c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x41c0(%rsp)
vmovdqa64 %zmm1, 0x4180(%rsp)
vmovdqa64 0x41c0(%rsp), %zmm1
vmovdqa64 0x4180(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x380(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4140(%rsp)
vmovdqa64 %zmm1, 0x4100(%rsp)
vmovdqa64 0x4140(%rsp), %zmm1
vmovdqa64 0x4100(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm2
vmovdqa64 0x340(%rsp), %zmm1
vmovdqa64 %zmm2, 0x40c0(%rsp)
vmovdqa64 %zmm1, 0x4080(%rsp)
vmovdqa64 0x40c0(%rsp), %zmm1
vmovdqa64 0x4080(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x300(%rsp), %zmm2
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1ac0(%rsp)
vmovdqa64 %zmm1, 0x1a80(%rsp)
vmovdqa64 0x1a80(%rsp), %zmm2
vmovdqa64 0x1ac0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x2c0(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1a40(%rsp)
vmovdqa64 %zmm1, 0x1a00(%rsp)
vmovdqa64 0x1a00(%rsp), %zmm2
vmovdqa64 0x1a40(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x280(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 %zmm2, 0x19c0(%rsp)
vmovdqa64 %zmm1, 0x1980(%rsp)
vmovdqa64 0x1980(%rsp), %zmm2
vmovdqa64 0x19c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x240(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1940(%rsp)
vmovdqa64 %zmm1, 0x1900(%rsp)
vmovdqa64 0x1900(%rsp), %zmm2
vmovdqa64 0x1940(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x200(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm2, 0x18c0(%rsp)
vmovdqa64 %zmm1, 0x1880(%rsp)
vmovdqa64 0x1880(%rsp), %zmm2
vmovdqa64 0x18c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x640(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vmovdqa64 0x6c0(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm2
vmovdqa64 0x640(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 0x640(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x640(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
movl 0xbc(%rsp), %ecx
leaq 0x48(%rax,%rcx,8), %rcx
movb $0x1, 0x109f(%rsp)
movq %rcx, 0x1090(%rsp)
movq 0x1090(%rsp), %rcx
vmovdqa64 %zmm0, 0xc580(%rsp)
vmovdqa64 0xc580(%rsp), %zmm1
kmovb 0x109f(%rsp), %k1
vmovdqu64 (%rcx), %zmm1 {%k1}
vmovdqa64 %zmm2, 0x5ac0(%rsp)
vmovdqa64 %zmm1, 0x5a80(%rsp)
vmovdqa64 0x5ac0(%rsp), %zmm1
vmovdqa64 0x5a80(%rsp), %zmm2
vpxorq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x6240(%rsp)
vmovdqa64 %zmm1, 0x6200(%rsp)
vmovdqa64 0x6240(%rsp), %zmm1
vmovdqa64 0x6200(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x61c0(%rsp)
vmovdqa64 %zmm1, 0x6180(%rsp)
vmovdqa64 0x61c0(%rsp), %zmm1
vmovdqa64 0x6180(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x1c0(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7b00(%rsp)
vmovdqa64 %zmm2, 0x7ac0(%rsp)
vmovdqa64 %zmm1, 0x7a80(%rsp)
vmovdqa64 0x7b00(%rsp), %zmm1
vmovdqa64 0x7ac0(%rsp), %zmm2
vmovdqa64 0x7a80(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0xad40(%rsp)
vmovdqa64 %zmm1, 0xad00(%rsp)
vmovdqa64 0xad40(%rsp), %zmm1
vmovdqa64 0xad00(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0xacc0(%rsp)
vmovdqa64 %zmm1, 0xac80(%rsp)
vmovdqa64 0xacc0(%rsp), %zmm1
vmovdqa64 0xac80(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x180(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7a40(%rsp)
vmovdqa64 %zmm2, 0x7a00(%rsp)
vmovdqa64 %zmm1, 0x79c0(%rsp)
vmovdqa64 0x7a40(%rsp), %zmm1
vmovdqa64 0x7a00(%rsp), %zmm2
vmovdqa64 0x79c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7980(%rsp)
vmovdqa64 %zmm2, 0x7940(%rsp)
vmovdqa64 %zmm1, 0x7900(%rsp)
vmovdqa64 0x7980(%rsp), %zmm1
vmovdqa64 0x7940(%rsp), %zmm2
vmovdqa64 0x7900(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x78c0(%rsp)
vmovdqa64 %zmm2, 0x7880(%rsp)
vmovdqa64 %zmm1, 0x7840(%rsp)
vmovdqa64 0x78c0(%rsp), %zmm1
vmovdqa64 0x7880(%rsp), %zmm2
vmovdqa64 0x7840(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7800(%rsp)
vmovdqa64 %zmm2, 0x77c0(%rsp)
vmovdqa64 %zmm1, 0x7780(%rsp)
vmovdqa64 0x7800(%rsp), %zmm1
vmovdqa64 0x77c0(%rsp), %zmm2
vmovdqa64 0x7780(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7740(%rsp)
vmovdqa64 %zmm2, 0x7700(%rsp)
vmovdqa64 %zmm1, 0x76c0(%rsp)
vmovdqa64 0x7740(%rsp), %zmm1
vmovdqa64 0x7700(%rsp), %zmm2
vmovdqa64 0x76c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0xc0(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7680(%rsp)
vmovdqa64 %zmm2, 0x7640(%rsp)
vmovdqa64 %zmm1, 0x7600(%rsp)
vmovdqa64 0x7680(%rsp), %zmm1
vmovdqa64 0x7640(%rsp), %zmm2
vmovdqa64 0x7600(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
movb $0x10, 0xb8bf(%rsp)
vmovdqa64 %zmm2, 0xb840(%rsp)
vmovdqa64 %zmm1, 0xb800(%rsp)
vmovdqa64 0xb800(%rsp), %zmm2
vmovdqa64 0xb840(%rsp), %zmm1
kmovb 0xb8bf(%rsp), %k1
vmovdqa64 %zmm2, %zmm1 {%k1}
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x4c0(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1840(%rsp)
vmovdqa64 %zmm1, 0x1800(%rsp)
vmovdqa64 0x1800(%rsp), %zmm2
vmovdqa64 0x1840(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x480(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x17c0(%rsp)
vmovdqa64 %zmm1, 0x1780(%rsp)
vmovdqa64 0x1780(%rsp), %zmm2
vmovdqa64 0x17c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vprolq $0x1, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x440(%rsp), %zmm1
vmovdqa64 %zmm2, 0x4040(%rsp)
vmovdqa64 %zmm1, 0x4000(%rsp)
vmovdqa64 0x4040(%rsp), %zmm1
vmovdqa64 0x4000(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x400(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3fc0(%rsp)
vmovdqa64 %zmm1, 0x3f80(%rsp)
vmovdqa64 0x3fc0(%rsp), %zmm1
vmovdqa64 0x3f80(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x3c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3f40(%rsp)
vmovdqa64 %zmm1, 0x3f00(%rsp)
vmovdqa64 0x3f40(%rsp), %zmm1
vmovdqa64 0x3f00(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x380(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3ec0(%rsp)
vmovdqa64 %zmm1, 0x3e80(%rsp)
vmovdqa64 0x3ec0(%rsp), %zmm1
vmovdqa64 0x3e80(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm2
vmovdqa64 0x340(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3e40(%rsp)
vmovdqa64 %zmm1, 0x3e00(%rsp)
vmovdqa64 0x3e40(%rsp), %zmm1
vmovdqa64 0x3e00(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x300(%rsp), %zmm2
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1740(%rsp)
vmovdqa64 %zmm1, 0x1700(%rsp)
vmovdqa64 0x1700(%rsp), %zmm2
vmovdqa64 0x1740(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x2c0(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x16c0(%rsp)
vmovdqa64 %zmm1, 0x1680(%rsp)
vmovdqa64 0x1680(%rsp), %zmm2
vmovdqa64 0x16c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x280(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1640(%rsp)
vmovdqa64 %zmm1, 0x1600(%rsp)
vmovdqa64 0x1600(%rsp), %zmm2
vmovdqa64 0x1640(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x240(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x15c0(%rsp)
vmovdqa64 %zmm1, 0x1580(%rsp)
vmovdqa64 0x1580(%rsp), %zmm2
vmovdqa64 0x15c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x200(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1540(%rsp)
vmovdqa64 %zmm1, 0x1500(%rsp)
vmovdqa64 0x1500(%rsp), %zmm2
vmovdqa64 0x1540(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x640(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vmovdqa64 0x6c0(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm2
vmovdqa64 0x640(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 0x640(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x640(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
movl 0xbc(%rsp), %ecx
leaq 0x50(%rax,%rcx,8), %rcx
movb $0x1, 0x108f(%rsp)
movq %rcx, 0x1080(%rsp)
movq 0x1080(%rsp), %rcx
vmovdqa64 %zmm0, 0xc5c0(%rsp)
vmovdqa64 0xc5c0(%rsp), %zmm1
kmovb 0x108f(%rsp), %k1
vmovdqu64 (%rcx), %zmm1 {%k1}
vmovdqa64 %zmm2, 0x5a40(%rsp)
vmovdqa64 %zmm1, 0x5a00(%rsp)
vmovdqa64 0x5a40(%rsp), %zmm1
vmovdqa64 0x5a00(%rsp), %zmm2
vpxorq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x6140(%rsp)
vmovdqa64 %zmm1, 0x6100(%rsp)
vmovdqa64 0x6140(%rsp), %zmm1
vmovdqa64 0x6100(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x60c0(%rsp)
vmovdqa64 %zmm1, 0x6080(%rsp)
vmovdqa64 0x60c0(%rsp), %zmm1
vmovdqa64 0x6080(%rsp), %zmm2
vpunpcklqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[0],zmm2[0],zmm1[2],zmm2[2],zmm1[4],zmm2[4],zmm1[6],zmm2[6]
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x1c0(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x75c0(%rsp)
vmovdqa64 %zmm2, 0x7580(%rsp)
vmovdqa64 %zmm1, 0x7540(%rsp)
vmovdqa64 0x75c0(%rsp), %zmm1
vmovdqa64 0x7580(%rsp), %zmm2
vmovdqa64 0x7540(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0xac40(%rsp)
vmovdqa64 %zmm1, 0xac00(%rsp)
vmovdqa64 0xac40(%rsp), %zmm1
vmovdqa64 0xac00(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0xabc0(%rsp)
vmovdqa64 %zmm1, 0xab80(%rsp)
vmovdqa64 0xabc0(%rsp), %zmm1
vmovdqa64 0xab80(%rsp), %zmm2
vpunpckhqdq %zmm2, %zmm1, %zmm1 # zmm1 = zmm1[1],zmm2[1],zmm1[3],zmm2[3],zmm1[5],zmm2[5],zmm1[7],zmm2[7]
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x180(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7500(%rsp)
vmovdqa64 %zmm2, 0x74c0(%rsp)
vmovdqa64 %zmm1, 0x7480(%rsp)
vmovdqa64 0x7500(%rsp), %zmm1
vmovdqa64 0x74c0(%rsp), %zmm2
vmovdqa64 0x7480(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7440(%rsp)
vmovdqa64 %zmm2, 0x7400(%rsp)
vmovdqa64 %zmm1, 0x73c0(%rsp)
vmovdqa64 0x7440(%rsp), %zmm1
vmovdqa64 0x7400(%rsp), %zmm2
vmovdqa64 0x73c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x140(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7380(%rsp)
vmovdqa64 %zmm2, 0x7340(%rsp)
vmovdqa64 %zmm1, 0x7300(%rsp)
vmovdqa64 0x7380(%rsp), %zmm1
vmovdqa64 0x7340(%rsp), %zmm2
vmovdqa64 0x7300(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x72c0(%rsp)
vmovdqa64 %zmm2, 0x7280(%rsp)
vmovdqa64 %zmm1, 0x7240(%rsp)
vmovdqa64 0x72c0(%rsp), %zmm1
vmovdqa64 0x7280(%rsp), %zmm2
vmovdqa64 0x7240(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm3
vmovdqa64 0x100(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7200(%rsp)
vmovdqa64 %zmm2, 0x71c0(%rsp)
vmovdqa64 %zmm1, 0x7180(%rsp)
vmovdqa64 0x7200(%rsp), %zmm1
vmovdqa64 0x71c0(%rsp), %zmm2
vmovdqa64 0x7180(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x740(%rsp), %zmm3
vmovdqa64 0xc0(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 %zmm3, 0x7140(%rsp)
vmovdqa64 %zmm2, 0x7100(%rsp)
vmovdqa64 %zmm1, 0x70c0(%rsp)
vmovdqa64 0x7140(%rsp), %zmm1
vmovdqa64 0x7100(%rsp), %zmm2
vmovdqa64 0x70c0(%rsp), %zmm3
vpermt2q %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
movb $0x10, 0xb7ff(%rsp)
vmovdqa64 %zmm2, 0xb780(%rsp)
vmovdqa64 %zmm1, 0xb740(%rsp)
vmovdqa64 0xb740(%rsp), %zmm2
vmovdqa64 0xb780(%rsp), %zmm1
kmovb 0xb7ff(%rsp), %k1
vmovdqa64 %zmm2, %zmm1 {%k1}
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x4c0(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x14c0(%rsp)
vmovdqa64 %zmm1, 0x1480(%rsp)
vmovdqa64 0x1480(%rsp), %zmm2
vmovdqa64 0x14c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x480(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1440(%rsp)
vmovdqa64 %zmm1, 0x1400(%rsp)
vmovdqa64 0x1400(%rsp), %zmm2
vmovdqa64 0x1440(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vprolq $0x1, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0x96, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm2
vmovdqa64 0x440(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3dc0(%rsp)
vmovdqa64 %zmm1, 0x3d80(%rsp)
vmovdqa64 0x3dc0(%rsp), %zmm1
vmovdqa64 0x3d80(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x5c0(%rsp), %zmm2
vmovdqa64 0x400(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3d40(%rsp)
vmovdqa64 %zmm1, 0x3d00(%rsp)
vmovdqa64 0x3d40(%rsp), %zmm1
vmovdqa64 0x3d00(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm2
vmovdqa64 0x3c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3cc0(%rsp)
vmovdqa64 %zmm1, 0x3c80(%rsp)
vmovdqa64 0x3cc0(%rsp), %zmm1
vmovdqa64 0x3c80(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x540(%rsp), %zmm2
vmovdqa64 0x380(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3c40(%rsp)
vmovdqa64 %zmm1, 0x3c00(%rsp)
vmovdqa64 0x3c40(%rsp), %zmm1
vmovdqa64 0x3c00(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x500(%rsp), %zmm2
vmovdqa64 0x340(%rsp), %zmm1
vmovdqa64 %zmm2, 0x3bc0(%rsp)
vmovdqa64 %zmm1, 0x3b80(%rsp)
vmovdqa64 0x3bc0(%rsp), %zmm1
vmovdqa64 0x3b80(%rsp), %zmm2
vprolvq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x300(%rsp), %zmm2
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 %zmm2, 0x13c0(%rsp)
vmovdqa64 %zmm1, 0x1380(%rsp)
vmovdqa64 0x1380(%rsp), %zmm2
vmovdqa64 0x13c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x740(%rsp)
vmovdqa64 0x2c0(%rsp), %zmm2
vmovdqa64 0x5c0(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1340(%rsp)
vmovdqa64 %zmm1, 0x1300(%rsp)
vmovdqa64 0x1300(%rsp), %zmm2
vmovdqa64 0x1340(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x700(%rsp)
vmovdqa64 0x280(%rsp), %zmm2
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 %zmm2, 0x12c0(%rsp)
vmovdqa64 %zmm1, 0x1280(%rsp)
vmovdqa64 0x1280(%rsp), %zmm2
vmovdqa64 0x12c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x6c0(%rsp)
vmovdqa64 0x240(%rsp), %zmm2
vmovdqa64 0x540(%rsp), %zmm1
vmovdqa64 %zmm2, 0x1240(%rsp)
vmovdqa64 %zmm1, 0x1200(%rsp)
vmovdqa64 0x1200(%rsp), %zmm2
vmovdqa64 0x1240(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x680(%rsp)
vmovdqa64 0x200(%rsp), %zmm2
vmovdqa64 0x500(%rsp), %zmm1
vmovdqa64 %zmm2, 0x11c0(%rsp)
vmovdqa64 %zmm1, 0x1180(%rsp)
vmovdqa64 0x1180(%rsp), %zmm2
vmovdqa64 0x11c0(%rsp), %zmm1
vpermq %zmm2, %zmm1, %zmm1
vmovdqa64 %zmm1, 0x640(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm2
vmovdqa64 0x6c0(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x600(%rsp)
vmovdqa64 0x700(%rsp), %zmm1
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x680(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x5c0(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm2
vmovdqa64 0x640(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x580(%rsp)
vmovdqa64 0x680(%rsp), %zmm1
vmovdqa64 0x640(%rsp), %zmm2
vmovdqa64 0x740(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x540(%rsp)
vmovdqa64 0x640(%rsp), %zmm1
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x700(%rsp), %zmm3
vpternlogq $0xd2, %zmm3, %zmm2, %zmm1
vmovdqa64 %zmm1, 0x500(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
movl 0xbc(%rsp), %ecx
leaq 0x58(%rax,%rcx,8), %rax
movb $0x1, 0x107f(%rsp)
movq %rax, 0x1070(%rsp)
movq 0x1070(%rsp), %rax
vmovdqa64 %zmm0, 0xc600(%rsp)
vmovdqa64 0xc600(%rsp), %zmm0
kmovb 0x107f(%rsp), %k1
vmovdqu64 (%rax), %zmm0 {%k1}
vmovdqa64 %zmm1, 0x59c0(%rsp)
vmovdqa64 %zmm0, 0x5980(%rsp)
vmovdqa64 0x59c0(%rsp), %zmm0
vmovdqa64 0x5980(%rsp), %zmm1
vpxorq %zmm1, %zmm0, %zmm0
vmovdqa64 %zmm0, 0x600(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm0
vmovdqa64 %zmm1, 0x6040(%rsp)
vmovdqa64 %zmm0, 0x6000(%rsp)
vmovdqa64 0x6040(%rsp), %zmm0
vmovdqa64 0x6000(%rsp), %zmm1
vpunpcklqdq %zmm1, %zmm0, %zmm0 # zmm0 = zmm0[0],zmm1[0],zmm0[2],zmm1[2],zmm0[4],zmm1[4],zmm0[6],zmm1[6]
vmovdqa64 %zmm0, 0x740(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x540(%rsp), %zmm0
vmovdqa64 %zmm1, 0x5fc0(%rsp)
vmovdqa64 %zmm0, 0x5f80(%rsp)
vmovdqa64 0x5fc0(%rsp), %zmm0
vmovdqa64 0x5f80(%rsp), %zmm1
vpunpcklqdq %zmm1, %zmm0, %zmm0 # zmm0 = zmm0[0],zmm1[0],zmm0[2],zmm1[2],zmm0[4],zmm1[4],zmm0[6],zmm1[6]
vmovdqa64 %zmm0, 0x700(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x1c0(%rsp), %zmm1
vmovdqa64 0x500(%rsp), %zmm0
vmovdqa64 %zmm2, 0x7080(%rsp)
vmovdqa64 %zmm1, 0x7040(%rsp)
vmovdqa64 %zmm0, 0x7000(%rsp)
vmovdqa64 0x7080(%rsp), %zmm0
vmovdqa64 0x7040(%rsp), %zmm1
vmovdqa64 0x7000(%rsp), %zmm2
vpermt2q %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x740(%rsp)
vmovdqa64 0x600(%rsp), %zmm1
vmovdqa64 0x5c0(%rsp), %zmm0
vmovdqa64 %zmm1, 0xab40(%rsp)
vmovdqa64 %zmm0, 0xab00(%rsp)
vmovdqa64 0xab40(%rsp), %zmm0
vmovdqa64 0xab00(%rsp), %zmm1
vpunpckhqdq %zmm1, %zmm0, %zmm0 # zmm0 = zmm0[1],zmm1[1],zmm0[3],zmm1[3],zmm0[5],zmm1[5],zmm0[7],zmm1[7]
vmovdqa64 %zmm0, 0x6c0(%rsp)
vmovdqa64 0x580(%rsp), %zmm1
vmovdqa64 0x540(%rsp), %zmm0
vmovdqa64 %zmm1, 0xaac0(%rsp)
vmovdqa64 %zmm0, 0xaa80(%rsp)
vmovdqa64 0xaac0(%rsp), %zmm0
vmovdqa64 0xaa80(%rsp), %zmm1
vpunpckhqdq %zmm1, %zmm0, %zmm0 # zmm0 = zmm0[1],zmm1[1],zmm0[3],zmm1[3],zmm0[5],zmm1[5],zmm0[7],zmm1[7]
vmovdqa64 %zmm0, 0x680(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x180(%rsp), %zmm1
vmovdqa64 0x500(%rsp), %zmm0
vmovdqa64 %zmm2, 0x6fc0(%rsp)
vmovdqa64 %zmm1, 0x6f80(%rsp)
vmovdqa64 %zmm0, 0x6f40(%rsp)
vmovdqa64 0x6fc0(%rsp), %zmm0
vmovdqa64 0x6f80(%rsp), %zmm1
vmovdqa64 0x6f40(%rsp), %zmm2
vpermt2q %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x6c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x140(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm0
vmovdqa64 %zmm2, 0x6f00(%rsp)
vmovdqa64 %zmm1, 0x6ec0(%rsp)
vmovdqa64 %zmm0, 0x6e80(%rsp)
vmovdqa64 0x6f00(%rsp), %zmm0
vmovdqa64 0x6ec0(%rsp), %zmm1
vmovdqa64 0x6e80(%rsp), %zmm2
vpermt2q %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x600(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x140(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm0
vmovdqa64 %zmm2, 0x6e40(%rsp)
vmovdqa64 %zmm1, 0x6e00(%rsp)
vmovdqa64 %zmm0, 0x6dc0(%rsp)
vmovdqa64 0x6e40(%rsp), %zmm0
vmovdqa64 0x6e00(%rsp), %zmm1
vmovdqa64 0x6dc0(%rsp), %zmm2
vpermt2q %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x5c0(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0x100(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm0
vmovdqa64 %zmm2, 0x6d80(%rsp)
vmovdqa64 %zmm1, 0x6d40(%rsp)
vmovdqa64 %zmm0, 0x6d00(%rsp)
vmovdqa64 0x6d80(%rsp), %zmm0
vmovdqa64 0x6d40(%rsp), %zmm1
vmovdqa64 0x6d00(%rsp), %zmm2
vpermt2q %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x580(%rsp)
vmovdqa64 0x6c0(%rsp), %zmm2
vmovdqa64 0x100(%rsp), %zmm1
vmovdqa64 0x680(%rsp), %zmm0
vmovdqa64 %zmm2, 0x6cc0(%rsp)
vmovdqa64 %zmm1, 0x6c80(%rsp)
vmovdqa64 %zmm0, 0x6c40(%rsp)
vmovdqa64 0x6cc0(%rsp), %zmm0
vmovdqa64 0x6c80(%rsp), %zmm1
vmovdqa64 0x6c40(%rsp), %zmm2
vpermt2q %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x540(%rsp)
vmovdqa64 0x740(%rsp), %zmm2
vmovdqa64 0xc0(%rsp), %zmm1
vmovdqa64 0x700(%rsp), %zmm0
vmovdqa64 %zmm2, 0x6c00(%rsp)
vmovdqa64 %zmm1, 0x6bc0(%rsp)
vmovdqa64 %zmm0, 0x6b80(%rsp)
vmovdqa64 0x6c00(%rsp), %zmm0
vmovdqa64 0x6bc0(%rsp), %zmm1
vmovdqa64 0x6b80(%rsp), %zmm2
vpermt2q %zmm2, %zmm1, %zmm0
vmovdqa64 %zmm0, 0x740(%rsp)
vmovdqa64 0x740(%rsp), %zmm1
vmovdqa64 0x500(%rsp), %zmm0
movb $0x10, 0xb73f(%rsp)
vmovdqa64 %zmm1, 0xb6c0(%rsp)
vmovdqa64 %zmm0, 0xb680(%rsp)
vmovdqa64 0xb680(%rsp), %zmm1
vmovdqa64 0xb6c0(%rsp), %zmm0
kmovb 0xb73f(%rsp), %k1
vmovdqa64 %zmm1, %zmm0 {%k1}
vmovdqa64 %zmm0, 0x500(%rsp)
movl 0xbc(%rsp), %eax
addl $0xc, %eax
movl %eax, 0xbc(%rsp)
cmpl $0x18, %eax
jb 0xf60c
movq 0xb0(%rsp), %rax
vmovdqa64 0x600(%rsp), %zmm0
movq %rax, 0xc1f8(%rsp)
movb $0x1f, 0xc1f7(%rsp)
vmovdqa64 %zmm0, 0xc180(%rsp)
movq 0xc1f8(%rsp), %rax
vmovdqa64 0xc180(%rsp), %zmm0
kmovb 0xc1f7(%rsp), %k1
vmovdqu64 %zmm0, (%rax) {%k1}
movq 0xb0(%rsp), %rax
addq $0x28, %rax
vmovdqa64 0x5c0(%rsp), %zmm0
movq %rax, 0xc178(%rsp)
movb $0x1f, 0xc177(%rsp)
vmovdqa64 %zmm0, 0xc100(%rsp)
movq 0xc178(%rsp), %rax
vmovdqa64 0xc100(%rsp), %zmm0
kmovb 0xc177(%rsp), %k1
vmovdqu64 %zmm0, (%rax) {%k1}
movq 0xb0(%rsp), %rax
addq $0x50, %rax
vmovdqa64 0x580(%rsp), %zmm0
movq %rax, 0xc0f8(%rsp)
movb $0x1f, 0xc0f7(%rsp)
vmovdqa64 %zmm0, 0xc080(%rsp)
movq 0xc0f8(%rsp), %rax
vmovdqa64 0xc080(%rsp), %zmm0
kmovb 0xc0f7(%rsp), %k1
vmovdqu64 %zmm0, (%rax) {%k1}
movq 0xb0(%rsp), %rax
addq $0x78, %rax
vmovdqa64 0x540(%rsp), %zmm0
movq %rax, 0xc078(%rsp)
movb $0x1f, 0xc077(%rsp)
vmovdqa64 %zmm0, 0xc000(%rsp)
movq 0xc078(%rsp), %rax
vmovdqa64 0xc000(%rsp), %zmm0
kmovb 0xc077(%rsp), %k1
vmovdqu64 %zmm0, (%rax) {%k1}
movq 0xb0(%rsp), %rax
addq $0xa0, %rax
vmovdqa64 0x500(%rsp), %zmm0
movq %rax, 0xbff8(%rsp)
movb $0x1f, 0xbff7(%rsp)
vmovdqa64 %zmm0, 0xbf80(%rsp)
movq 0xbff8(%rsp), %rax
vmovdqa64 0xbf80(%rsp), %zmm0
movb 0xbff7(%rsp), %dl
movb %dl, %cl
kmovd %ecx, %k1
vmovdqu64 %zmm0, (%rax) {%k1}
movq %rbp, %rsp
popq %rbp
vzeroupper
retq
nop