// File: AutomataLab[P]JSONSki/src/QueryProcessor.cpp
// Function: QueryProcessor::goOverObj(long&, bitmap&)
__attribute__((always_inline)) void QueryProcessor::goOverObj(long& pos, bitmap& bm) {
    int num_open = 1;
    int num_close = 0;
    long word_id = pos / 64;
    bool first_interval = false;
    bool new_word = false;
    while (true) {
        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);
            IntervalInfo interval;
            if (first_interval == false) {
                if (new_word == true) {
                    interval = get_interval_new_word(bm.lbracebit);
                } else {
                    interval = get_interval(pos, bm.lbracebit);
                }
                first_interval = true;
            } else {
                interval = next_interval(bm.lbracebit);
            }
            get_bitmap_rbrace(bm);
            unsigned long bitmap_rbrace = bm.rbracebit & interval.intervalbit;
            num_close = __builtin_popcountl(bitmap_rbrace);
            if (num_close < num_open) {
                if (interval.is_complete == true) {
                    num_open = num_open - num_close + 1;
                    break;
                } else {
                    num_open = num_open - num_close;
                }
            } else {  // results found
                pos = get_position(bitmap_rbrace, num_open);
                return;
            }
            // interval is incomplete in the current word
            ++word_id;
            first_interval = false;
            new_word = true;
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
andq $-0x20, %rsp
subq $0x6a0, %rsp            # imm = 0x6A0
movq %rdi, 0xd0(%rsp)
movq %rsi, 0xc8(%rsp)
movq %rdx, 0xc0(%rsp)
movq 0xd0(%rsp), %rax
movq %rax, 0x28(%rsp)
movl $0x1, 0xbc(%rsp)
movl $0x0, 0xb8(%rsp)
movq 0xc8(%rsp), %rax
movq (%rax), %rax
movl $0x40, %ecx
cqto
idivq %rcx
movq %rax, 0xb0(%rsp)
movb $0x0, 0xaf(%rsp)
movb $0x0, 0xae(%rsp)
jmp 0x1a289
movq 0x28(%rsp), %rcx
movq 0xb0(%rsp), %rax
cmpq 0x2e0(%rcx), %rax
jge 0x1b209
movq 0x28(%rsp), %rcx
movq 0xb0(%rsp), %rax
cmpq 0x270(%rcx), %rax
jle 0x1a908
movq 0x28(%rsp), %rax
movq 0xc0(%rsp), %rcx
movq %rax, 0x668(%rsp)
movq %rcx, 0x660(%rsp)
movq 0x660(%rsp), %rcx
movb $0x0, 0x30(%rcx)
movq 0x660(%rsp), %rcx
movb $0x0, 0x31(%rcx)
movq 0x660(%rsp), %rcx
movb $0x0, 0x32(%rcx)
movq 0x660(%rsp), %rcx
movb $0x0, 0x33(%rcx)
movq 0x660(%rsp), %rcx
movb $0x0, 0x34(%rcx)
movq 0x660(%rsp), %rcx
movb $0x0, 0x35(%rcx)
movq 0xb0(%rsp), %rcx
addq %rcx, %rcx
movq %rcx, 0x88(%rax)
movq %rax, 0x168(%rsp)
movq 0x168(%rsp), %rax
movq %rax, 0x18(%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, 0x140(%rsp)
movq 0x2c8(%rax), %rcx
movq 0x140(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x178(%rsp)
movq 0x178(%rsp), %rcx
vmovups (%rcx), %ymm0
vmovaps %ymm0, 0xa0(%rax)
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x140(%rax), %ymm0
vmovaps %ymm1, 0x2e0(%rsp)
vmovaps %ymm0, 0x2c0(%rsp)
vmovaps 0x2e0(%rsp), %ymm0
vmovaps 0x2c0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x1e0(%rsp)
vmovaps 0x1e0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x160(%rsp)
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x180(%rax), %ymm0
vmovaps %ymm1, 0x2a0(%rsp)
vmovaps %ymm0, 0x280(%rsp)
vmovaps 0x2a0(%rsp), %ymm0
vmovaps 0x280(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x1c0(%rsp)
vmovaps 0x1c0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x158(%rsp)
movq 0x88(%rax), %rcx
incq %rcx
movq %rcx, 0x88(%rax)
movq 0x88(%rax), %rcx
shlq $0x5, %rcx
movq %rcx, 0x140(%rsp)
movq 0x2c8(%rax), %rcx
movq 0x140(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x170(%rsp)
movq 0x170(%rsp), %rcx
vmovups (%rcx), %ymm0
vmovaps %ymm0, 0xc0(%rax)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x140(%rax), %ymm0
vmovaps %ymm1, 0x260(%rsp)
vmovaps %ymm0, 0x240(%rsp)
vmovaps 0x260(%rsp), %ymm0
vmovaps 0x240(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x1a0(%rsp)
vmovaps 0x1a0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x150(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x180(%rax), %ymm0
vmovaps %ymm1, 0x220(%rsp)
vmovaps %ymm0, 0x200(%rsp)
vmovaps 0x220(%rsp), %ymm0
vmovaps 0x200(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x180(%rsp)
vmovaps 0x180(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x148(%rsp)
movq 0x150(%rsp), %rcx
shlq $0x20, %rcx
movq 0x160(%rsp), %rdx
orq %rdx, %rcx
movq %rcx, 0x150(%rsp)
movq 0x148(%rsp), %rcx
shlq $0x20, %rcx
movq 0x158(%rsp), %rdx
orq %rdx, %rcx
movq %rcx, 0x148(%rsp)
movq 0x148(%rsp), %rcx
movq %rcx, 0x138(%rsp)
movq 0x138(%rsp), %rcx
movq %rcx, %rdx
addq %rdx, %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x130(%rsp)
movq 0x240(%rax), %rdx
movq 0x250(%rax), %rcx
xorq %rdx, %rcx
movq %rcx, 0x128(%rsp)
movq 0x130(%rsp), %rcx
movq 0x128(%rsp), %rdx
andq %rdx, %rcx
movq %rcx, 0x120(%rsp)
movq 0x130(%rsp), %rcx
movq 0x128(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0x118(%rsp)
movq 0x138(%rsp), %rcx
movq 0x120(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x110(%rsp)
movq 0x138(%rsp), %rcx
movq 0x118(%rsp), %rdx
addq %rdx, %rcx
movq %rcx, 0x108(%rsp)
setb 0x107(%rsp)
movq 0x240(%rax), %rdx
movq 0x108(%rsp), %rcx
orq %rdx, %rcx
movq %rcx, 0x108(%rsp)
movzbl 0x107(%rsp), %ecx
andl $0x1, %ecx
movq %rcx, 0x240(%rax)
movq 0x110(%rsp), %rcx
movq 0x138(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0xf8(%rsp)
movq 0x108(%rsp), %rcx
movq 0x138(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0xf0(%rsp)
movq 0xf8(%rsp), %rcx
movq 0x258(%rax), %rdx
andq %rdx, %rcx
movq %rcx, 0xe8(%rsp)
movq 0xf0(%rsp), %rcx
movq 0x250(%rax), %rdx
andq %rdx, %rcx
movq %rcx, 0xe0(%rsp)
movq 0xe8(%rsp), %rcx
movq 0xe0(%rsp), %rdx
orq %rdx, %rcx
movq %rcx, 0xd8(%rsp)
movq 0x150(%rsp), %rcx
movq 0xd8(%rsp), %rdx
notq %rdx
andq %rdx, %rcx
movq %rcx, 0xe0(%rax)
movq 0xe0(%rax), %rcx
movq $0x0, 0x340(%rsp)
movq %rcx, 0x338(%rsp)
vmovq 0x340(%rsp), %xmm1
vmovq 0x338(%rsp), %xmm0
vpunpcklqdq %xmm1, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm1[0]
vmovdqa %xmm0, 0x320(%rsp)
vmovdqa 0x320(%rsp), %xmm0
movb $-0x1, 0x34f(%rsp)
movb 0x34f(%rsp), %cl
movb %cl, 0x27(%rsp)
movb %cl, 0x68f(%rsp)
movb %cl, 0x68e(%rsp)
movb %cl, 0x68d(%rsp)
movb %cl, 0x68c(%rsp)
movb %cl, 0x68b(%rsp)
movb %cl, 0x68a(%rsp)
movb %cl, 0x689(%rsp)
movb %cl, 0x688(%rsp)
movb %cl, 0x687(%rsp)
movb %cl, 0x686(%rsp)
movb %cl, 0x685(%rsp)
movb %cl, 0x684(%rsp)
movb %cl, 0x683(%rsp)
movb %cl, 0x682(%rsp)
movb %cl, 0x681(%rsp)
movb %cl, 0x680(%rsp)
movzbl 0x680(%rsp), %ecx
vmovd %ecx, %xmm1
movzbl 0x681(%rsp), %ecx
vpinsrb $0x1, %ecx, %xmm1, %xmm1
movzbl 0x682(%rsp), %ecx
vpinsrb $0x2, %ecx, %xmm1, %xmm1
movzbl 0x683(%rsp), %ecx
vpinsrb $0x3, %ecx, %xmm1, %xmm1
movzbl 0x684(%rsp), %ecx
vpinsrb $0x4, %ecx, %xmm1, %xmm1
movzbl 0x685(%rsp), %ecx
vpinsrb $0x5, %ecx, %xmm1, %xmm1
movzbl 0x686(%rsp), %ecx
vpinsrb $0x6, %ecx, %xmm1, %xmm1
movzbl 0x687(%rsp), %ecx
vpinsrb $0x7, %ecx, %xmm1, %xmm1
movzbl 0x688(%rsp), %ecx
vpinsrb $0x8, %ecx, %xmm1, %xmm1
movzbl 0x689(%rsp), %ecx
vpinsrb $0x9, %ecx, %xmm1, %xmm1
movzbl 0x68a(%rsp), %ecx
vpinsrb $0xa, %ecx, %xmm1, %xmm1
movzbl 0x68b(%rsp), %ecx
vpinsrb $0xb, %ecx, %xmm1, %xmm1
movzbl 0x68c(%rsp), %ecx
vpinsrb $0xc, %ecx, %xmm1, %xmm1
movzbl 0x68d(%rsp), %ecx
vpinsrb $0xd, %ecx, %xmm1, %xmm1
movzbl 0x68e(%rsp), %ecx
vpinsrb $0xe, %ecx, %xmm1, %xmm1
movzbl 0x68f(%rsp), %ecx
vpinsrb $0xf, %ecx, %xmm1, %xmm1
vmovdqa %xmm1, 0x670(%rsp)
vmovdqa 0x670(%rsp), %xmm1
vpclmulqdq $0x0, %xmm1, %xmm0, %xmm0
vmovdqa %xmm0, 0x310(%rsp)
movq 0x310(%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 0x28(%rsp), %rcx
movq 0xc0(%rsp), %rax
movq %rcx, 0x358(%rsp)
movq %rax, 0x350(%rsp)
movq 0x358(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x350(%rsp), %rax
movb 0x32(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x1aa6c
movq 0x10(%rsp), %rcx
movq 0x350(%rsp), %rax
movq %rcx, 0x378(%rsp)
movq %rax, 0x370(%rsp)
movq 0x378(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x1a0(%rax), %ymm0
vmovaps %ymm1, 0x420(%rsp)
vmovaps %ymm0, 0x400(%rsp)
vmovaps 0x420(%rsp), %ymm0
vmovaps 0x400(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x3a0(%rsp)
vmovaps 0x3a0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x368(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x1a0(%rax), %ymm0
vmovaps %ymm1, 0x3e0(%rsp)
vmovaps %ymm0, 0x3c0(%rsp)
vmovaps 0x3e0(%rsp), %ymm0
vmovaps 0x3c0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x380(%rsp)
vmovdqa 0x380(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movl %ecx, %ecx
movq %rcx, 0x360(%rsp)
movq 0x360(%rsp), %rdx
shlq $0x20, %rdx
orq 0x368(%rsp), %rdx
movq 0x370(%rsp), %rcx
movq %rdx, 0x10(%rcx)
movq 0x370(%rsp), %rcx
movq 0x10(%rcx), %rcx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x370(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x350(%rsp), %rax
movb $0x1, 0x32(%rax)
leaq 0x98(%rsp), %rdi
vzeroupper
callq 0x62400
movb 0xaf(%rsp), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x1adc9
movb 0xae(%rsp), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x1, %eax
jne 0x1abee
movq 0x28(%rsp), %rcx
movq 0xc0(%rsp), %rax
addq $0x10, %rax
movq %rcx, 0x5e0(%rsp)
movq %rax, 0x5d8(%rsp)
leaq 0x5e8(%rsp), %rdi
callq 0x62400
movq $0x1, 0x5d0(%rsp)
movq 0x5d8(%rsp), %rax
cmpq $0x0, (%rax)
je 0x1ab4b
movq 0x5d8(%rsp), %rax
movq (%rax), %rax
movq 0x5d8(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x5c8(%rsp)
movq 0x5c8(%rsp), %rax
subq 0x5d0(%rsp), %rax
orq 0x5c8(%rsp), %rax
movq %rax, 0x5c0(%rsp)
movq 0x5c0(%rsp), %rax
movq %rax, 0x5e8(%rsp)
movb $0x1, 0x5f0(%rsp)
jmp 0x1ab95
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x5b8(%rsp)
movq 0x5b8(%rsp), %rax
subq 0x5d0(%rsp), %rax
orq 0x5b8(%rsp), %rax
movq %rax, 0x5b0(%rsp)
movq 0x5b0(%rsp), %rax
movq %rax, 0x5e8(%rsp)
movb $0x0, 0x5f0(%rsp)
movq 0x5e8(%rsp), %rax
movb 0x5f0(%rsp), %cl
movb %cl, 0x80(%rsp)
movq %rax, 0x78(%rsp)
movq 0x78(%rsp), %rax
movq %rax, 0x88(%rsp)
movb 0x80(%rsp), %al
movb %al, 0x90(%rsp)
movq 0x88(%rsp), %rax
movq %rax, 0x98(%rsp)
movb 0x90(%rsp), %al
movb %al, 0xa0(%rsp)
jmp 0x1adbc
movq 0x28(%rsp), %rdx
movq 0xc8(%rsp), %rcx
movq 0xc0(%rsp), %rax
addq $0x10, %rax
movq %rdx, 0x598(%rsp)
movq %rcx, 0x590(%rsp)
movq %rax, 0x588(%rsp)
leaq 0x5a0(%rsp), %rdi
callq 0x62400
movq 0x590(%rsp), %rax
movq (%rax), %rax
movl $0x40, %ecx
cqto
idivq %rcx
movl %edx, %eax
movl %eax, 0x584(%rsp)
movl 0x584(%rsp), %eax
movl %eax, %ecx
movl $0x1, %eax
shlq %cl, %rax
movq %rax, 0x578(%rsp)
movq 0x578(%rsp), %rax
movq 0x578(%rsp), %rcx
subq $0x1, %rcx
xorq %rcx, %rax
movq %rax, 0x570(%rsp)
movq 0x588(%rsp), %rax
movq (%rax), %rcx
movq 0x570(%rsp), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x588(%rsp), %rax
movq %rcx, (%rax)
movq 0x588(%rsp), %rax
cmpq $0x0, (%rax)
je 0x1ad21
movq 0x588(%rsp), %rax
movq (%rax), %rax
movq 0x588(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x568(%rsp)
movq 0x568(%rsp), %rax
subq 0x578(%rsp), %rax
orq 0x568(%rsp), %rax
movq %rax, 0x560(%rsp)
movq 0x560(%rsp), %rax
movq 0x570(%rsp), %rcx
xorq $-0x1, %rcx
andq %rcx, %rax
movq %rax, 0x5a0(%rsp)
movb $0x1, 0x5a8(%rsp)
jmp 0x1ad7a
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x558(%rsp)
movq 0x558(%rsp), %rax
subq 0x578(%rsp), %rax
orq 0x558(%rsp), %rax
movq %rax, 0x550(%rsp)
movq 0x550(%rsp), %rax
movq 0x570(%rsp), %rcx
xorq $-0x1, %rcx
andq %rcx, %rax
movq %rax, 0x5a0(%rsp)
movb $0x0, 0x5a8(%rsp)
movq 0x5a0(%rsp), %rax
movb 0x5a8(%rsp), %cl
movb %cl, 0x60(%rsp)
movq %rax, 0x58(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x68(%rsp)
movb 0x60(%rsp), %al
movb %al, 0x70(%rsp)
movq 0x68(%rsp), %rax
movq %rax, 0x98(%rsp)
movb 0x70(%rsp), %al
movb %al, 0xa0(%rsp)
movb $0x1, 0xaf(%rsp)
jmp 0x1af39
movq 0x28(%rsp), %rcx
movq 0xc0(%rsp), %rax
addq $0x10, %rax
movq %rcx, 0x628(%rsp)
movq %rax, 0x620(%rsp)
leaq 0x630(%rsp), %rdi
callq 0x62400
movq 0x620(%rsp), %rax
movq (%rax), %rax
movq 0x620(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x618(%rsp)
movq 0x620(%rsp), %rax
movq (%rax), %rcx
movq 0x620(%rsp), %rax
movq (%rax), %rax
subq $0x1, %rax
andq %rax, %rcx
movq 0x620(%rsp), %rax
movq %rcx, (%rax)
movq 0x620(%rsp), %rax
cmpq $0x0, (%rax)
je 0x1aead
movq 0x620(%rsp), %rax
movq (%rax), %rax
movq 0x620(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x610(%rsp)
movq 0x610(%rsp), %rax
subq 0x618(%rsp), %rax
orq 0x610(%rsp), %rax
movq %rax, 0x608(%rsp)
movq 0x608(%rsp), %rax
movq %rax, 0x630(%rsp)
movb $0x1, 0x638(%rsp)
jmp 0x1aef7
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x600(%rsp)
movq 0x600(%rsp), %rax
subq 0x618(%rsp), %rax
orq 0x600(%rsp), %rax
movq %rax, 0x5f8(%rsp)
movq 0x5f8(%rsp), %rax
movq %rax, 0x630(%rsp)
movb $0x0, 0x638(%rsp)
movq 0x630(%rsp), %rax
movb 0x638(%rsp), %cl
movb %cl, 0x40(%rsp)
movq %rax, 0x38(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x48(%rsp)
movb 0x40(%rsp), %al
movb %al, 0x50(%rsp)
movq 0x48(%rsp), %rax
movq %rax, 0x98(%rsp)
movb 0x50(%rsp), %al
movb %al, 0xa0(%rsp)
movq 0x28(%rsp), %rcx
movq 0xc0(%rsp), %rax
movq %rcx, 0x458(%rsp)
movq %rax, 0x450(%rsp)
movq 0x458(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x450(%rsp), %rax
movb 0x33(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x1b09d
movq 0x8(%rsp), %rcx
movq 0x450(%rsp), %rax
movq %rcx, 0x478(%rsp)
movq %rax, 0x470(%rsp)
movq 0x478(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x1c0(%rax), %ymm0
vmovaps %ymm1, 0x520(%rsp)
vmovaps %ymm0, 0x500(%rsp)
vmovaps 0x520(%rsp), %ymm0
vmovaps 0x500(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x4a0(%rsp)
vmovaps 0x4a0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x468(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x1c0(%rax), %ymm0
vmovaps %ymm1, 0x4e0(%rsp)
vmovaps %ymm0, 0x4c0(%rsp)
vmovaps 0x4e0(%rsp), %ymm0
vmovaps 0x4c0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x480(%rsp)
vmovdqa 0x480(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movl %ecx, %ecx
movq %rcx, 0x460(%rsp)
movq 0x460(%rsp), %rdx
shlq $0x20, %rdx
orq 0x468(%rsp), %rdx
movq 0x470(%rsp), %rcx
movq %rdx, 0x18(%rcx)
movq 0x470(%rsp), %rcx
movq 0x18(%rcx), %rcx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x470(%rsp), %rax
movq %rcx, 0x18(%rax)
movq 0x450(%rsp), %rax
movb $0x1, 0x33(%rax)
movq 0xc0(%rsp), %rax
movq 0x18(%rax), %rax
andq 0x98(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
popcntq %rax, %rax
movl %eax, 0xb8(%rsp)
movl 0xb8(%rsp), %eax
cmpl 0xbc(%rsp), %eax
jge 0x1b11f
movb 0xa0(%rsp), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x1, %eax
jne 0x1b105
movl 0xbc(%rsp), %eax
subl 0xb8(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xbc(%rsp)
jmp 0x1b209
movl 0xbc(%rsp), %eax
subl 0xb8(%rsp), %eax
movl %eax, 0xbc(%rsp)
jmp 0x1b1e0
movq 0x28(%rsp), %rcx
movl 0xbc(%rsp), %eax
movq %rcx, 0x658(%rsp)
leaq 0x30(%rsp), %rcx
movq %rcx, 0x650(%rsp)
movl %eax, 0x64c(%rsp)
movq 0x658(%rsp), %rax
movq %rax, (%rsp)
cmpl $0x1, 0x64c(%rsp)
jle 0x1b198
movq 0x650(%rsp), %rax
movq (%rax), %rcx
movq 0x650(%rsp), %rax
movq (%rax), %rax
subq $0x1, %rax
andq %rax, %rcx
movq 0x650(%rsp), %rax
movq %rcx, (%rax)
movl 0x64c(%rsp), %eax
addl $-0x1, %eax
movl %eax, 0x64c(%rsp)
jmp 0x1b153
movq (%rsp), %rax
movq 0x270(%rax), %rax
shlq $0x6, %rax
movq 0x650(%rsp), %rcx
movq (%rcx), %rcx
tzcntq %rcx, %rcx
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, 0x640(%rsp)
movq 0x640(%rsp), %rcx
movq 0xc8(%rsp), %rax
movq %rcx, (%rax)
movq %rbp, %rsp
popq %rbp
vzeroupper
retq
movq 0xb0(%rsp), %rax
addq $0x1, %rax
movq %rax, 0xb0(%rsp)
movb $0x0, 0xaf(%rsp)
movb $0x1, 0xae(%rsp)
jmp 0x1a289
jmp 0x1a287
nop