// File: AutomataLab[P]JSONSki/src/QueryProcessor.cpp
// Function: QueryProcessor::goOverPrimElemsInRange(long&, int, bitmap&)
__attribute__((always_inline)) JumpInfo QueryProcessor::goOverPrimElemsInRange(long& pos, int num_elements, bitmap& bm) {
    int word_id = pos / 64;
    bool new_word = false;
    int num_comma = 0;
    while (word_id < mNumWords) {
        if (word_id > top_word) {
            // build basic bitmaps for the next word
            resetBitmap(bm);
            start_id = word_id * 2;
            build_bitmap_basic();
        }
        get_bitmap_lbrace(bm);
        get_bitmap_lbracket(bm);
        unsigned long bitmap_bracket = bm.lbracebit | bm.lbracketbit;
        IntervalInfo interval;
        if (new_word == true) {
            interval = get_interval_new_word(bitmap_bracket);
        } else {
            interval = get_interval(pos, bitmap_bracket);
        }
        build_bitmap_rbracket(bm);
        unsigned long bitmap_rbracket = bm.rbracketbit & interval.intervalbit;
        get_bitmap_comma(bm);
        unsigned long bitmap_comma = bm.commabit & interval.intervalbit;
        if (bitmap_rbracket) {
            bitmap_comma = bitmap_comma & (bitmap_rbracket ^ (bitmap_rbracket - 1));
        }
        num_comma = num_comma +__builtin_popcountl(bitmap_comma);
        if (num_comma >= num_elements) {
            long temp_pos = word_id * 64 + __builtin_ctzll(bitmap_comma);
            pos = get_position(bitmap_comma, num_elements);
            JumpInfo ji(SUCCESS);
            return ji;
        }
        if (bitmap_rbracket) {
            // end of array
            pos = get_position(bitmap_rbracket, 1);
            JumpInfo ji(ARRAY_END);
            return ji;
        } else {
            if (interval.is_complete) {
                pos = interval_end(interval.intervalbit);// + 1;
                JumpInfo ji(PARTIAL_SKIP, num_comma);
                return ji;
            }
            num_elements -= num_comma;
        }
        // interval is incomplete in the current word
        ++word_id;
        new_word = true;
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
andq $-0x20, %rsp
subq $0x880, %rsp            # imm = 0x880
movq %rdi, 0xe8(%rsp)
movq %rsi, 0xe0(%rsp)
movl %edx, 0xdc(%rsp)
movq %rcx, 0xd0(%rsp)
movq 0xe8(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0xe0(%rsp), %rax
movq (%rax), %rax
movl $0x40, %ecx
cqto
idivq %rcx
movl %eax, 0xcc(%rsp)
movb $0x0, 0xcb(%rsp)
movl $0x0, 0xc4(%rsp)
movq 0x48(%rsp), %rcx
movslq 0xcc(%rsp), %rax
cmpq 0x2e0(%rcx), %rax
jge 0x2fb43
movq 0x48(%rsp), %rcx
movslq 0xcc(%rsp), %rax
cmpq 0x270(%rcx), %rax
jle 0x2ef9a
movq 0x48(%rsp), %rax
movq 0xd0(%rsp), %rcx
movq %rax, 0x848(%rsp)
movq %rcx, 0x840(%rsp)
movq 0x840(%rsp), %rcx
movb $0x0, 0x30(%rcx)
movq 0x840(%rsp), %rcx
movb $0x0, 0x31(%rcx)
movq 0x840(%rsp), %rcx
movb $0x0, 0x32(%rcx)
movq 0x840(%rsp), %rcx
movb $0x0, 0x33(%rcx)
movq 0x840(%rsp), %rcx
movb $0x0, 0x34(%rcx)
movq 0x840(%rsp), %rcx
movb $0x0, 0x35(%rcx)
movl 0xcc(%rsp), %ecx
addl %ecx, %ecx
movslq %ecx, %rcx
movq %rcx, 0x88(%rax)
movq %rax, 0x188(%rsp)
movq 0x188(%rsp), %rax
movq %rax, 0x38(%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, 0x160(%rsp)
movq 0x2c8(%rax), %rcx
movq 0x160(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x198(%rsp)
movq 0x198(%rsp), %rcx
vmovups (%rcx), %ymm0
vmovaps %ymm0, 0xa0(%rax)
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x140(%rax), %ymm0
vmovaps %ymm1, 0x300(%rsp)
vmovaps %ymm0, 0x2e0(%rsp)
vmovaps 0x300(%rsp), %ymm0
vmovaps 0x2e0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x200(%rsp)
vmovaps 0x200(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x180(%rsp)
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x180(%rax), %ymm0
vmovaps %ymm1, 0x2c0(%rsp)
vmovaps %ymm0, 0x2a0(%rsp)
vmovaps 0x2c0(%rsp), %ymm0
vmovaps 0x2a0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x1e0(%rsp)
vmovaps 0x1e0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x178(%rsp)
movq 0x88(%rax), %rcx
incq %rcx
movq %rcx, 0x88(%rax)
movq 0x88(%rax), %rcx
shlq $0x5, %rcx
movq %rcx, 0x160(%rsp)
movq 0x2c8(%rax), %rcx
movq 0x160(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x190(%rsp)
movq 0x190(%rsp), %rcx
vmovups (%rcx), %ymm0
vmovaps %ymm0, 0xc0(%rax)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x140(%rax), %ymm0
vmovaps %ymm1, 0x280(%rsp)
vmovaps %ymm0, 0x260(%rsp)
vmovaps 0x280(%rsp), %ymm0
vmovaps 0x260(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x1c0(%rsp)
vmovaps 0x1c0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x170(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x180(%rax), %ymm0
vmovaps %ymm1, 0x240(%rsp)
vmovaps %ymm0, 0x220(%rsp)
vmovaps 0x240(%rsp), %ymm0
vmovaps 0x220(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x1a0(%rsp)
vmovaps 0x1a0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x168(%rsp)
movq 0x170(%rsp), %rcx
shlq $0x20, %rcx
movq 0x180(%rsp), %rdx
orq %rdx, %rcx
movq %rcx, 0x170(%rsp)
movq 0x168(%rsp), %rcx
shlq $0x20, %rcx
movq 0x178(%rsp), %rdx
orq %rdx, %rcx
movq %rcx, 0x168(%rsp)
movq 0x168(%rsp), %rcx
movq %rcx, 0x158(%rsp)
movq 0x158(%rsp), %rcx
movq %rcx, %rdx
addq %rdx, %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x150(%rsp)
movq 0x240(%rax), %rdx
movq 0x250(%rax), %rcx
xorq %rdx, %rcx
movq %rcx, 0x148(%rsp)
movq 0x150(%rsp), %rcx
movq 0x148(%rsp), %rdx
andq %rdx, %rcx
movq %rcx, 0x140(%rsp)
movq 0x150(%rsp), %rcx
movq 0x148(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x138(%rsp)
movq 0x158(%rsp), %rcx
movq 0x140(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x130(%rsp)
movq 0x158(%rsp), %rcx
movq 0x138(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x128(%rsp)
setb 0x127(%rsp)
movq 0x240(%rax), %rdx
movq 0x128(%rsp), %rcx
orq %rdx, %rcx
movq %rcx, 0x128(%rsp)
movzbl 0x127(%rsp), %ecx
andl $0x1, %ecx
movq %rcx, 0x240(%rax)
movq 0x130(%rsp), %rcx
movq 0x158(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x118(%rsp)
movq 0x128(%rsp), %rcx
movq 0x158(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x110(%rsp)
movq 0x118(%rsp), %rcx
movq 0x258(%rax), %rdx
andq %rdx, %rcx
movq %rcx, 0x108(%rsp)
movq 0x110(%rsp), %rcx
movq 0x250(%rax), %rdx
andq %rdx, %rcx
movq %rcx, 0x100(%rsp)
movq 0x108(%rsp), %rcx
movq 0x100(%rsp), %rdx
orq %rdx, %rcx
movq %rcx, 0xf8(%rsp)
movq 0x170(%rsp), %rcx
movq 0xf8(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0xe0(%rax)
movq 0xe0(%rax), %rcx
movq $0x0, 0x360(%rsp)
movq %rcx, 0x358(%rsp)
vmovq 0x360(%rsp), %xmm1
vmovq 0x358(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x340(%rsp)
vmovdqa 0x340(%rsp), %xmm0
movb $-0x1, 0x36f(%rsp)
movb 0x36f(%rsp), %cl
movb %cl, 0x47(%rsp)
movb %cl, 0x86f(%rsp)
movb %cl, 0x86e(%rsp)
movb %cl, 0x86d(%rsp)
movb %cl, 0x86c(%rsp)
movb %cl, 0x86b(%rsp)
movb %cl, 0x86a(%rsp)
movb %cl, 0x869(%rsp)
movb %cl, 0x868(%rsp)
movb %cl, 0x867(%rsp)
movb %cl, 0x866(%rsp)
movb %cl, 0x865(%rsp)
movb %cl, 0x864(%rsp)
movb %cl, 0x863(%rsp)
movb %cl, 0x862(%rsp)
movb %cl, 0x861(%rsp)
movb %cl, 0x860(%rsp)
movzbl 0x860(%rsp), %ecx
vmovd %ecx, %xmm1
movzbl 0x861(%rsp), %ecx
vpinsrb $0x1, %ecx, %xmm1, %xmm1
movzbl 0x862(%rsp), %ecx
vpinsrb $0x2, %ecx, %xmm1, %xmm1
movzbl 0x863(%rsp), %ecx
vpinsrb $0x3, %ecx, %xmm1, %xmm1
movzbl 0x864(%rsp), %ecx
vpinsrb $0x4, %ecx, %xmm1, %xmm1
movzbl 0x865(%rsp), %ecx
vpinsrb $0x5, %ecx, %xmm1, %xmm1
movzbl 0x866(%rsp), %ecx
vpinsrb $0x6, %ecx, %xmm1, %xmm1
movzbl 0x867(%rsp), %ecx
vpinsrb $0x7, %ecx, %xmm1, %xmm1
movzbl 0x868(%rsp), %ecx
vpinsrb $0x8, %ecx, %xmm1, %xmm1
movzbl 0x869(%rsp), %ecx
vpinsrb $0x9, %ecx, %xmm1, %xmm1
movzbl 0x86a(%rsp), %ecx
vpinsrb $0xa, %ecx, %xmm1, %xmm1
movzbl 0x86b(%rsp), %ecx
vpinsrb $0xb, %ecx, %xmm1, %xmm1
movzbl 0x86c(%rsp), %ecx
vpinsrb $0xc, %ecx, %xmm1, %xmm1
movzbl 0x86d(%rsp), %ecx
vpinsrb $0xd, %ecx, %xmm1, %xmm1
movzbl 0x86e(%rsp), %ecx
vpinsrb $0xe, %ecx, %xmm1, %xmm1
movzbl 0x86f(%rsp), %ecx
vpinsrb $0xf, %ecx, %xmm1, %xmm1
vmovdqa %xmm1, 0x850(%rsp)
vmovdqa 0x850(%rsp), %xmm1
vpclmulqdq $0x0, %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x330(%rsp)
movq 0x330(%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 0x48(%rsp), %rcx
movq 0xd0(%rsp), %rax
movq %rcx, 0x478(%rsp)
movq %rax, 0x470(%rsp)
movq 0x478(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x470(%rsp), %rax
movb 0x32(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x2f0fe
movq 0x30(%rsp), %rcx
movq 0x470(%rsp), %rax
movq %rcx, 0x498(%rsp)
movq %rax, 0x490(%rsp)
movq 0x498(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x1a0(%rax), %ymm0
vmovaps %ymm1, 0x540(%rsp)
vmovaps %ymm0, 0x520(%rsp)
vmovaps 0x540(%rsp), %ymm0
vmovaps 0x520(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x4c0(%rsp)
vmovaps 0x4c0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x488(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x1a0(%rax), %ymm0
vmovaps %ymm1, 0x500(%rsp)
vmovaps %ymm0, 0x4e0(%rsp)
vmovaps 0x500(%rsp), %ymm0
vmovaps 0x4e0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x4a0(%rsp)
vmovdqa 0x4a0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movl %ecx, %ecx
movq %rcx, 0x480(%rsp)
movq 0x480(%rsp), %rdx
shlq $0x20, %rdx
orq 0x488(%rsp), %rdx
movq 0x490(%rsp), %rcx
movq %rdx, 0x10(%rcx)
movq 0x490(%rsp), %rcx
movq 0x10(%rcx), %rcx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x490(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x470(%rsp), %rax
movb $0x1, 0x32(%rax)
movq 0x48(%rsp), %rcx
movq 0xd0(%rsp), %rax
movq %rcx, 0x578(%rsp)
movq %rax, 0x570(%rsp)
movq 0x578(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x570(%rsp), %rax
movb 0x34(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x2f262
movq 0x28(%rsp), %rcx
movq 0x570(%rsp), %rax
movq %rcx, 0x598(%rsp)
movq %rax, 0x590(%rsp)
movq 0x598(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x200(%rax), %ymm0
vmovaps %ymm1, 0x640(%rsp)
vmovaps %ymm0, 0x620(%rsp)
vmovaps 0x640(%rsp), %ymm0
vmovaps 0x620(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x5c0(%rsp)
vmovaps 0x5c0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x588(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x200(%rax), %ymm0
vmovaps %ymm1, 0x600(%rsp)
vmovaps %ymm0, 0x5e0(%rsp)
vmovaps 0x600(%rsp), %ymm0
vmovaps 0x5e0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x5a0(%rsp)
vmovdqa 0x5a0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movl %ecx, %ecx
movq %rcx, 0x580(%rsp)
movq 0x580(%rsp), %rdx
shlq $0x20, %rdx
orq 0x588(%rsp), %rdx
movq 0x590(%rsp), %rcx
movq %rdx, 0x20(%rcx)
movq 0x590(%rsp), %rcx
movq 0x20(%rcx), %rcx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x590(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x570(%rsp), %rax
movb $0x1, 0x34(%rax)
movq 0xd0(%rsp), %rax
movq 0x10(%rax), %rax
movq 0xd0(%rsp), %rcx
orq 0x20(%rcx), %rax
movq %rax, 0xb8(%rsp)
leaq 0xa8(%rsp), %rdi
vzeroupper
callq 0x62400
movb 0xcb(%rsp), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x1, %eax
jne 0x2f3f1
movq 0x48(%rsp), %rax
movq %rax, 0x7d8(%rsp)
leaq 0xb8(%rsp), %rax
movq %rax, 0x7d0(%rsp)
leaq 0x7e0(%rsp), %rdi
callq 0x62400
movq $0x1, 0x7c8(%rsp)
movq 0x7d0(%rsp), %rax
cmpq $0x0, (%rax)
je 0x2f348
movq 0x7d0(%rsp), %rax
movq (%rax), %rax
movq 0x7d0(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x7c0(%rsp)
movq 0x7c0(%rsp), %rax
subq 0x7c8(%rsp), %rax
orq 0x7c0(%rsp), %rax
movq %rax, 0x7b8(%rsp)
movq 0x7b8(%rsp), %rax
movq %rax, 0x7e0(%rsp)
movb $0x1, 0x7e8(%rsp)
jmp 0x2f392
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x7b0(%rsp)
movq 0x7b0(%rsp), %rax
subq 0x7c8(%rsp), %rax
orq 0x7b0(%rsp), %rax
movq %rax, 0x7a8(%rsp)
movq 0x7a8(%rsp), %rax
movq %rax, 0x7e0(%rsp)
movb $0x0, 0x7e8(%rsp)
movq 0x7e0(%rsp), %rax
movb 0x7e8(%rsp), %cl
movb %cl, 0x90(%rsp)
movq %rax, 0x88(%rsp)
movq 0x88(%rsp), %rax
movq %rax, 0x98(%rsp)
movb 0x90(%rsp), %al
movb %al, 0xa0(%rsp)
movq 0x98(%rsp), %rax
movq %rax, 0xa8(%rsp)
movb 0xa0(%rsp), %al
movb %al, 0xb0(%rsp)
jmp 0x2f5c1
movq 0x48(%rsp), %rcx
movq 0xe0(%rsp), %rax
movq %rcx, 0x790(%rsp)
movq %rax, 0x788(%rsp)
leaq 0xb8(%rsp), %rax
movq %rax, 0x780(%rsp)
leaq 0x798(%rsp), %rdi
callq 0x62400
movq 0x788(%rsp), %rax
movq (%rax), %rax
movl $0x40, %ecx
cqto
idivq %rcx
movl %edx, %eax
movl %eax, 0x77c(%rsp)
movl 0x77c(%rsp), %eax
movl %eax, %ecx
movl $0x1, %eax
shlq %cl, %rax
movq %rax, 0x770(%rsp)
movq 0x770(%rsp), %rax
movq 0x770(%rsp), %rcx
subq $0x1, %rcx
xorq %rcx, %rax
movq %rax, 0x768(%rsp)
movq 0x780(%rsp), %rax
movq (%rax), %rcx
movq 0x768(%rsp), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x780(%rsp), %rax
movq %rcx, (%rax)
movq 0x780(%rsp), %rax
cmpq $0x0, (%rax)
je 0x2f520
movq 0x780(%rsp), %rax
movq (%rax), %rax
movq 0x780(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x760(%rsp)
movq 0x760(%rsp), %rax
subq 0x770(%rsp), %rax
orq 0x760(%rsp), %rax
movq %rax, 0x758(%rsp)
movq 0x758(%rsp), %rax
movq 0x768(%rsp), %rcx
xorq $-0x1, %rcx
andq %rcx, %rax
movq %rax, 0x798(%rsp)
movb $0x1, 0x7a0(%rsp)
jmp 0x2f579
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x750(%rsp)
movq 0x750(%rsp), %rax
subq 0x770(%rsp), %rax
orq 0x750(%rsp), %rax
movq %rax, 0x748(%rsp)
movq 0x748(%rsp), %rax
movq 0x768(%rsp), %rcx
xorq $-0x1, %rcx
andq %rcx, %rax
movq %rax, 0x798(%rsp)
movb $0x0, 0x7a0(%rsp)
movq 0x798(%rsp), %rax
movb 0x7a0(%rsp), %cl
movb %cl, 0x70(%rsp)
movq %rax, 0x68(%rsp)
movq 0x68(%rsp), %rax
movq %rax, 0x78(%rsp)
movb 0x70(%rsp), %al
movb %al, 0x80(%rsp)
movq 0x78(%rsp), %rax
movq %rax, 0xa8(%rsp)
movb 0x80(%rsp), %al
movb %al, 0xb0(%rsp)
movq 0x48(%rsp), %rcx
movq 0xd0(%rsp), %rax
movq %rcx, 0x678(%rsp)
movq %rax, 0x670(%rsp)
movq 0x678(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x220(%rax), %ymm0
vmovaps %ymm1, 0x720(%rsp)
vmovaps %ymm0, 0x700(%rsp)
vmovaps 0x720(%rsp), %ymm0
vmovaps 0x700(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x6a0(%rsp)
vmovaps 0x6a0(%rsp), %ymm0
vpmovmskb %ymm0, %edx
movq %rdx, 0x668(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x220(%rax), %ymm0
vmovaps %ymm1, 0x6e0(%rsp)
vmovaps %ymm0, 0x6c0(%rsp)
vmovaps 0x6e0(%rsp), %ymm0
vmovaps 0x6c0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x680(%rsp)
vmovdqa 0x680(%rsp), %ymm0
vpmovmskb %ymm0, %edx
movl %edx, %edx
movq %rdx, 0x660(%rsp)
movq 0x660(%rsp), %rsi
shlq $0x20, %rsi
orq 0x668(%rsp), %rsi
movq 0x670(%rsp), %rdx
movq %rsi, 0x28(%rdx)
movq 0x670(%rsp), %rdx
movq 0x28(%rdx), %rdx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rdx
movq 0x670(%rsp), %rax
movq %rdx, 0x28(%rax)
movq 0xd0(%rsp), %rax
movq 0x28(%rax), %rax
andq 0xa8(%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0xd0(%rsp), %rax
movq %rcx, 0x378(%rsp)
movq %rax, 0x370(%rsp)
movq 0x378(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x370(%rsp), %rax
movb 0x31(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x2f84e
movq 0x20(%rsp), %rcx
movq 0x370(%rsp), %rax
movq %rcx, 0x398(%rsp)
movq %rax, 0x390(%rsp)
movq 0x398(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x1e0(%rax), %ymm0
vmovaps %ymm1, 0x440(%rsp)
vmovaps %ymm0, 0x420(%rsp)
vmovaps 0x440(%rsp), %ymm0
vmovaps 0x420(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x3c0(%rsp)
vmovaps 0x3c0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x388(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x1e0(%rax), %ymm0
vmovaps %ymm1, 0x400(%rsp)
vmovaps %ymm0, 0x3e0(%rsp)
vmovaps 0x400(%rsp), %ymm0
vmovaps 0x3e0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x3a0(%rsp)
vmovdqa 0x3a0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movl %ecx, %ecx
movq %rcx, 0x380(%rsp)
movq 0x380(%rsp), %rdx
shlq $0x20, %rdx
orq 0x388(%rsp), %rdx
movq 0x390(%rsp), %rcx
movq %rdx, 0x8(%rcx)
movq 0x390(%rsp), %rcx
movq 0x8(%rcx), %rcx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x390(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x370(%rsp), %rax
movb $0x1, 0x31(%rax)
movq 0xd0(%rsp), %rax
movq 0x8(%rax), %rax
andq 0xa8(%rsp), %rax
movq %rax, 0x58(%rsp)
cmpq $0x0, 0x60(%rsp)
je 0x2f88d
movq 0x58(%rsp), %rax
movq 0x60(%rsp), %rcx
movq 0x60(%rsp), %rdx
subq $0x1, %rdx
xorq %rdx, %rcx
andq %rcx, %rax
movq %rax, 0x58(%rsp)
movl 0xc4(%rsp), %eax
movq 0x58(%rsp), %rcx
popcntq %rcx, %rcx
addl %ecx, %eax
movl %eax, 0xc4(%rsp)
movl 0xc4(%rsp), %eax
cmpl 0xdc(%rsp), %eax
jl 0x2f9af
movq 0x48(%rsp), %rcx
movl 0xcc(%rsp), %eax
shll $0x6, %eax
movq 0x58(%rsp), %rdx
tzcntq %rdx, %rdx
addl %edx, %eax
cltq
movq %rax, 0x50(%rsp)
movl 0xdc(%rsp), %eax
movq %rcx, 0x828(%rsp)
leaq 0x58(%rsp), %rcx
movq %rcx, 0x820(%rsp)
movl %eax, 0x81c(%rsp)
movq 0x828(%rsp), %rax
movq %rax, 0x18(%rsp)
cmpl $0x1, 0x81c(%rsp)
jle 0x2f952
movq 0x820(%rsp), %rax
movq (%rax), %rcx
movq 0x820(%rsp), %rax
movq (%rax), %rax
subq $0x1, %rax
andq %rax, %rcx
movq 0x820(%rsp), %rax
movq %rcx, (%rax)
movl 0x81c(%rsp), %eax
addl $-0x1, %eax
movl %eax, 0x81c(%rsp)
jmp 0x2f90d
movq 0x18(%rsp), %rax
movq 0x270(%rax), %rax
shlq $0x6, %rax
movq 0x820(%rsp), %rcx
movq (%rcx), %rcx
tzcntq %rcx, %rcx
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, 0x810(%rsp)
movq 0x810(%rsp), %rcx
movq 0xe0(%rsp), %rax
movq %rcx, (%rax)
leaq 0xf0(%rsp), %rdi
movl $0x3e9, %esi            # imm = 0x3E9
xorl %edx, %edx
vzeroupper
callq 0x62470
jmp 0x2fb45
cmpq $0x0, 0x60(%rsp)
je 0x2fa8f
movq 0x48(%rsp), %rax
movq %rax, 0x808(%rsp)
leaq 0x60(%rsp), %rax
movq %rax, 0x800(%rsp)
movl $0x1, 0x7fc(%rsp)
movq 0x808(%rsp), %rax
movq %rax, 0x10(%rsp)
cmpl $0x1, 0x7fc(%rsp)
jle 0x2fa32
movq 0x800(%rsp), %rax
movq (%rax), %rcx
movq 0x800(%rsp), %rax
movq (%rax), %rax
subq $0x1, %rax
andq %rax, %rcx
movq 0x800(%rsp), %rax
movq %rcx, (%rax)
movl 0x7fc(%rsp), %eax
addl $-0x1, %eax
movl %eax, 0x7fc(%rsp)
jmp 0x2f9ed
movq 0x10(%rsp), %rax
movq 0x270(%rax), %rax
shlq $0x6, %rax
movq 0x800(%rsp), %rcx
movq (%rcx), %rcx
tzcntq %rcx, %rcx
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, 0x7f0(%rsp)
movq 0x7f0(%rsp), %rcx
movq 0xe0(%rsp), %rax
movq %rcx, (%rax)
leaq 0xf0(%rsp), %rdi
movl $0x3ea, %esi            # imm = 0x3EA
xorl %edx, %edx
vzeroupper
callq 0x62470
jmp 0x2fb45
testb $0x1, 0xb0(%rsp)
je 0x2fb0e
movq 0x48(%rsp), %rcx
leaq 0xa8(%rsp), %rax
movq %rcx, 0x838(%rsp)
movq %rax, 0x830(%rsp)
movq 0x838(%rsp), %rax
movq 0x270(%rax), %rcx
shlq $0x6, %rcx
addq $0x3f, %rcx
movq 0x830(%rsp), %rax
movq (%rax), %rax
bsrq %rax, %rax
xorq $0x3f, %rax
cltq
subq %rax, %rcx
movq 0xe0(%rsp), %rax
movq %rcx, (%rax)
movl 0xc4(%rsp), %edx
leaq 0xf0(%rsp), %rdi
movl $0x3ed, %esi            # imm = 0x3ED
vzeroupper
callq 0x62470
jmp 0x2fb45
movl 0xc4(%rsp), %ecx
movl 0xdc(%rsp), %eax
subl %ecx, %eax
movl %eax, 0xdc(%rsp)
movl 0xcc(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xcc(%rsp)
movb $0x1, 0xcb(%rsp)
jmp 0x2e91a
ud2
movq 0xf0(%rsp), %rax
movq %rbp, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)