// File: AutomataLab[P]JSONSki/src/QueryProcessor.cpp
// Function: QueryProcessor::goOverPriAttrs(long&, bitmap&)
__attribute__((always_inline)) int QueryProcessor::goOverPriAttrs(long& pos, bitmap& bm) {
    long word_id = pos / 64;
    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_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);
        }
        get_bitmap_rbrace(bm);
        unsigned long bitmap_rbrace = bm.rbracebit & interval.intervalbit;
        if (bitmap_rbrace) {
            pos = get_position(bitmap_rbrace, 1);
            return OBJECT_END;
        }
        if (interval.is_complete) {
            pos = interval_end(interval.intervalbit);
            return SUCCESS;
        }
        ++word_id;
        new_word = true; 
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
andq $-0x20, %rsp
subq $0x760, %rsp            # imm = 0x760
movq %rdi, 0xc8(%rsp)
movq %rsi, 0xc0(%rsp)
movq %rdx, 0xb8(%rsp)
movq 0xc8(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0xc0(%rsp), %rax
movq (%rax), %rax
movl $0x40, %ecx
cqto
idivq %rcx
movq %rax, 0xb0(%rsp)
movb $0x0, 0xaf(%rsp)
movq 0x40(%rsp), %rcx
movq 0xb0(%rsp), %rax
cmpq 0x2e0(%rcx), %rax
jge 0x26ddd
movq 0x40(%rsp), %rcx
movq 0xb0(%rsp), %rax
cmpq 0x270(%rcx), %rax
jle 0x264e8
movq 0x40(%rsp), %rax
movq 0xb8(%rsp), %rcx
movq %rax, 0x728(%rsp)
movq %rcx, 0x720(%rsp)
movq 0x720(%rsp), %rcx
movb $0x0, 0x30(%rcx)
movq 0x720(%rsp), %rcx
movb $0x0, 0x31(%rcx)
movq 0x720(%rsp), %rcx
movb $0x0, 0x32(%rcx)
movq 0x720(%rsp), %rcx
movb $0x0, 0x33(%rcx)
movq 0x720(%rsp), %rcx
movb $0x0, 0x34(%rcx)
movq 0x720(%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, 0x30(%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, 0x3f(%rsp)
movb %cl, 0x74f(%rsp)
movb %cl, 0x74e(%rsp)
movb %cl, 0x74d(%rsp)
movb %cl, 0x74c(%rsp)
movb %cl, 0x74b(%rsp)
movb %cl, 0x74a(%rsp)
movb %cl, 0x749(%rsp)
movb %cl, 0x748(%rsp)
movb %cl, 0x747(%rsp)
movb %cl, 0x746(%rsp)
movb %cl, 0x745(%rsp)
movb %cl, 0x744(%rsp)
movb %cl, 0x743(%rsp)
movb %cl, 0x742(%rsp)
movb %cl, 0x741(%rsp)
movb %cl, 0x740(%rsp)
movzbl 0x740(%rsp), %ecx
vmovd %ecx, %xmm1
movzbl 0x741(%rsp), %ecx
vpinsrb $0x1, %ecx, %xmm1, %xmm1
movzbl 0x742(%rsp), %ecx
vpinsrb $0x2, %ecx, %xmm1, %xmm1
movzbl 0x743(%rsp), %ecx
vpinsrb $0x3, %ecx, %xmm1, %xmm1
movzbl 0x744(%rsp), %ecx
vpinsrb $0x4, %ecx, %xmm1, %xmm1
movzbl 0x745(%rsp), %ecx
vpinsrb $0x5, %ecx, %xmm1, %xmm1
movzbl 0x746(%rsp), %ecx
vpinsrb $0x6, %ecx, %xmm1, %xmm1
movzbl 0x747(%rsp), %ecx
vpinsrb $0x7, %ecx, %xmm1, %xmm1
movzbl 0x748(%rsp), %ecx
vpinsrb $0x8, %ecx, %xmm1, %xmm1
movzbl 0x749(%rsp), %ecx
vpinsrb $0x9, %ecx, %xmm1, %xmm1
movzbl 0x74a(%rsp), %ecx
vpinsrb $0xa, %ecx, %xmm1, %xmm1
movzbl 0x74b(%rsp), %ecx
vpinsrb $0xb, %ecx, %xmm1, %xmm1
movzbl 0x74c(%rsp), %ecx
vpinsrb $0xc, %ecx, %xmm1, %xmm1
movzbl 0x74d(%rsp), %ecx
vpinsrb $0xd, %ecx, %xmm1, %xmm1
movzbl 0x74e(%rsp), %ecx
vpinsrb $0xe, %ecx, %xmm1, %xmm1
movzbl 0x74f(%rsp), %ecx
vpinsrb $0xf, %ecx, %xmm1, %xmm1
vmovdqa %xmm1, 0x730(%rsp)
vmovdqa 0x730(%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 0x40(%rsp), %rcx
movq 0xb8(%rsp), %rax
movq %rcx, 0x358(%rsp)
movq %rax, 0x350(%rsp)
movq 0x358(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x350(%rsp), %rax
movb 0x32(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x2664c
movq 0x28(%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)
movq 0x40(%rsp), %rcx
movq 0xb8(%rsp), %rax
movq %rcx, 0x558(%rsp)
movq %rax, 0x550(%rsp)
movq 0x558(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x550(%rsp), %rax
movb 0x34(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x267b0
movq 0x20(%rsp), %rcx
movq 0x550(%rsp), %rax
movq %rcx, 0x578(%rsp)
movq %rax, 0x570(%rsp)
movq 0x578(%rsp), %rax
vmovaps 0xa0(%rax), %ymm1
vmovaps 0x200(%rax), %ymm0
vmovaps %ymm1, 0x620(%rsp)
vmovaps %ymm0, 0x600(%rsp)
vmovaps 0x620(%rsp), %ymm0
vmovaps 0x600(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x5a0(%rsp)
vmovaps 0x5a0(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movq %rcx, 0x568(%rsp)
vmovaps 0xc0(%rax), %ymm1
vmovaps 0x200(%rax), %ymm0
vmovaps %ymm1, 0x5e0(%rsp)
vmovaps %ymm0, 0x5c0(%rsp)
vmovaps 0x5e0(%rsp), %ymm0
vmovaps 0x5c0(%rsp), %ymm1
vpcmpeqb %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x580(%rsp)
vmovdqa 0x580(%rsp), %ymm0
vpmovmskb %ymm0, %ecx
movl %ecx, %ecx
movq %rcx, 0x560(%rsp)
movq 0x560(%rsp), %rdx
shlq $0x20, %rdx
orq 0x568(%rsp), %rdx
movq 0x570(%rsp), %rcx
movq %rdx, 0x20(%rcx)
movq 0x570(%rsp), %rcx
movq 0x20(%rcx), %rcx
movq (%rax), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x570(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x550(%rsp), %rax
movb $0x1, 0x34(%rax)
movq 0xb8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0xb8(%rsp), %rcx
orq 0x20(%rcx), %rax
movq %rax, 0xa0(%rsp)
leaq 0x90(%rsp), %rdi
vzeroupper
callq 0x62400
movb 0xaf(%rsp), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x1, %eax
jne 0x26933
movq 0x40(%rsp), %rax
movq %rax, 0x6d8(%rsp)
leaq 0xa0(%rsp), %rax
movq %rax, 0x6d0(%rsp)
leaq 0x6e0(%rsp), %rdi
callq 0x62400
movq $0x1, 0x6c8(%rsp)
movq 0x6d0(%rsp), %rax
cmpq $0x0, (%rax)
je 0x26896
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 0x268e0
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, 0x78(%rsp)
movq %rax, 0x70(%rsp)
movq 0x70(%rsp), %rax
movq %rax, 0x80(%rsp)
movb 0x78(%rsp), %al
movb %al, 0x88(%rsp)
movq 0x80(%rsp), %rax
movq %rax, 0x90(%rsp)
movb 0x88(%rsp), %al
movb %al, 0x98(%rsp)
jmp 0x26afd
movq 0x40(%rsp), %rcx
movq 0xc0(%rsp), %rax
movq %rcx, 0x690(%rsp)
movq %rax, 0x688(%rsp)
leaq 0xa0(%rsp), %rax
movq %rax, 0x680(%rsp)
leaq 0x698(%rsp), %rdi
callq 0x62400
movq 0x688(%rsp), %rax
movq (%rax), %rax
movl $0x40, %ecx
cqto
idivq %rcx
movl %edx, %eax
movl %eax, 0x67c(%rsp)
movl 0x67c(%rsp), %eax
movl %eax, %ecx
movl $0x1, %eax
shlq %cl, %rax
movq %rax, 0x670(%rsp)
movq 0x670(%rsp), %rax
movq 0x670(%rsp), %rcx
subq $0x1, %rcx
xorq %rcx, %rax
movq %rax, 0x668(%rsp)
movq 0x680(%rsp), %rax
movq (%rax), %rcx
movq 0x668(%rsp), %rax
xorq $-0x1, %rax
andq %rax, %rcx
movq 0x680(%rsp), %rax
movq %rcx, (%rax)
movq 0x680(%rsp), %rax
cmpq $0x0, (%rax)
je 0x26a62
movq 0x680(%rsp), %rax
movq (%rax), %rax
movq 0x680(%rsp), %rdx
xorl %ecx, %ecx
subq (%rdx), %rcx
andq %rcx, %rax
movq %rax, 0x660(%rsp)
movq 0x660(%rsp), %rax
subq 0x670(%rsp), %rax
orq 0x660(%rsp), %rax
movq %rax, 0x658(%rsp)
movq 0x658(%rsp), %rax
movq 0x668(%rsp), %rcx
xorq $-0x1, %rcx
andq %rcx, %rax
movq %rax, 0x698(%rsp)
movb $0x1, 0x6a0(%rsp)
jmp 0x26abb
movabsq $-0x8000000000000000, %rax # imm = 0x8000000000000000
movq %rax, 0x650(%rsp)
movq 0x650(%rsp), %rax
subq 0x670(%rsp), %rax
orq 0x650(%rsp), %rax
movq %rax, 0x648(%rsp)
movq 0x648(%rsp), %rax
movq 0x668(%rsp), %rcx
xorq $-0x1, %rcx
andq %rcx, %rax
movq %rax, 0x698(%rsp)
movb $0x0, 0x6a0(%rsp)
movq 0x698(%rsp), %rax
movb 0x6a0(%rsp), %cl
movb %cl, 0x58(%rsp)
movq %rax, 0x50(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x60(%rsp)
movb 0x58(%rsp), %al
movb %al, 0x68(%rsp)
movq 0x60(%rsp), %rax
movq %rax, 0x90(%rsp)
movb 0x68(%rsp), %al
movb %al, 0x98(%rsp)
movq 0x40(%rsp), %rcx
movq 0xb8(%rsp), %rax
movq %rcx, 0x458(%rsp)
movq %rax, 0x450(%rsp)
movq 0x458(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x450(%rsp), %rax
movb 0x33(%rax), %al
andb $0x1, %al
movzbl %al, %eax
cmpl $0x0, %eax
jne 0x26c61
movq 0x18(%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 0xb8(%rsp), %rax
movq 0x18(%rax), %rax
andq 0x90(%rsp), %rax
movq %rax, 0x48(%rsp)
cmpq $0x0, 0x48(%rsp)
je 0x26d4e
movq 0x40(%rsp), %rax
movq %rax, 0x708(%rsp)
leaq 0x48(%rsp), %rax
movq %rax, 0x700(%rsp)
movl $0x1, 0x6fc(%rsp)
movq 0x708(%rsp), %rax
movq %rax, 0x10(%rsp)
cmpl $0x1, 0x6fc(%rsp)
jle 0x26cfd
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 0x26cb8
movq 0x10(%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 0xc0(%rsp), %rax
movq %rcx, (%rax)
movl $0x3eb, 0xd4(%rsp) # imm = 0x3EB
jmp 0x26ddf
testb $0x1, 0x98(%rsp)
je 0x26dbc
movq 0x40(%rsp), %rcx
leaq 0x90(%rsp), %rax
movq %rcx, 0x718(%rsp)
movq %rax, 0x710(%rsp)
movq 0x718(%rsp), %rax
movq 0x270(%rax), %rcx
shlq $0x6, %rcx
addq $0x3f, %rcx
movq 0x710(%rsp), %rax
movq (%rax), %rax
bsrq %rax, %rax
xorq $0x3f, %rax
cltq
subq %rax, %rcx
movq 0xc0(%rsp), %rax
movq %rcx, (%rax)
movl $0x3e9, 0xd4(%rsp) # imm = 0x3E9
jmp 0x26ddf
movq 0xb0(%rsp), %rax
addq $0x1, %rax
movq %rax, 0xb0(%rsp)
movb $0x1, 0xaf(%rsp)
jmp 0x25e69
ud2
movl 0xd4(%rsp), %eax
movq %rbp, %rsp
popq %rbp
vzeroupper
retq
nop