// File: AutomataLab[P]JSONSki/src/QueryProcessor.cpp
// Function: QueryProcessor::goOverPriAttr(long&, bitmap&)
__attribute__((always_inline)) void QueryProcessor::goOverPriAttr(long& pos, bitmap& bm) {
    long word_id = pos / 64;
    bool first_interval = false;
    bool new_word = false;
    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_comma(bm);
        IntervalInfo interval;
        if (first_interval == false) {
            if (new_word == true) {
                interval = get_interval_new_word(bm.commabit);
            } else {
                interval = get_interval(pos, bm.commabit);
            }
            first_interval = true;
        } else {
            interval = next_interval(bm.commabit);
        }
        get_bitmap_rbrace(bm);
        unsigned long bitmap_rbrace = bm.rbracebit & interval.intervalbit;
        if (bitmap_rbrace) {
            // end of object
            pos = get_position(bitmap_rbrace, 1) - 1;
            return;
        }
        if (interval.is_complete) {
            // position before comma
            pos = interval_end(interval.intervalbit) - 1;
            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, 0x30(%rsp)
movq 0xc8(%rsp), %rax
movq (%rax), %rax
movl $0x40, %ecx
cqto
idivq %rcx
movq %rax, 0xb8(%rsp)
movb $0x0, 0xb7(%rsp)
movb $0x0, 0xb6(%rsp)
movq 0x30(%rsp), %rcx
movq 0xb8(%rsp), %rax
cmpq 0x2e0(%rcx), %rax
jge 0x1f231
movq 0x30(%rsp), %rcx
movq 0xb8(%rsp), %rax
cmpq 0x270(%rcx), %rax
jle 0x1e920
movq 0x30(%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 0xb8(%rsp), %rcx
addq %rcx, %rcx
movq %rcx, 0x88(%rax)
movq %rax, 0x168(%rsp)
movq 0x168(%rsp), %rax
movq %rax, 0x20(%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, 0x2f(%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 0x30(%rsp), %rcx
movq 0xc0(%rsp), %rax
movq %rcx, 0x358(%rsp)
movq %rax, 0x350(%rsp)
movq 0x358(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x350(%rsp), %rax
movb 0x31(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x1ea84
movq 0x18(%rsp), %rcx
movq 0x350(%rsp), %rax
movq %rcx, 0x378(%rsp)
movq %rax, 0x370(%rsp)
movq 0x378(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x1e0(%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 0x1e0(%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, 0x8(%rcx)
movq 0x370(%rsp), %rcx
movq 0x8(%rcx), %rcx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x370(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x350(%rsp), %rax
movb $0x1, 0x31(%rax)
leaq 0xa0(%rsp), %rdi
vzeroupper
callq 0x62400
movb 0xb7(%rsp), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x1ede7
movb 0xb6(%rsp), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x1, %eax
jne 0x1ec0c
movq 0x30(%rsp), %rcx
movq 0xc0(%rsp), %rax
addq $0x8, %rax
movq %rcx, 0x5d0(%rsp)
movq %rax, 0x5c8(%rsp)
leaq 0x5d8(%rsp), %rdi
callq 0x62400
movq $0x1, 0x5c0(%rsp)
movq 0x5c8(%rsp), %rax
cmpq $0x0, (%rax)
je 0x1eb63
movq 0x5c8(%rsp), %rax
movq (%rax), %rax
movq 0x5c8(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x5b8(%rsp)
movq 0x5b8(%rsp), %rax
subq 0x5c0(%rsp), %rax
orq 0x5b8(%rsp), %rax
movq %rax, 0x5b0(%rsp)
movq 0x5b0(%rsp), %rax
movq %rax, 0x5d8(%rsp)
movb $0x1, 0x5e0(%rsp)
jmp 0x1ebad
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x5a8(%rsp)
movq 0x5a8(%rsp), %rax
subq 0x5c0(%rsp), %rax
orq 0x5a8(%rsp), %rax
movq %rax, 0x5a0(%rsp)
movq 0x5a0(%rsp), %rax
movq %rax, 0x5d8(%rsp)
movb $0x0, 0x5e0(%rsp)
movq 0x5d8(%rsp), %rax
movb 0x5e0(%rsp), %cl
movb %cl, 0x88(%rsp)
movq %rax, 0x80(%rsp)
movq 0x80(%rsp), %rax
movq %rax, 0x90(%rsp)
movb 0x88(%rsp), %al
movb %al, 0x98(%rsp)
movq 0x90(%rsp), %rax
movq %rax, 0xa0(%rsp)
movb 0x98(%rsp), %al
movb %al, 0xa8(%rsp)
jmp 0x1edda
movq 0x30(%rsp), %rdx
movq 0xc8(%rsp), %rcx
movq 0xc0(%rsp), %rax
addq $0x8, %rax
movq %rdx, 0x588(%rsp)
movq %rcx, 0x580(%rsp)
movq %rax, 0x578(%rsp)
leaq 0x590(%rsp), %rdi
callq 0x62400
movq 0x580(%rsp), %rax
movq (%rax), %rax
movl $0x40, %ecx
cqto
idivq %rcx
movl %edx, %eax
movl %eax, 0x574(%rsp)
movl 0x574(%rsp), %eax
movl %eax, %ecx
movl $0x1, %eax
shlq %cl, %rax
movq %rax, 0x568(%rsp)
movq 0x568(%rsp), %rax
movq 0x568(%rsp), %rcx
subq $0x1, %rcx
xorq %rcx, %rax
movq %rax, 0x560(%rsp)
movq 0x578(%rsp), %rax
movq (%rax), %rcx
movq 0x560(%rsp), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x578(%rsp), %rax
movq %rcx, (%rax)
movq 0x578(%rsp), %rax
cmpq $0x0, (%rax)
je 0x1ed3f
movq 0x578(%rsp), %rax
movq (%rax), %rax
movq 0x578(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x558(%rsp)
movq 0x558(%rsp), %rax
subq 0x568(%rsp), %rax
orq 0x558(%rsp), %rax
movq %rax, 0x550(%rsp)
movq 0x550(%rsp), %rax
movq 0x560(%rsp), %rcx
xorq $-0x1, %rcx
andq %rcx, %rax
movq %rax, 0x590(%rsp)
movb $0x1, 0x598(%rsp)
jmp 0x1ed98
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x548(%rsp)
movq 0x548(%rsp), %rax
subq 0x568(%rsp), %rax
orq 0x548(%rsp), %rax
movq %rax, 0x540(%rsp)
movq 0x540(%rsp), %rax
movq 0x560(%rsp), %rcx
xorq $-0x1, %rcx
andq %rcx, %rax
movq %rax, 0x590(%rsp)
movb $0x0, 0x598(%rsp)
movq 0x590(%rsp), %rax
movb 0x598(%rsp), %cl
movb %cl, 0x68(%rsp)
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
movq %rax, 0x70(%rsp)
movb 0x68(%rsp), %al
movb %al, 0x78(%rsp)
movq 0x70(%rsp), %rax
movq %rax, 0xa0(%rsp)
movb 0x78(%rsp), %al
movb %al, 0xa8(%rsp)
movb $0x1, 0xb7(%rsp)
jmp 0x1ef57
movq 0x30(%rsp), %rcx
movq 0xc0(%rsp), %rax
addq $0x8, %rax
movq %rcx, 0x618(%rsp)
movq %rax, 0x610(%rsp)
leaq 0x620(%rsp), %rdi
callq 0x62400
movq 0x610(%rsp), %rax
movq (%rax), %rax
movq 0x610(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x608(%rsp)
movq 0x610(%rsp), %rax
movq (%rax), %rcx
movq 0x610(%rsp), %rax
movq (%rax), %rax
subq $0x1, %rax
andq %rax, %rcx
movq 0x610(%rsp), %rax
movq %rcx, (%rax)
movq 0x610(%rsp), %rax
cmpq $0x0, (%rax)
je 0x1eecb
movq 0x610(%rsp), %rax
movq (%rax), %rax
movq 0x610(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x600(%rsp)
movq 0x600(%rsp), %rax
subq 0x608(%rsp), %rax
orq 0x600(%rsp), %rax
movq %rax, 0x5f8(%rsp)
movq 0x5f8(%rsp), %rax
movq %rax, 0x620(%rsp)
movb $0x1, 0x628(%rsp)
jmp 0x1ef15
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x5f0(%rsp)
movq 0x5f0(%rsp), %rax
subq 0x608(%rsp), %rax
orq 0x5f0(%rsp), %rax
movq %rax, 0x5e8(%rsp)
movq 0x5e8(%rsp), %rax
movq %rax, 0x620(%rsp)
movb $0x0, 0x628(%rsp)
movq 0x620(%rsp), %rax
movb 0x628(%rsp), %cl
movb %cl, 0x48(%rsp)
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
movq %rax, 0x50(%rsp)
movb 0x48(%rsp), %al
movb %al, 0x58(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0xa0(%rsp)
movb 0x58(%rsp), %al
movb %al, 0xa8(%rsp)
movq 0x30(%rsp), %rcx
movq 0xc0(%rsp), %rax
movq %rcx, 0x458(%rsp)
movq %rax, 0x450(%rsp)
movq 0x458(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x450(%rsp), %rax
movb 0x33(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x1f0bb
movq 0x10(%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 0xa0(%rsp), %rax
movq %rax, 0x38(%rsp)
cmpq $0x0, 0x38(%rsp)
je 0x1f1a1
movq 0x30(%rsp), %rax
movq %rax, 0x648(%rsp)
leaq 0x38(%rsp), %rax
movq %rax, 0x640(%rsp)
movl $0x1, 0x63c(%rsp)
movq 0x648(%rsp), %rax
movq %rax, 0x8(%rsp)
cmpl $0x1, 0x63c(%rsp)
jle 0x1f157
movq 0x640(%rsp), %rax
movq (%rax), %rcx
movq 0x640(%rsp), %rax
movq (%rax), %rax
subq $0x1, %rax
andq %rax, %rcx
movq 0x640(%rsp), %rax
movq %rcx, (%rax)
movl 0x63c(%rsp), %eax
addl $-0x1, %eax
movl %eax, 0x63c(%rsp)
jmp 0x1f112
movq 0x8(%rsp), %rax
movq 0x270(%rax), %rax
shlq $0x6, %rax
movq 0x640(%rsp), %rcx
movq (%rcx), %rcx
tzcntq %rcx, %rcx
movslq %ecx, %rcx
addq %rcx, %rax
movq %rax, 0x630(%rsp)
movq 0x630(%rsp), %rcx
subq $0x1, %rcx
movq 0xc8(%rsp), %rax
movq %rcx, (%rax)
jmp 0x1f231
testb $0x1, 0xa8(%rsp)
je 0x1f208
movq 0x30(%rsp), %rcx
leaq 0xa0(%rsp), %rax
movq %rcx, 0x658(%rsp)
movq %rax, 0x650(%rsp)
movq 0x658(%rsp), %rax
movq 0x270(%rax), %rcx
shlq $0x6, %rcx
addq $0x3f, %rcx
movq 0x650(%rsp), %rax
movq (%rax), %rax
bsrq %rax, %rax
xorq $0x3f, %rax
cltq
subq %rax, %rcx
subq $0x1, %rcx
movq 0xc8(%rsp), %rax
movq %rcx, (%rax)
jmp 0x1f231
movq 0xb8(%rsp), %rax
addq $0x1, %rax
movq %rax, 0xb8(%rsp)
movb $0x0, 0xb7(%rsp)
movb $0x1, 0xb6(%rsp)
jmp 0x1e2a1
movq %rbp, %rsp
popq %rbp
vzeroupper
retq
nopl (%rax)