// File: AutomataLab[P]JSONSki/src/QueryProcessor.cpp
// Function: QueryProcessor::goToObjElemInRange(long&, int&, bitmap&)
__attribute__((always_inline)) int QueryProcessor::goToObjElemInRange(long& pos, int& num_elements, bitmap& bm) {
     do {
        int element_type = getElementType(pos);
        int result = 0;
        switch(element_type) {
            case PRIMITIVE: {
                JumpInfo res = goOverPrimElemsInRange(pos, num_elements, bm);
                if (res.status == ARRAY_END) {
                    return res.status;
                }
                if (res.status == SUCCESS) {
                    return RANGE_END;
                }
                if (res.status == PARTIAL_SKIP) {
                    num_elements = num_elements - res.num_comma + 1;
                }
                break;
            }
            case OBJECT:
                return SUCCESS;
            case ARRAY:
                goOverAry(pos, bm);
                break;
        }
        --num_elements;
        if (!hasMoreElements(pos)) {
            return ARRAY_END;
        }
    } while (num_elements > 0);
    return RANGE_END;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
andq $-0x20, %rsp
subq $0xfa0, %rsp            # imm = 0xFA0
movq %rdi, 0xd8(%rsp)
movq %rsi, 0xd0(%rsp)
movq %rdx, 0xc8(%rsp)
movq %rcx, 0xc0(%rsp)
movq 0xd8(%rsp), %rax
movq %rax, 0xa8(%rsp)
movq 0xa8(%rsp), %rcx
movq 0xd0(%rsp), %rax
movq %rcx, 0x728(%rsp)
movq %rax, 0x720(%rsp)
movq 0x728(%rsp), %rax
movq %rax, 0xa0(%rsp)
movq 0xa0(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x720(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %eax
cmpl $0x20, %eax
jne 0x33476
movq 0x720(%rsp), %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
jmp 0x3343f
movq 0xa0(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x720(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %eax
cmpl $0x7b, %eax
jne 0x334a6
movl $0x65, 0x734(%rsp)
jmp 0x334e1
movq 0xa0(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x720(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %eax
cmpl $0x5b, %eax
jne 0x334d6
movl $0x66, 0x734(%rsp)
jmp 0x334e1
movl $0x67, 0x734(%rsp)
movl 0x734(%rsp), %eax
movl %eax, 0xbc(%rsp)
movl $0x0, 0xb8(%rsp)
movl 0xbc(%rsp), %eax
movl %eax, 0x9c(%rsp)
subl $0x65, %eax
je 0x348ba
jmp 0x33513
movl 0x9c(%rsp), %eax
subl $0x66, %eax
je 0x348ca
jmp 0x33525
movl 0x9c(%rsp), %eax
subl $0x67, %eax
jne 0x35918
jmp 0x33537
movq 0xa8(%rsp), %rsi
movq 0xd0(%rsp), %rdx
movq 0xc8(%rsp), %rax
movl (%rax), %ecx
movq 0xc0(%rsp), %rax
movq %rsi, 0x7e8(%rsp)
movq %rdx, 0x7e0(%rsp)
movl %ecx, 0x7dc(%rsp)
movq %rax, 0x7d0(%rsp)
movq 0x7e8(%rsp), %rax
movq %rax, 0x90(%rsp)
movq 0x7e0(%rsp), %rax
movq (%rax), %rax
movl $0x40, %ecx
cqto
idivq %rcx
movl %eax, 0x7cc(%rsp)
movb $0x0, 0x7cb(%rsp)
movl $0x0, 0x7c4(%rsp)
movq 0x90(%rsp), %rcx
movslq 0x7cc(%rsp), %rax
cmpq 0x2e0(%rcx), %rax
jge 0x3483b
movq 0x90(%rsp), %rcx
movslq 0x7cc(%rsp), %rax
cmpq 0x270(%rcx), %rax
jle 0x33c46
movq 0x90(%rsp), %rax
movq 0x7d0(%rsp), %rcx
movq %rax, 0xf48(%rsp)
movq %rcx, 0xf40(%rsp)
movq 0xf40(%rsp), %rcx
movb $0x0, 0x30(%rcx)
movq 0xf40(%rsp), %rcx
movb $0x0, 0x31(%rcx)
movq 0xf40(%rsp), %rcx
movb $0x0, 0x32(%rcx)
movq 0xf40(%rsp), %rcx
movb $0x0, 0x33(%rcx)
movq 0xf40(%rsp), %rcx
movb $0x0, 0x34(%rcx)
movq 0xf40(%rsp), %rcx
movb $0x0, 0x35(%rcx)
movl 0x7cc(%rsp), %ecx
addl %ecx, %ecx
movslq %ecx, %rcx
movq %rcx, 0x88(%rax)
movq %rax, 0x888(%rsp)
movq 0x888(%rsp), %rax
movq %rax, 0x80(%rsp)
movq 0x88(%rax), %rcx
movq %rcx, %rdx
shrq $0x3f, %rdx
addq %rdx, %rcx
sarq %rcx
movq %rcx, 0x270(%rax)
movq 0x88(%rax), %rcx
shlq $0x5, %rcx
movq %rcx, 0x860(%rsp)
movq 0x2c8(%rax), %rcx
movq 0x860(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x898(%rsp)
movq 0x898(%rsp), %rcx
vmovups (%rcx), %ymm0
vmovaps %ymm0, 0xa0(%rax)
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x140(%rax), %ymm0
vmovaps %ymm1, 0xa00(%rsp)
vmovaps %ymm0, 0x9e0(%rsp)
vmovaps 0xa00(%rsp), %ymm0
vmovaps 0x9e0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x900(%rsp)
vmovaps 0x900(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x880(%rsp)
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x180(%rax), %ymm0
vmovaps %ymm1, 0x9c0(%rsp)
vmovaps %ymm0, 0x9a0(%rsp)
vmovaps 0x9c0(%rsp), %ymm0
vmovaps 0x9a0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x8e0(%rsp)
vmovaps 0x8e0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x878(%rsp)
movq 0x88(%rax), %rcx
incq %rcx
movq %rcx, 0x88(%rax)
movq 0x88(%rax), %rcx
shlq $0x5, %rcx
movq %rcx, 0x860(%rsp)
movq 0x2c8(%rax), %rcx
movq 0x860(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x890(%rsp)
movq 0x890(%rsp), %rcx
vmovups (%rcx), %ymm0
vmovaps %ymm0, 0xc0(%rax)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x140(%rax), %ymm0
vmovaps %ymm1, 0x980(%rsp)
vmovaps %ymm0, 0x960(%rsp)
vmovaps 0x980(%rsp), %ymm0
vmovaps 0x960(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x8c0(%rsp)
vmovaps 0x8c0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x870(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x180(%rax), %ymm0
vmovaps %ymm1, 0x940(%rsp)
vmovaps %ymm0, 0x920(%rsp)
vmovaps 0x940(%rsp), %ymm0
vmovaps 0x920(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x8a0(%rsp)
vmovaps 0x8a0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x868(%rsp)
movq 0x870(%rsp), %rcx
shlq $0x20, %rcx
movq 0x880(%rsp), %rdx
orq %rdx, %rcx
movq %rcx, 0x870(%rsp)
movq 0x868(%rsp), %rcx
shlq $0x20, %rcx
movq 0x878(%rsp), %rdx
orq %rdx, %rcx
movq %rcx, 0x868(%rsp)
movq 0x868(%rsp), %rcx
movq %rcx, 0x858(%rsp)
movq 0x858(%rsp), %rcx
movq %rcx, %rdx
addq %rdx, %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x850(%rsp)
movq 0x240(%rax), %rdx
movq 0x250(%rax), %rcx
xorq %rdx, %rcx
movq %rcx, 0x848(%rsp)
movq 0x850(%rsp), %rcx
movq 0x848(%rsp), %rdx
andq %rdx, %rcx
movq %rcx, 0x840(%rsp)
movq 0x850(%rsp), %rcx
movq 0x848(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x838(%rsp)
movq 0x858(%rsp), %rcx
movq 0x840(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x830(%rsp)
movq 0x858(%rsp), %rcx
movq 0x838(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x828(%rsp)
setb 0x827(%rsp)
movq 0x240(%rax), %rdx
movq 0x828(%rsp), %rcx
orq %rdx, %rcx
movq %rcx, 0x828(%rsp)
movzbl 0x827(%rsp), %ecx
andl $0x1, %ecx
movq %rcx, 0x240(%rax)
movq 0x830(%rsp), %rcx
movq 0x858(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x818(%rsp)
movq 0x828(%rsp), %rcx
movq 0x858(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x810(%rsp)
movq 0x818(%rsp), %rcx
movq 0x258(%rax), %rdx
andq %rdx, %rcx
movq %rcx, 0x808(%rsp)
movq 0x810(%rsp), %rcx
movq 0x250(%rax), %rdx
andq %rdx, %rcx
movq %rcx, 0x800(%rsp)
movq 0x808(%rsp), %rcx
movq 0x800(%rsp), %rdx
orq %rdx, %rcx
movq %rcx, 0x7f8(%rsp)
movq 0x870(%rsp), %rcx
movq 0x7f8(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0xe0(%rax)
movq 0xe0(%rax), %rcx
movq $0x0, 0xa60(%rsp)
movq %rcx, 0xa58(%rsp)
vmovq 0xa60(%rsp), %xmm1
vmovq 0xa58(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0xa40(%rsp)
vmovdqa 0xa40(%rsp), %xmm0
movb $-0x1, 0xa6f(%rsp)
movb 0xa6f(%rsp), %cl
movb %cl, 0x8f(%rsp)
movb %cl, 0xf6f(%rsp)
movb %cl, 0xf6e(%rsp)
movb %cl, 0xf6d(%rsp)
movb %cl, 0xf6c(%rsp)
movb %cl, 0xf6b(%rsp)
movb %cl, 0xf6a(%rsp)
movb %cl, 0xf69(%rsp)
movb %cl, 0xf68(%rsp)
movb %cl, 0xf67(%rsp)
movb %cl, 0xf66(%rsp)
movb %cl, 0xf65(%rsp)
movb %cl, 0xf64(%rsp)
movb %cl, 0xf63(%rsp)
movb %cl, 0xf62(%rsp)
movb %cl, 0xf61(%rsp)
movb %cl, 0xf60(%rsp)
movzbl 0xf60(%rsp), %ecx
vmovd %ecx, %xmm1
movzbl 0xf61(%rsp), %ecx
vpinsrb $0x1, %ecx, %xmm1, %xmm1
movzbl 0xf62(%rsp), %ecx
vpinsrb $0x2, %ecx, %xmm1, %xmm1
movzbl 0xf63(%rsp), %ecx
vpinsrb $0x3, %ecx, %xmm1, %xmm1
movzbl 0xf64(%rsp), %ecx
vpinsrb $0x4, %ecx, %xmm1, %xmm1
movzbl 0xf65(%rsp), %ecx
vpinsrb $0x5, %ecx, %xmm1, %xmm1
movzbl 0xf66(%rsp), %ecx
vpinsrb $0x6, %ecx, %xmm1, %xmm1
movzbl 0xf67(%rsp), %ecx
vpinsrb $0x7, %ecx, %xmm1, %xmm1
movzbl 0xf68(%rsp), %ecx
vpinsrb $0x8, %ecx, %xmm1, %xmm1
movzbl 0xf69(%rsp), %ecx
vpinsrb $0x9, %ecx, %xmm1, %xmm1
movzbl 0xf6a(%rsp), %ecx
vpinsrb $0xa, %ecx, %xmm1, %xmm1
movzbl 0xf6b(%rsp), %ecx
vpinsrb $0xb, %ecx, %xmm1, %xmm1
movzbl 0xf6c(%rsp), %ecx
vpinsrb $0xc, %ecx, %xmm1, %xmm1
movzbl 0xf6d(%rsp), %ecx
vpinsrb $0xd, %ecx, %xmm1, %xmm1
movzbl 0xf6e(%rsp), %ecx
vpinsrb $0xe, %ecx, %xmm1, %xmm1
movzbl 0xf6f(%rsp), %ecx
vpinsrb $0xf, %ecx, %xmm1, %xmm1
vmovdqa %xmm1, 0xf50(%rsp)
vmovdqa 0xf50(%rsp), %xmm1
vpclmulqdq $0x0, %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0xa30(%rsp)
movq 0xa30(%rsp), %rcx
movq %rcx, (%rax)
movq 0x248(%rax), %rcx
xorq (%rax), %rcx
movq %rcx, (%rax)
movq (%rax), %rcx
sarq $0x3f, %rcx
movq %rcx, 0x248(%rax)
movq 0x90(%rsp), %rcx
movq 0x7d0(%rsp), %rax
movq %rcx, 0xb78(%rsp)
movq %rax, 0xb70(%rsp)
movq 0xb78(%rsp), %rax
movq %rax, 0x78(%rsp)
movq 0xb70(%rsp), %rax
movb 0x32(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x33dad
movq 0x78(%rsp), %rcx
movq 0xb70(%rsp), %rax
movq %rcx, 0xb98(%rsp)
movq %rax, 0xb90(%rsp)
movq 0xb98(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x1a0(%rax), %ymm0
vmovaps %ymm1, 0xc40(%rsp)
vmovaps %ymm0, 0xc20(%rsp)
vmovaps 0xc40(%rsp), %ymm0
vmovaps 0xc20(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0xbc0(%rsp)
vmovaps 0xbc0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0xb88(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x1a0(%rax), %ymm0
vmovaps %ymm1, 0xc00(%rsp)
vmovaps %ymm0, 0xbe0(%rsp)
vmovaps 0xc00(%rsp), %ymm0
vmovaps 0xbe0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0xba0(%rsp)
vmovdqa 0xba0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movl %ecx, %ecx
movq %rcx, 0xb80(%rsp)
movq 0xb80(%rsp), %rdx
shlq $0x20, %rdx
orq 0xb88(%rsp), %rdx
movq 0xb90(%rsp), %rcx
movq %rdx, 0x10(%rcx)
movq 0xb90(%rsp), %rcx
movq 0x10(%rcx), %rcx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0xb90(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0xb70(%rsp), %rax
movb $0x1, 0x32(%rax)
movq 0x90(%rsp), %rcx
movq 0x7d0(%rsp), %rax
movq %rcx, 0xc78(%rsp)
movq %rax, 0xc70(%rsp)
movq 0xc78(%rsp), %rax
movq %rax, 0x70(%rsp)
movq 0xc70(%rsp), %rax
movb 0x34(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x33f14
movq 0x70(%rsp), %rcx
movq 0xc70(%rsp), %rax
movq %rcx, 0xc98(%rsp)
movq %rax, 0xc90(%rsp)
movq 0xc98(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x200(%rax), %ymm0
vmovaps %ymm1, 0xd40(%rsp)
vmovaps %ymm0, 0xd20(%rsp)
vmovaps 0xd40(%rsp), %ymm0
vmovaps 0xd20(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0xcc0(%rsp)
vmovaps 0xcc0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0xc88(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x200(%rax), %ymm0
vmovaps %ymm1, 0xd00(%rsp)
vmovaps %ymm0, 0xce0(%rsp)
vmovaps 0xd00(%rsp), %ymm0
vmovaps 0xce0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0xca0(%rsp)
vmovdqa 0xca0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movl %ecx, %ecx
movq %rcx, 0xc80(%rsp)
movq 0xc80(%rsp), %rdx
shlq $0x20, %rdx
orq 0xc88(%rsp), %rdx
movq 0xc90(%rsp), %rcx
movq %rdx, 0x20(%rcx)
movq 0xc90(%rsp), %rcx
movq 0x20(%rcx), %rcx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0xc90(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0xc70(%rsp), %rax
movb $0x1, 0x34(%rax)
movq 0x7d0(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x7d0(%rsp), %rcx
orq 0x20(%rcx), %rax
movq %rax, 0x7b8(%rsp)
leaq 0x7a8(%rsp), %rdi
vzeroupper
callq 0x62400
movb 0x7cb(%rsp), %al
testb $0x1, %al
jne 0x33f54
jmp 0x340a1
movq 0x90(%rsp), %rax
movq %rax, 0xed8(%rsp)
leaq 0x7b8(%rsp), %rax
movq %rax, 0xed0(%rsp)
leaq 0xee0(%rsp), %rdi
callq 0x62400
movq $0x1, 0xec8(%rsp)
movq 0xed0(%rsp), %rax
cmpq $0x0, (%rax)
je 0x33ff8
movq 0xed0(%rsp), %rax
movq (%rax), %rax
movq 0xed0(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0xec0(%rsp)
movq 0xec0(%rsp), %rax
subq 0xec8(%rsp), %rax
orq 0xec0(%rsp), %rax
movq %rax, 0xeb8(%rsp)
movq 0xeb8(%rsp), %rax
movq %rax, 0xee0(%rsp)
movb $0x1, 0xee8(%rsp)
jmp 0x34042
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0xeb0(%rsp)
movq 0xeb0(%rsp), %rax
subq 0xec8(%rsp), %rax
orq 0xeb0(%rsp), %rax
movq %rax, 0xea8(%rsp)
movq 0xea8(%rsp), %rax
movq %rax, 0xee0(%rsp)
movb $0x0, 0xee8(%rsp)
movq 0xee0(%rsp), %rax
movb 0xee8(%rsp), %cl
movb %cl, 0x790(%rsp)
movq %rax, 0x788(%rsp)
movq 0x788(%rsp), %rax
movq %rax, 0x798(%rsp)
movb 0x790(%rsp), %al
movb %al, 0x7a0(%rsp)
movq 0x798(%rsp), %rax
movq %rax, 0x7a8(%rsp)
movb 0x7a0(%rsp), %al
movb %al, 0x7b0(%rsp)
jmp 0x34286
movq 0x90(%rsp), %rcx
movq 0x7e0(%rsp), %rax
movq %rcx, 0xe90(%rsp)
movq %rax, 0xe88(%rsp)
leaq 0x7b8(%rsp), %rax
movq %rax, 0xe80(%rsp)
leaq 0xe98(%rsp), %rdi
callq 0x62400
movq 0xe88(%rsp), %rax
movq (%rax), %rax
movl $0x40, %ecx
cqto
idivq %rcx
movl %edx, %eax
movl %eax, 0xe7c(%rsp)
movl 0xe7c(%rsp), %eax
movl %eax, %ecx
movl $0x1, %eax
shlq %cl, %rax
movq %rax, 0xe70(%rsp)
movq 0xe70(%rsp), %rax
movq 0xe70(%rsp), %rcx
subq $0x1, %rcx
xorq %rcx, %rax
movq %rax, 0xe68(%rsp)
movq 0xe80(%rsp), %rax
movq (%rax), %rcx
movq 0xe68(%rsp), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0xe80(%rsp), %rax
movq %rcx, (%rax)
movq 0xe80(%rsp), %rax
cmpq $0x0, (%rax)
je 0x341d3
movq 0xe80(%rsp), %rax
movq (%rax), %rax
movq 0xe80(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0xe60(%rsp)
movq 0xe60(%rsp), %rax
subq 0xe70(%rsp), %rax
orq 0xe60(%rsp), %rax
movq %rax, 0xe58(%rsp)
movq 0xe58(%rsp), %rax
movq 0xe68(%rsp), %rcx
xorq $-0x1, %rcx
andq %rcx, %rax
movq %rax, 0xe98(%rsp)
movb $0x1, 0xea0(%rsp)
jmp 0x3422c
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0xe50(%rsp)
movq 0xe50(%rsp), %rax
subq 0xe70(%rsp), %rax
orq 0xe50(%rsp), %rax
movq %rax, 0xe48(%rsp)
movq 0xe48(%rsp), %rax
movq 0xe68(%rsp), %rcx
xorq $-0x1, %rcx
andq %rcx, %rax
movq %rax, 0xe98(%rsp)
movb $0x0, 0xea0(%rsp)
movq 0xe98(%rsp), %rax
movb 0xea0(%rsp), %cl
movb %cl, 0x770(%rsp)
movq %rax, 0x768(%rsp)
movq 0x768(%rsp), %rax
movq %rax, 0x778(%rsp)
movb 0x770(%rsp), %al
movb %al, 0x780(%rsp)
movq 0x778(%rsp), %rax
movq %rax, 0x7a8(%rsp)
movb 0x780(%rsp), %al
movb %al, 0x7b0(%rsp)
movq 0x90(%rsp), %rcx
movq 0x7d0(%rsp), %rax
movq %rcx, 0xd78(%rsp)
movq %rax, 0xd70(%rsp)
movq 0xd78(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x220(%rax), %ymm0
vmovaps %ymm1, 0xe20(%rsp)
vmovaps %ymm0, 0xe00(%rsp)
vmovaps 0xe20(%rsp), %ymm0
vmovaps 0xe00(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0xda0(%rsp)
vmovaps 0xda0(%rsp), %ymm0
vpmovmskb %ymm0, %edx
movq %rdx, 0xd68(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x220(%rax), %ymm0
vmovaps %ymm1, 0xde0(%rsp)
vmovaps %ymm0, 0xdc0(%rsp)
vmovaps 0xde0(%rsp), %ymm0
vmovaps 0xdc0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0xd80(%rsp)
vmovdqa 0xd80(%rsp), %ymm0
vpmovmskb %ymm0, %edx
movl %edx, %edx
movq %rdx, 0xd60(%rsp)
movq 0xd60(%rsp), %rsi
shlq $0x20, %rsi
orq 0xd68(%rsp), %rsi
movq 0xd70(%rsp), %rdx
movq %rsi, 0x28(%rdx)
movq 0xd70(%rsp), %rdx
movq 0x28(%rdx), %rdx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rdx
movq 0xd70(%rsp), %rax
movq %rdx, 0x28(%rax)
movq 0x7d0(%rsp), %rax
movq 0x28(%rax), %rax
andq 0x7a8(%rsp), %rax
movq %rax, 0x760(%rsp)
movq 0x7d0(%rsp), %rax
movq %rcx, 0xa78(%rsp)
movq %rax, 0xa70(%rsp)
movq 0xa78(%rsp), %rax
movq %rax, 0x68(%rsp)
movq 0xa70(%rsp), %rax
movb 0x31(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x34519
movq 0x68(%rsp), %rcx
movq 0xa70(%rsp), %rax
movq %rcx, 0xa98(%rsp)
movq %rax, 0xa90(%rsp)
movq 0xa98(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x1e0(%rax), %ymm0
vmovaps %ymm1, 0xb40(%rsp)
vmovaps %ymm0, 0xb20(%rsp)
vmovaps 0xb40(%rsp), %ymm0
vmovaps 0xb20(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0xac0(%rsp)
vmovaps 0xac0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0xa88(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x1e0(%rax), %ymm0
vmovaps %ymm1, 0xb00(%rsp)
vmovaps %ymm0, 0xae0(%rsp)
vmovaps 0xb00(%rsp), %ymm0
vmovaps 0xae0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0xaa0(%rsp)
vmovdqa 0xaa0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movl %ecx, %ecx
movq %rcx, 0xa80(%rsp)
movq 0xa80(%rsp), %rdx
shlq $0x20, %rdx
orq 0xa88(%rsp), %rdx
movq 0xa90(%rsp), %rcx
movq %rdx, 0x8(%rcx)
movq 0xa90(%rsp), %rcx
movq 0x8(%rcx), %rcx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0xa90(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0xa70(%rsp), %rax
movb $0x1, 0x31(%rax)
movq 0x7d0(%rsp), %rax
movq 0x8(%rax), %rax
andq 0x7a8(%rsp), %rax
movq %rax, 0x758(%rsp)
cmpq $0x0, 0x760(%rsp)
je 0x3456a
movq 0x758(%rsp), %rax
movq 0x760(%rsp), %rcx
movq 0x760(%rsp), %rdx
subq $0x1, %rdx
xorq %rdx, %rcx
andq %rcx, %rax
movq %rax, 0x758(%rsp)
movl 0x7c4(%rsp), %eax
movq 0x758(%rsp), %rcx
popcntq %rcx, %rcx
addl %ecx, %eax
movl %eax, 0x7c4(%rsp)
movl 0x7c4(%rsp), %eax
cmpl 0x7dc(%rsp), %eax
jl 0x3469b
movq 0x90(%rsp), %rcx
movl 0x7cc(%rsp), %eax
shll $0x6, %eax
movq 0x758(%rsp), %rdx
tzcntq %rdx, %rdx
addl %edx, %eax
cltq
movq %rax, 0x750(%rsp)
movl 0x7dc(%rsp), %eax
movq %rcx, 0xf28(%rsp)
leaq 0x758(%rsp), %rcx
movq %rcx, 0xf20(%rsp)
movl %eax, 0xf1c(%rsp)
movq 0xf28(%rsp), %rax
movq %rax, 0x60(%rsp)
cmpl $0x1, 0xf1c(%rsp)
jle 0x3463e
movq 0xf20(%rsp), %rax
movq (%rax), %rcx
movq 0xf20(%rsp), %rax
movq (%rax), %rax
subq $0x1, %rax
andq %rax, %rcx
movq 0xf20(%rsp), %rax
movq %rcx, (%rax)
movl 0xf1c(%rsp), %eax
addl $-0x1, %eax
movl %eax, 0xf1c(%rsp)
jmp 0x345f9
movq 0x60(%rsp), %rax
movq 0x270(%rax), %rax
shlq $0x6, %rax
movq 0xf20(%rsp), %rcx
movq (%rcx), %rcx
tzcntq %rcx, %rcx
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, 0xf10(%rsp)
movq 0xf10(%rsp), %rcx
movq 0x7e0(%rsp), %rax
movq %rcx, (%rax)
leaq 0x7f0(%rsp), %rdi
movl $0x3e9, %esi            # imm = 0x3E9
xorl %edx, %edx
vzeroupper
callq 0x62470
jmp 0x3483d
cmpq $0x0, 0x760(%rsp)
je 0x34784
movq 0x90(%rsp), %rax
movq %rax, 0xf08(%rsp)
leaq 0x760(%rsp), %rax
movq %rax, 0xf00(%rsp)
movl $0x1, 0xefc(%rsp)
movq 0xf08(%rsp), %rax
movq %rax, 0x58(%rsp)
cmpl $0x1, 0xefc(%rsp)
jle 0x34727
movq 0xf00(%rsp), %rax
movq (%rax), %rcx
movq 0xf00(%rsp), %rax
movq (%rax), %rax
subq $0x1, %rax
andq %rax, %rcx
movq 0xf00(%rsp), %rax
movq %rcx, (%rax)
movl 0xefc(%rsp), %eax
addl $-0x1, %eax
movl %eax, 0xefc(%rsp)
jmp 0x346e2
movq 0x58(%rsp), %rax
movq 0x270(%rax), %rax
shlq $0x6, %rax
movq 0xf00(%rsp), %rcx
movq (%rcx), %rcx
tzcntq %rcx, %rcx
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, 0xef0(%rsp)
movq 0xef0(%rsp), %rcx
movq 0x7e0(%rsp), %rax
movq %rcx, (%rax)
leaq 0x7f0(%rsp), %rdi
movl $0x3ea, %esi            # imm = 0x3EA
xorl %edx, %edx
vzeroupper
callq 0x62470
jmp 0x3483d
testb $0x1, 0x7b0(%rsp)
je 0x34806
movq 0x90(%rsp), %rax
movq %rax, 0xf38(%rsp)
leaq 0x7a8(%rsp), %rax
movq %rax, 0xf30(%rsp)
movq 0xf38(%rsp), %rax
movq 0x270(%rax), %rcx
shlq $0x6, %rcx
addq $0x3f, %rcx
movq 0xf30(%rsp), %rax
movq (%rax), %rax
bsrq %rax, %rax
xorq $0x3f, %rax
cltq
subq %rax, %rcx
movq 0x7e0(%rsp), %rax
movq %rcx, (%rax)
movl 0x7c4(%rsp), %edx
leaq 0x7f0(%rsp), %rdi
movl $0x3ed, %esi            # imm = 0x3ED
vzeroupper
callq 0x62470
jmp 0x3483d
movl 0x7c4(%rsp), %ecx
movl 0x7dc(%rsp), %eax
subl %ecx, %eax
movl %eax, 0x7dc(%rsp)
movl 0x7cc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x7cc(%rsp)
movb $0x1, 0x7cb(%rsp)
jmp 0x335b7
ud2
movq 0x7f0(%rsp), %rax
movq %rax, 0xb0(%rsp)
cmpl $0x3ea, 0xb0(%rsp) # imm = 0x3EA
jne 0x3486d
movl 0xb0(%rsp), %eax
movl %eax, 0xe4(%rsp)
jmp 0x35bba
cmpl $0x3e9, 0xb0(%rsp) # imm = 0x3E9
jne 0x3488a
movl $0x3ec, 0xe4(%rsp) # imm = 0x3EC
jmp 0x35bba
cmpl $0x3ed, 0xb0(%rsp) # imm = 0x3ED
jne 0x348b5
movq 0xc8(%rsp), %rax
movl (%rax), %ecx
subl 0xb4(%rsp), %ecx
addl $0x1, %ecx
movq 0xc8(%rsp), %rax
movl %ecx, (%rax)
jmp 0x35918
movl $0x3e9, 0xe4(%rsp) # imm = 0x3E9
jmp 0x35bba
movq 0xa8(%rsp), %rdx
movq 0xd0(%rsp), %rcx
movq 0xc0(%rsp), %rax
movq %rdx, 0x190(%rsp)
movq %rcx, 0x188(%rsp)
movq %rax, 0x180(%rsp)
movq 0x190(%rsp), %rax
movq %rax, 0x50(%rsp)
movl $0x1, 0x17c(%rsp)
movl $0x0, 0x178(%rsp)
movq 0x188(%rsp), %rax
movq (%rax), %rax
movl $0x40, %ecx
cqto
idivq %rcx
movq %rax, 0x170(%rsp)
movb $0x0, 0x16f(%rsp)
movb $0x0, 0x16e(%rsp)
jmp 0x3494c
movq 0x50(%rsp), %rcx
movq 0x170(%rsp), %rax
cmpq 0x2e0(%rcx), %rax
jge 0x358d2
movq 0x50(%rsp), %rcx
movq 0x170(%rsp), %rax
cmpq 0x270(%rcx), %rax
jle 0x34fcb
movq 0x50(%rsp), %rax
movq 0x180(%rsp), %rcx
movq %rax, 0x718(%rsp)
movq %rcx, 0x710(%rsp)
movq 0x710(%rsp), %rcx
movb $0x0, 0x30(%rcx)
movq 0x710(%rsp), %rcx
movb $0x0, 0x31(%rcx)
movq 0x710(%rsp), %rcx
movb $0x0, 0x32(%rcx)
movq 0x710(%rsp), %rcx
movb $0x0, 0x33(%rcx)
movq 0x710(%rsp), %rcx
movb $0x0, 0x34(%rcx)
movq 0x710(%rsp), %rcx
movb $0x0, 0x35(%rcx)
movq 0x170(%rsp), %rcx
addq %rcx, %rcx
movq %rcx, 0x88(%rax)
movq %rax, 0x228(%rsp)
movq 0x228(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x88(%rax), %rcx
movq %rcx, %rdx
shrq $0x3f, %rdx
addq %rdx, %rcx
sarq %rcx
movq %rcx, 0x270(%rax)
movq 0x88(%rax), %rcx
shlq $0x5, %rcx
movq %rcx, 0x200(%rsp)
movq 0x2c8(%rax), %rcx
movq 0x200(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x238(%rsp)
movq 0x238(%rsp), %rcx
vmovups (%rcx), %ymm0
vmovaps %ymm0, 0xa0(%rax)
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x140(%rax), %ymm0
vmovaps %ymm1, 0x3a0(%rsp)
vmovaps %ymm0, 0x380(%rsp)
vmovaps 0x3a0(%rsp), %ymm0
vmovaps 0x380(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x2a0(%rsp)
vmovaps 0x2a0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x220(%rsp)
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x180(%rax), %ymm0
vmovaps %ymm1, 0x360(%rsp)
vmovaps %ymm0, 0x340(%rsp)
vmovaps 0x360(%rsp), %ymm0
vmovaps 0x340(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x280(%rsp)
vmovaps 0x280(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x218(%rsp)
movq 0x88(%rax), %rcx
incq %rcx
movq %rcx, 0x88(%rax)
movq 0x88(%rax), %rcx
shlq $0x5, %rcx
movq %rcx, 0x200(%rsp)
movq 0x2c8(%rax), %rcx
movq 0x200(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x230(%rsp)
movq 0x230(%rsp), %rcx
vmovups (%rcx), %ymm0
vmovaps %ymm0, 0xc0(%rax)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x140(%rax), %ymm0
vmovaps %ymm1, 0x320(%rsp)
vmovaps %ymm0, 0x300(%rsp)
vmovaps 0x320(%rsp), %ymm0
vmovaps 0x300(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x260(%rsp)
vmovaps 0x260(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x210(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x180(%rax), %ymm0
vmovaps %ymm1, 0x2e0(%rsp)
vmovaps %ymm0, 0x2c0(%rsp)
vmovaps 0x2e0(%rsp), %ymm0
vmovaps 0x2c0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x240(%rsp)
vmovaps 0x240(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x208(%rsp)
movq 0x210(%rsp), %rcx
shlq $0x20, %rcx
movq 0x220(%rsp), %rdx
orq %rdx, %rcx
movq %rcx, 0x210(%rsp)
movq 0x208(%rsp), %rcx
shlq $0x20, %rcx
movq 0x218(%rsp), %rdx
orq %rdx, %rcx
movq %rcx, 0x208(%rsp)
movq 0x208(%rsp), %rcx
movq %rcx, 0x1f8(%rsp)
movq 0x1f8(%rsp), %rcx
movq %rcx, %rdx
addq %rdx, %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x1f0(%rsp)
movq 0x240(%rax), %rdx
movq 0x250(%rax), %rcx
xorq %rdx, %rcx
movq %rcx, 0x1e8(%rsp)
movq 0x1f0(%rsp), %rcx
movq 0x1e8(%rsp), %rdx
andq %rdx, %rcx
movq %rcx, 0x1e0(%rsp)
movq 0x1f0(%rsp), %rcx
movq 0x1e8(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x1d8(%rsp)
movq 0x1f8(%rsp), %rcx
movq 0x1e0(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x1d0(%rsp)
movq 0x1f8(%rsp), %rcx
movq 0x1d8(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x1c8(%rsp)
setb 0x1c7(%rsp)
movq 0x240(%rax), %rdx
movq 0x1c8(%rsp), %rcx
orq %rdx, %rcx
movq %rcx, 0x1c8(%rsp)
movzbl 0x1c7(%rsp), %ecx
andl $0x1, %ecx
movq %rcx, 0x240(%rax)
movq 0x1d0(%rsp), %rcx
movq 0x1f8(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x1b8(%rsp)
movq 0x1c8(%rsp), %rcx
movq 0x1f8(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x1b0(%rsp)
movq 0x1b8(%rsp), %rcx
movq 0x258(%rax), %rdx
andq %rdx, %rcx
movq %rcx, 0x1a8(%rsp)
movq 0x1b0(%rsp), %rcx
movq 0x250(%rax), %rdx
andq %rdx, %rcx
movq %rcx, 0x1a0(%rsp)
movq 0x1a8(%rsp), %rcx
movq 0x1a0(%rsp), %rdx
orq %rdx, %rcx
movq %rcx, 0x198(%rsp)
movq 0x210(%rsp), %rcx
movq 0x198(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0xe0(%rax)
movq 0xe0(%rax), %rcx
movq $0x0, 0x400(%rsp)
movq %rcx, 0x3f8(%rsp)
vmovq 0x400(%rsp), %xmm1
vmovq 0x3f8(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x3e0(%rsp)
vmovdqa 0x3e0(%rsp), %xmm0
movb $-0x1, 0x40f(%rsp)
movb 0x40f(%rsp), %cl
movb %cl, 0x4f(%rsp)
movb %cl, 0xf8f(%rsp)
movb %cl, 0xf8e(%rsp)
movb %cl, 0xf8d(%rsp)
movb %cl, 0xf8c(%rsp)
movb %cl, 0xf8b(%rsp)
movb %cl, 0xf8a(%rsp)
movb %cl, 0xf89(%rsp)
movb %cl, 0xf88(%rsp)
movb %cl, 0xf87(%rsp)
movb %cl, 0xf86(%rsp)
movb %cl, 0xf85(%rsp)
movb %cl, 0xf84(%rsp)
movb %cl, 0xf83(%rsp)
movb %cl, 0xf82(%rsp)
movb %cl, 0xf81(%rsp)
movb %cl, 0xf80(%rsp)
movzbl 0xf80(%rsp), %ecx
vmovd %ecx, %xmm1
movzbl 0xf81(%rsp), %ecx
vpinsrb $0x1, %ecx, %xmm1, %xmm1
movzbl 0xf82(%rsp), %ecx
vpinsrb $0x2, %ecx, %xmm1, %xmm1
movzbl 0xf83(%rsp), %ecx
vpinsrb $0x3, %ecx, %xmm1, %xmm1
movzbl 0xf84(%rsp), %ecx
vpinsrb $0x4, %ecx, %xmm1, %xmm1
movzbl 0xf85(%rsp), %ecx
vpinsrb $0x5, %ecx, %xmm1, %xmm1
movzbl 0xf86(%rsp), %ecx
vpinsrb $0x6, %ecx, %xmm1, %xmm1
movzbl 0xf87(%rsp), %ecx
vpinsrb $0x7, %ecx, %xmm1, %xmm1
movzbl 0xf88(%rsp), %ecx
vpinsrb $0x8, %ecx, %xmm1, %xmm1
movzbl 0xf89(%rsp), %ecx
vpinsrb $0x9, %ecx, %xmm1, %xmm1
movzbl 0xf8a(%rsp), %ecx
vpinsrb $0xa, %ecx, %xmm1, %xmm1
movzbl 0xf8b(%rsp), %ecx
vpinsrb $0xb, %ecx, %xmm1, %xmm1
movzbl 0xf8c(%rsp), %ecx
vpinsrb $0xc, %ecx, %xmm1, %xmm1
movzbl 0xf8d(%rsp), %ecx
vpinsrb $0xd, %ecx, %xmm1, %xmm1
movzbl 0xf8e(%rsp), %ecx
vpinsrb $0xe, %ecx, %xmm1, %xmm1
movzbl 0xf8f(%rsp), %ecx
vpinsrb $0xf, %ecx, %xmm1, %xmm1
vmovdqa %xmm1, 0xf70(%rsp)
vmovdqa 0xf70(%rsp), %xmm1
vpclmulqdq $0x0, %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x3d0(%rsp)
movq 0x3d0(%rsp), %rcx
movq %rcx, (%rax)
movq 0x248(%rax), %rcx
xorq (%rax), %rcx
movq %rcx, (%rax)
movq (%rax), %rcx
sarq $0x3f, %rcx
movq %rcx, 0x248(%rax)
movq 0x50(%rsp), %rcx
movq 0x180(%rsp), %rax
movq %rcx, 0x418(%rsp)
movq %rax, 0x410(%rsp)
movq 0x418(%rsp), %rax
movq %rax, 0x38(%rsp)
movq 0x410(%rsp), %rax
movb 0x34(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x3512f
movq 0x38(%rsp), %rcx
movq 0x410(%rsp), %rax
movq %rcx, 0x438(%rsp)
movq %rax, 0x430(%rsp)
movq 0x438(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x200(%rax), %ymm0
vmovaps %ymm1, 0x4e0(%rsp)
vmovaps %ymm0, 0x4c0(%rsp)
vmovaps 0x4e0(%rsp), %ymm0
vmovaps 0x4c0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x460(%rsp)
vmovaps 0x460(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x428(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x200(%rax), %ymm0
vmovaps %ymm1, 0x4a0(%rsp)
vmovaps %ymm0, 0x480(%rsp)
vmovaps 0x4a0(%rsp), %ymm0
vmovaps 0x480(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x440(%rsp)
vmovdqa 0x440(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movl %ecx, %ecx
movq %rcx, 0x420(%rsp)
movq 0x420(%rsp), %rdx
shlq $0x20, %rdx
orq 0x428(%rsp), %rdx
movq 0x430(%rsp), %rcx
movq %rdx, 0x20(%rcx)
movq 0x430(%rsp), %rcx
movq 0x20(%rcx), %rcx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x430(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x410(%rsp), %rax
movb $0x1, 0x34(%rax)
leaq 0x158(%rsp), %rdi
vzeroupper
callq 0x62400
movb 0x16f(%rsp), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x354a5
movb 0x16e(%rsp), %al
testb $0x1, %al
jne 0x35164
jmp 0x352b2
movq 0x50(%rsp), %rcx
movq 0x180(%rsp), %rax
addq $0x20, %rax
movq %rcx, 0x690(%rsp)
movq %rax, 0x688(%rsp)
leaq 0x698(%rsp), %rdi
callq 0x62400
movq $0x1, 0x680(%rsp)
movq 0x688(%rsp), %rax
cmpq $0x0, (%rax)
je 0x35209
movq 0x688(%rsp), %rax
movq (%rax), %rax
movq 0x688(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x678(%rsp)
movq 0x678(%rsp), %rax
subq 0x680(%rsp), %rax
orq 0x678(%rsp), %rax
movq %rax, 0x670(%rsp)
movq 0x670(%rsp), %rax
movq %rax, 0x698(%rsp)
movb $0x1, 0x6a0(%rsp)
jmp 0x35253
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x668(%rsp)
movq 0x668(%rsp), %rax
subq 0x680(%rsp), %rax
orq 0x668(%rsp), %rax
movq %rax, 0x660(%rsp)
movq 0x660(%rsp), %rax
movq %rax, 0x698(%rsp)
movb $0x0, 0x6a0(%rsp)
movq 0x698(%rsp), %rax
movb 0x6a0(%rsp), %cl
movb %cl, 0x140(%rsp)
movq %rax, 0x138(%rsp)
movq 0x138(%rsp), %rax
movq %rax, 0x148(%rsp)
movb 0x140(%rsp), %al
movb %al, 0x150(%rsp)
movq 0x148(%rsp), %rax
movq %rax, 0x158(%rsp)
movb 0x150(%rsp), %al
movb %al, 0x160(%rsp)
jmp 0x35498
movq 0x50(%rsp), %rdx
movq 0x188(%rsp), %rcx
movq 0x180(%rsp), %rax
addq $0x20, %rax
movq %rdx, 0x648(%rsp)
movq %rcx, 0x640(%rsp)
movq %rax, 0x638(%rsp)
leaq 0x650(%rsp), %rdi
callq 0x62400
movq 0x640(%rsp), %rax
movq (%rax), %rax
movl $0x40, %ecx
cqto
idivq %rcx
movl %edx, %eax
movl %eax, 0x634(%rsp)
movl 0x634(%rsp), %eax
movl %eax, %ecx
movl $0x1, %eax
shlq %cl, %rax
movq %rax, 0x628(%rsp)
movq 0x628(%rsp), %rax
movq 0x628(%rsp), %rcx
subq $0x1, %rcx
xorq %rcx, %rax
movq %rax, 0x620(%rsp)
movq 0x638(%rsp), %rax
movq (%rax), %rcx
movq 0x620(%rsp), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x638(%rsp), %rax
movq %rcx, (%rax)
movq 0x638(%rsp), %rax
cmpq $0x0, (%rax)
je 0x353e5
movq 0x638(%rsp), %rax
movq (%rax), %rax
movq 0x638(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x618(%rsp)
movq 0x618(%rsp), %rax
subq 0x628(%rsp), %rax
orq 0x618(%rsp), %rax
movq %rax, 0x610(%rsp)
movq 0x610(%rsp), %rax
movq 0x620(%rsp), %rcx
xorq $-0x1, %rcx
andq %rcx, %rax
movq %rax, 0x650(%rsp)
movb $0x1, 0x658(%rsp)
jmp 0x3543e
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x608(%rsp)
movq 0x608(%rsp), %rax
subq 0x628(%rsp), %rax
orq 0x608(%rsp), %rax
movq %rax, 0x600(%rsp)
movq 0x600(%rsp), %rax
movq 0x620(%rsp), %rcx
xorq $-0x1, %rcx
andq %rcx, %rax
movq %rax, 0x650(%rsp)
movb $0x0, 0x658(%rsp)
movq 0x650(%rsp), %rax
movb 0x658(%rsp), %cl
movb %cl, 0x120(%rsp)
movq %rax, 0x118(%rsp)
movq 0x118(%rsp), %rax
movq %rax, 0x128(%rsp)
movb 0x120(%rsp), %al
movb %al, 0x130(%rsp)
movq 0x128(%rsp), %rax
movq %rax, 0x158(%rsp)
movb 0x130(%rsp), %al
movb %al, 0x160(%rsp)
movb $0x1, 0x16f(%rsp)
jmp 0x3562d
movq 0x50(%rsp), %rcx
movq 0x180(%rsp), %rax
addq $0x20, %rax
movq %rcx, 0x6d8(%rsp)
movq %rax, 0x6d0(%rsp)
leaq 0x6e0(%rsp), %rdi
callq 0x62400
movq 0x6d0(%rsp), %rax
movq (%rax), %rax
movq 0x6d0(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x6c8(%rsp)
movq 0x6d0(%rsp), %rax
movq (%rax), %rcx
movq 0x6d0(%rsp), %rax
movq (%rax), %rax
subq $0x1, %rax
andq %rax, %rcx
movq 0x6d0(%rsp), %rax
movq %rcx, (%rax)
movq 0x6d0(%rsp), %rax
cmpq $0x0, (%rax)
je 0x35589
movq 0x6d0(%rsp), %rax
movq (%rax), %rax
movq 0x6d0(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x6c0(%rsp)
movq 0x6c0(%rsp), %rax
subq 0x6c8(%rsp), %rax
orq 0x6c0(%rsp), %rax
movq %rax, 0x6b8(%rsp)
movq 0x6b8(%rsp), %rax
movq %rax, 0x6e0(%rsp)
movb $0x1, 0x6e8(%rsp)
jmp 0x355d3
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x6b0(%rsp)
movq 0x6b0(%rsp), %rax
subq 0x6c8(%rsp), %rax
orq 0x6b0(%rsp), %rax
movq %rax, 0x6a8(%rsp)
movq 0x6a8(%rsp), %rax
movq %rax, 0x6e0(%rsp)
movb $0x0, 0x6e8(%rsp)
movq 0x6e0(%rsp), %rax
movb 0x6e8(%rsp), %cl
movb %cl, 0x100(%rsp)
movq %rax, 0xf8(%rsp)
movq 0xf8(%rsp), %rax
movq %rax, 0x108(%rsp)
movb 0x100(%rsp), %al
movb %al, 0x110(%rsp)
movq 0x108(%rsp), %rax
movq %rax, 0x158(%rsp)
movb 0x110(%rsp), %al
movb %al, 0x160(%rsp)
movq 0x50(%rsp), %rcx
movq 0x180(%rsp), %rax
movq %rcx, 0x518(%rsp)
movq %rax, 0x510(%rsp)
movq 0x518(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x510(%rsp), %rax
movb 0x35(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x35791
movq 0x30(%rsp), %rcx
movq 0x510(%rsp), %rax
movq %rcx, 0x538(%rsp)
movq %rax, 0x530(%rsp)
movq 0x538(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x220(%rax), %ymm0
vmovaps %ymm1, 0x5e0(%rsp)
vmovaps %ymm0, 0x5c0(%rsp)
vmovaps 0x5e0(%rsp), %ymm0
vmovaps 0x5c0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x560(%rsp)
vmovaps 0x560(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x528(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x220(%rax), %ymm0
vmovaps %ymm1, 0x5a0(%rsp)
vmovaps %ymm0, 0x580(%rsp)
vmovaps 0x5a0(%rsp), %ymm0
vmovaps 0x580(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x540(%rsp)
vmovdqa 0x540(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movl %ecx, %ecx
movq %rcx, 0x520(%rsp)
movq 0x520(%rsp), %rdx
shlq $0x20, %rdx
orq 0x528(%rsp), %rdx
movq 0x530(%rsp), %rcx
movq %rdx, 0x28(%rcx)
movq 0x530(%rsp), %rcx
movq 0x28(%rcx), %rcx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x530(%rsp), %rax
movq %rcx, 0x28(%rax)
movq 0x510(%rsp), %rax
movb $0x1, 0x35(%rax)
movq 0x180(%rsp), %rax
movq 0x28(%rax), %rax
andq 0x158(%rsp), %rax
movq %rax, 0xf0(%rsp)
movq 0x180(%rsp), %rax
movq 0x28(%rax), %rsi
leaq 0xe8(%rsp), %rdi
vzeroupper
callq 0x62420
movq 0xf0(%rsp), %rax
popcntq %rax, %rax
movl %eax, 0x178(%rsp)
movl 0x178(%rsp), %eax
cmpl 0x17c(%rsp), %eax
jge 0x35855
movb 0x160(%rsp), %al
testb $0x1, %al
jne 0x357fa
jmp 0x35817
movl 0x17c(%rsp), %eax
subl 0x178(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x17c(%rsp)
jmp 0x358d2
movl 0x17c(%rsp), %eax
subl 0x178(%rsp), %eax
movl %eax, 0x17c(%rsp)
movq 0x170(%rsp), %rax
addq $0x1, %rax
movq %rax, 0x170(%rsp)
movb $0x0, 0x16f(%rsp)
movb $0x1, 0x16e(%rsp)
jmp 0x3494c
movq 0x50(%rsp), %rcx
movl 0x17c(%rsp), %eax
movq %rcx, 0x708(%rsp)
leaq 0xf0(%rsp), %rcx
movq %rcx, 0x700(%rsp)
movl %eax, 0x6fc(%rsp)
movq 0x708(%rsp), %rax
movq %rax, 0x28(%rsp)
cmpl $0x1, 0x6fc(%rsp)
jle 0x358d7
movq 0x700(%rsp), %rax
movq (%rax), %rcx
movq 0x700(%rsp), %rax
movq (%rax), %rax
subq $0x1, %rax
andq %rax, %rcx
movq 0x700(%rsp), %rax
movq %rcx, (%rax)
movl 0x6fc(%rsp), %eax
addl $-0x1, %eax
movl %eax, 0x6fc(%rsp)
jmp 0x3588d
jmp 0x3494a
movq 0x28(%rsp), %rax
movq 0x270(%rax), %rax
shlq $0x6, %rax
movq 0x700(%rsp), %rcx
movq (%rcx), %rcx
tzcntq %rcx, %rcx
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, 0x6f0(%rsp)
movq 0x6f0(%rsp), %rcx
movq 0x188(%rsp), %rax
movq %rcx, (%rax)
movq 0xa8(%rsp), %rcx
movq 0xc8(%rsp), %rax
movl (%rax), %edx
addl $-0x1, %edx
movl %edx, (%rax)
movq 0xd0(%rsp), %rax
movq %rcx, 0x740(%rsp)
movq %rax, 0x738(%rsp)
movq 0x740(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x738(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %ecx
movb $0x1, %al
cmpl $0x20, %ecx
movb %al, 0x1f(%rsp)
je 0x359c5
movq 0x20(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x738(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %ecx
movb $0x1, %al
cmpl $0xa, %ecx
movb %al, 0x1f(%rsp)
je 0x359c5
movq 0x20(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x738(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %eax
cmpl $0xd, %eax
sete %al
movb %al, 0x1f(%rsp)
movb 0x1f(%rsp), %al
testb $0x1, %al
jne 0x359cf
jmp 0x359e6
movq 0x738(%rsp), %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
jmp 0x35954
movq 0x738(%rsp), %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
movq 0x20(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x738(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %ecx
movb $0x1, %al
cmpl $0x20, %ecx
movb %al, 0x1e(%rsp)
je 0x35a69
movq 0x20(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x738(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %ecx
movb $0x1, %al
cmpl $0xa, %ecx
movb %al, 0x1e(%rsp)
je 0x35a69
movq 0x20(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x738(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %eax
cmpl $0xd, %eax
sete %al
movb %al, 0x1e(%rsp)
movb 0x1e(%rsp), %al
testb $0x1, %al
jne 0x35a73
jmp 0x35a8a
movq 0x738(%rsp), %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
jmp 0x359f8
movq 0x20(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x738(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %eax
cmpl $0x5d, %eax
jne 0x35ab7
movb $0x0, 0x74f(%rsp)
jmp 0x35b85
movq 0x20(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x738(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %eax
cmpl $0x2c, %eax
jne 0x35ae9
movq 0x738(%rsp), %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
jmp 0x35aeb
movq 0x20(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x738(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %ecx
movb $0x1, %al
cmpl $0x20, %ecx
movb %al, 0x1d(%rsp)
je 0x35b5c
movq 0x20(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x738(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %ecx
movb $0x1, %al
cmpl $0xa, %ecx
movb %al, 0x1d(%rsp)
je 0x35b5c
movq 0x20(%rsp), %rax
movq 0x2c8(%rax), %rax
movq 0x738(%rsp), %rcx
movq (%rcx), %rcx
movsbl (%rax,%rcx), %eax
cmpl $0xd, %eax
sete %al
movb %al, 0x1d(%rsp)
movb 0x1d(%rsp), %al
testb $0x1, %al
jne 0x35b66
jmp 0x35b7d
movq 0x738(%rsp), %rax
movq (%rax), %rcx
addq $0x1, %rcx
movq %rcx, (%rax)
jmp 0x35aeb
movb $0x1, 0x74f(%rsp)
testb $0x1, 0x74f(%rsp)
jne 0x35b9c
movl $0x3ea, 0xe4(%rsp) # imm = 0x3EA
jmp 0x35bba
jmp 0x35b9e
movq 0xc8(%rsp), %rax
cmpl $0x0, (%rax)
jg 0x3340f
movl $0x3ec, 0xe4(%rsp) # imm = 0x3EC
movl 0xe4(%rsp), %eax
movq %rbp, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)