// File: /workspace/github_cpp_makefile_star2_O3/chhylp123[P]hifiasm/./Levenshtein_distance.h
// Function: ed_band_cal_extension_infi_0_w(char*, int, char*, int, int, int*, bit_extz_t*)
inline void ed_band_cal_extension_infi_0_w(char *pstr, int32_t pn, char *tstr, int32_t tn, int32_t thre, int32_t *nword, bit_extz_t *ez)
{
    init_base_ed(*ez, thre, pn, tn); ez->ps = ez->ts = 0; ez->pe = ez->te = -1;
	if(pn > tn + thre) pn = tn + thre;
    else if(tn > pn + thre) tn = pn + thre;
    int32_t i, err, tn0 = tn - 1, cut = thre+(thre<<1), bd, i_bd, k_bd, wz, wz1, Peq_i; w_sig c, ad, Peq_m;
    int32_t poff, pe = pn-1, tmp_e = INT32_MAX, k;
	if(nword) {
        ez->nword = (*nword);
    } else {
        bd = (((thre)<<1)+1); ez->nword = ((bd>>bitw)+(!!(bd&bitz)));
    }
    resize_bit_extz_t((*ez), (thre)); 
	wz = sizeof(*(ez->a))*(ez->nword);
    memset((ez->Peq[0]).a, 0, wz);
    memset((ez->Peq[1]).a, 0, wz);
    memset((ez->Peq[2]).a, 0, wz);
    memset((ez->Peq[3]).a, 0, wz);
    memset((ez->Peq[4]).a, 0, wz);

	bd = thre+1; bd = ((bd<=pn)?bd:pn); i_bd = thre;
    ed_init_core(i, bd, i_bd, pstr, ez->Peq);
    bd = thre+1, i_bd = thre;

	memset((ez->Peq[4]).a, 0, wz);
    err = thre;
	w_infi_set_bit_lsub(ez->VN, thre, ez->nword); /**VN = (((Word)1)<<(thre))-1;**/ 
    w_infi_set_bit_lsub(ez->VP, (thre<<1)+1, ez->nword); /**VP = (((Word)1)<<((thre<<1)+1))-1;**/
    w_infi_self_xor(ez->VP, ez->VN, ez->nword, wz) /**VP ^= VN;**/

	i = 0;
	/**for the incoming char/last char; mm = ((Word)1 << (thre<<1))**/
    Peq_i = (((thre<<1))>>bitw); Peq_m = (((w_sig)1)<<(((thre<<1))&bitz));
	//for debug
	// memset((ez->X).a, 0, sizeof(*(ez->a))*(ez->nword));
	// memset((ez->D0).a, 0, sizeof(*(ez->a))*(ez->nword));
	// memset((ez->HN).a, 0, sizeof(*(ez->a))*(ez->nword));
	// memset((ez->HP).a, 0, sizeof(*(ez->a))*(ez->nword));
	while (i < tn0) {
		// fprintf(stderr, "i::%d\n", i);
		// prt_bit_extz_t((*ez), ((thre<<1)+1));
        ed_infi_core(ez->Peq, ez->VP, ez->VN, ez->X, ez->D0, ez->HN, ez->HP, (uint8_t)tstr[i], c, ad, wz, ez->nword);
        if (!(ez->D0.a[0]&(1ULL))) {
            ++err; if (err>cut) return;
        }

		{
            poff = i-thre; k = i+thre-pe;/**poff:[i-thre, i+thre]**/
			if(k >= 0) {
				if(tmp_e == INT32_MAX) {
					tmp_e = err;
					for ((k) = 0; (poff) < (pe); (poff)++, (k)++) {
						bd = (k>>bitw); k_bd = (k&bitz);
						(tmp_e) += (((*ez).VP.a[bd]>>k_bd)&((w_sig)1)); 
						(tmp_e) -= (((*ez).VN.a[bd]>>k_bd)&((w_sig)1));
					} 
				} else {
					k = (thre<<1) - k; 
					if(k >= 0) {
						bd = (k>>bitw); k_bd = (k&bitz);
						(tmp_e) += (((*ez).HP.a[bd]>>k_bd)&((w_sig)1)); 
						(tmp_e) -= (((*ez).HN.a[bd]>>k_bd)&((w_sig)1));
					}
				}
				if((tmp_e) <= (*ez).thre && (tmp_e) < (*ez).err) {
                    (*ez).err = tmp_e; (*ez).pe = pe; (*ez).te = i;
				}
			}
			// if(dbg_ext_err(i, thre, err, pe, &((*ez).VP), &((*ez).VN))!=tmp_e) {
			// 	fprintf(stderr, "i::%d, tmp_e::%d, dbg_ext_err::%d\n", i, tmp_e, dbg_ext_err(i, thre, err, pe, &((*ez).VP), &((*ez).VN)));
			// }
        }

        ed_infi_post_Peq(ez->Peq, wz, wz1, ez->nword);
        ++i; ++i_bd; c = 4;
        if(i_bd < pn) c = seq_nt4_table[(uint8_t)pstr[i_bd]];
        if(c < 4) ez->Peq[c].a[Peq_i]|=Peq_m;
    }
    ed_infi_core(ez->Peq, ez->VP, ez->VN, ez->X, ez->D0, ez->HN, ez->HP, (uint8_t)tstr[i], c, ad, wz, ez->nword);
    if (!(ez->D0.a[0]&(1ULL))) {
        ++err; if (err>cut) return;
    }

    int32_t site = tn - 1 - thre;/**up bound; site:[tn - 1 - thre, tn - 1 + thre]**/
    for (cut = pn - 1, i = 0; site < cut; i++) {
		bd = (i>>bitw); i_bd = (i&bitz);
        err += (((*ez).VP.a[bd]>>i_bd)&((w_sig)1));
        err -= (((*ez).VN.a[bd]>>i_bd)&((w_sig)1));
        site++;
        if(err <= thre && err < ez->err) {
            ez->err = err; ez->pe = site; ez->te = tn-1;
        }
    }
    if(err <= thre && err < ez->err) {
        ez->err = err; ez->pe = site; ez->te = tn-1;
    }
    return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x98, %rsp
movl %r8d, %r12d
movq %rdx, 0x50(%rsp)
movl %esi, %r14d
movq 0xd0(%rsp), %r10
movl %r8d, 0x28(%r10)
movl $0x7fffffff, 0x2c(%r10) # imm = 0x7FFFFFFF
movl %esi, 0x18(%r10)
movl %ecx, 0x24(%r10)
movabsq $-0x100000000, %rax     # imm = 0xFFFFFFFF00000000
movq %rax, 0x1c(%r10)
pxor %xmm0, %xmm0
movdqu %xmm0, (%r10)
movq %rax, 0x10(%r10)
leal (%r12,%r14), %edx
cmpl %ecx, %edx
cmovgel %ecx, %edx
leal (%r12,%rcx), %eax
cmpl %esi, %eax
cmovll %ecx, %edx
cmovll %eax, %r14d
leal (%r12,%r12), %eax
testq %r9, %r9
je 0x95845
movl (%r9), %ecx
jmp 0x9584c
movl %eax, %ecx
sarl $0x6, %ecx
incl %ecx
movl %ecx, 0x30(%r10)
cmpl %r12d, 0x3c(%r10)
movq %rdx, 0x18(%rsp)
movq %rdi, 0x48(%rsp)
movl %eax, 0xc(%rsp)
jge 0x9599d
shrl $0x6, %eax
leal (%rax,%rax,2), %eax
leal 0xc(,%rax,4), %eax
movl %eax, 0x3c(%r10)
cmpl 0x38(%r10), %eax
jbe 0x95999
movq 0x40(%r10), %rdi
movl %eax, %esi
shlq $0x3, %rsi
callq 0x2370
movq 0xd0(%rsp), %rcx
movq %rax, 0x40(%rcx)
movl 0x30(%rcx), %ecx
movq 0xd0(%rsp), %rdx
movl 0x3c(%rdx), %esi
movl $0xaaaaaaab, %edx       # imm = 0xAAAAAAAB
imulq %rsi, %rdx
movq %rdx, %rsi
shrq $0x20, %rsi
shrq $0x23, %rdx
movq 0xd0(%rsp), %rdi
movl %edx, 0x3c(%rdi)
movq %rax, 0x48(%rdi)
andl $-0x8, %esi
leaq (%rax,%rsi), %rdi
movq 0xd0(%rsp), %r8
movq %rdi, 0x50(%r8)
leal (%rdx,%rdx), %edi
leaq (%rax,%rdi,8), %r8
movq 0xd0(%rsp), %r9
movq %r8, 0x58(%r9)
leal (%rdx,%rdx,2), %r8d
leaq (%rax,%r8,8), %r8
movq %r8, 0x60(%r9)
leal (,%rdx,4), %r8d
leaq (%rax,%r8,8), %r9
movq 0xd0(%rsp), %r10
movq %r9, 0x68(%r10)
leal (%rdx,%rdx,4), %r9d
leaq (%rax,%r9,8), %r10
movq 0xd0(%rsp), %r11
movq %r10, 0x70(%r11)
leal (%rdi,%rdi,2), %r10d
leaq (%rax,%r10,8), %r10
movq %r10, 0x78(%r11)
leal (,%rdx,8), %r10d
subl %edx, %r10d
leaq (%rax,%r10,8), %r10
movq %r10, 0x80(%r11)
movq 0xd0(%rsp), %r10
leaq (%rax,%rsi,8), %rsi
movq %rsi, 0x88(%r10)
leal (%rdx,%rdx,8), %esi
leaq (%rax,%rsi,8), %rsi
movq %rsi, 0x90(%r10)
leal (%rdi,%rdi,4), %esi
leaq (%rax,%rsi,8), %rsi
movq %rsi, 0x98(%r10)
leal (%rdx,%r9,2), %esi
leaq (%rax,%rsi,8), %rax
movq %rax, 0xa0(%r10)
leal (%r8,%r8,2), %eax
movl %eax, 0x38(%r10)
movl %edx, 0x34(%r10)
movl %r12d, 0x3c(%r10)
shll $0x3, %ecx
movq 0x48(%r10), %rdi
movslq %ecx, %r13
xorl %esi, %esi
movq %r13, %rdx
callq 0x20e0
movq 0xd0(%rsp), %rax
movq 0x50(%rax), %rdi
xorl %esi, %esi
movq %r13, %rdx
callq 0x20e0
movq 0xd0(%rsp), %rax
movq 0x58(%rax), %rdi
xorl %esi, %esi
movq %r13, %rdx
callq 0x20e0
movq 0xd0(%rsp), %rax
movq 0x60(%rax), %rdi
xorl %esi, %esi
movq %r13, %rdx
callq 0x20e0
movq 0xd0(%rsp), %rax
movq 0x68(%rax), %rdi
xorl %esi, %esi
movq %r13, %rdx
callq 0x20e0
movq 0xd0(%rsp), %r10
leal 0x1(%r12), %ecx
cmpl %r14d, %ecx
movl %r14d, %eax
movl %ecx, 0x14(%rsp)
cmovll %ecx, %eax
testl %eax, %eax
movq 0x48(%rsp), %r11
jle 0x95a67
movl %eax, %eax
movl %r12d, %edx
xorl %esi, %esi
leaq 0x1a41e6(%rip), %rdi    # 0x239c20
leal (%rdx,%rsi), %ecx
movl $0x1, %r8d
shlq %cl, %r8
movzbl (%r11,%rsi), %r9d
movzbl (%rdi,%r9), %r9d
movq 0x48(%r10,%r9,8), %r9
sarl $0x6, %ecx
movslq %ecx, %rcx
orq %r8, (%r9,%rcx,8)
incq %rsi
cmpq %rsi, %rax
jne 0x95a3a
movq 0x68(%r10), %rdi
xorl %esi, %esi
movq %r13, %rdx
movq %r10, %rbx
callq 0x20e0
movq 0x80(%rbx), %rdi
movslq 0x30(%rbx), %rdx
shlq $0x3, %rdx
xorl %esi, %esi
callq 0x20e0
movl %r12d, %eax
sarl $0x6, %eax
movslq %eax, %rbx
cmpl $0x40, %r12d
jb 0x95abe
movq 0xd0(%rsp), %rax
movq 0x80(%rax), %rdi
leaq (,%rbx,8), %rdx
movl $0xff, %esi
callq 0x20e0
movl %r12d, %ecx
andl $0x3f, %ecx
movq 0xd0(%rsp), %r8
movq 0x18(%rsp), %r13
je 0x95aeb
movq $-0x1, %rax
shlq %cl, %rax
notq %rax
movq 0x80(%r8), %rcx
movq %rax, (%rcx,%rbx,8)
movq 0x78(%r8), %rdi
movslq 0x30(%r8), %rdx
shlq $0x3, %rdx
xorl %esi, %esi
movq %r8, %rbx
callq 0x20e0
movl 0xc(%rsp), %ecx
movl %ecx, %eax
sarl $0x6, %eax
cmpl $0x3f, %ecx
ja 0x95b14
movl %eax, %r15d
jmp 0x95b31
movq 0x78(%rbx), %rdi
movslq %eax, %r15
leaq (,%r15,8), %rdx
movl $0xff, %esi
callq 0x20e0
movl 0xc(%rsp), %ecx
movl %ecx, %eax
andl $0x3e, %eax
leal 0x1(%rax), %ecx
movq $-0x1, %rsi
shlq %cl, %rsi
notq %rsi
movq 0x78(%rbx), %rdx
movq %rsi, (%rdx,%r15,8)
movl 0x30(%rbx), %edi
testl %edi, %edi
movq %rbx, %r10
jle 0x95b71
movq 0x80(%r10), %rcx
xorl %esi, %esi
movq (%rcx,%rsi,8), %r8
xorq %r8, (%rdx,%rsi,8)
incq %rsi
cmpq %rsi, %rdi
jne 0x95b61
leal -0x1(%r13), %ebx
leal (%r12,%r12,2), %ecx
movl %ecx, 0x10(%rsp)
leal -0x1(%r14), %esi
movl $0x1, %r8d
movl %eax, %ecx
shlq %cl, %r8
movq %r8, 0x68(%rsp)
cmpl $0x2, %r13d
movl %ebx, (%rsp)
movq %r14, 0x40(%rsp)
movl %esi, 0x4(%rsp)
jl 0x96070
movq %r15, 0x60(%rsp)
movq 0x90(%r10), %r11
movl %r12d, %eax
subl %r14d, %eax
incl %eax
movl %eax, 0x30(%rsp)
leal -0x1(%rdi), %r13d
movslq %r13d, %rax
movq %rax, 0x88(%rsp)
movslq %r12d, %r8
movslq %esi, %rcx
movslq %r14d, %rax
movq %rax, 0x80(%rsp)
movl %ebx, %eax
movq %rax, 0x20(%rsp)
addq %r8, %rcx
movq %rcx, 0x70(%rsp)
leaq 0x1(%rdi), %rax
movq %rax, 0x78(%rsp)
movl $0x1, %eax
subl %r12d, %eax
movl $0x7fffffff, %ebp       # imm = 0x7FFFFFFF
xorl %ecx, %ecx
movq 0x19b902(%rip), %xmm0   # 0x231510
movdqa 0x19b6ca(%rip), %xmm1   # 0x2312e0
movdqa 0x19b922(%rip), %xmm2   # 0x231540
pcmpeqd %xmm3, %xmm3
pxor %xmm4, %xmm4
movaps 0x19afa3(%rip), %xmm5   # 0x230bd0
movdqa 0x19b91b(%rip), %xmm6   # 0x231550
movl %r12d, %r15d
movq %r12, 0x58(%rsp)
movl %ebp, 0x38(%rsp)
movq %r8, 0x90(%rsp)
movl %r15d, 0x8(%rsp)
cmpl %esi, %eax
movl %esi, %r8d
movl %eax, 0x3c(%rsp)
cmovgl %eax, %r8d
movl %ecx, %ebx
subl %r12d, %ebx
incl %ebx
cmpl %esi, %ebx
cmovlel %esi, %ebx
testl %edi, %edi
movq %rcx, 0x28(%rsp)
jle 0x95da0
movl %r8d, 0x34(%rsp)
movq 0x50(%rsp), %rax
movzbl (%rax,%rcx), %eax
leaq 0x1a3f97(%rip), %rcx    # 0x239c20
movzbl (%rcx,%rax), %eax
movq 0x48(%r10,%rax,8), %r12
movq 0x80(%r10), %r15
movq 0x88(%r10), %rbp
movq 0x98(%r10), %r9
movq 0xa0(%r10), %rsi
xorl %r14d, %r14d
xorl %eax, %eax
movq (%r15,%r14,8), %r10
orq (%r12,%r14,8), %r10
movq %r10, (%rbp,%r14,8)
andq (%rdx,%r14,8), %r10
addq %rax, %r10
setb %al
movq %r10, (%r11,%r14,8)
addq (%rdx,%r14,8), %r10
movq %r10, (%r11,%r14,8)
movq (%rdx,%r14,8), %rcx
cmpq %rcx, %r10
setb %r8b
xorq %rcx, %r10
movq %r10, (%r11,%r14,8)
orq (%rbp,%r14,8), %r10
orb %al, %r8b
movq %r10, (%r11,%r14,8)
andq (%rdx,%r14,8), %r10
movq %r10, (%r9,%r14,8)
movq (%r11,%r14,8), %rcx
orq (%rdx,%r14,8), %rcx
notq %rcx
movq %rcx, (%rsi,%r14,8)
orq (%r15,%r14,8), %rcx
movzbl %r8b, %eax
movq %rcx, (%rsi,%r14,8)
incq %r14
cmpq %r14, %rdi
jne 0x95cb3
testl %edi, %edi
movq 0xd0(%rsp), %r10
movq 0x28(%rsp), %rcx
movl 0x34(%rsp), %r8d
jle 0x95da0
movq 0x80(%r10), %rsi
movq 0x88(%r10), %r9
movq 0xa0(%r10), %r14
movq 0x98(%r10), %r15
movq 0x78(%rsp), %r12
xorl %ebp, %ebp
movq -0x10(%r11,%r12,8), %rax
shrq %rax
orq %rbp, %rax
movq %rax, -0x10(%r9,%r12,8)
movq -0x10(%r11,%r12,8), %rbp
andq -0x10(%r14,%r12,8), %rax
movq %rax, -0x10(%rsi,%r12,8)
movq -0x10(%r14,%r12,8), %rax
orq -0x10(%r9,%r12,8), %rax
notq %rax
movq %rax, -0x10(%rdx,%r12,8)
orq -0x10(%r15,%r12,8), %rax
shlq $0x3f, %rbp
movq %rax, -0x10(%rdx,%r12,8)
decq %r12
cmpq $0x1, %r12
jg 0x95d58
testb $0x1, (%r11)
jne 0x95dbb
movl 0x8(%rsp), %r15d
cmpl 0x10(%rsp), %r15d
jge 0x9626d
incl %r15d
jmp 0x95dc0
movl 0x8(%rsp), %r15d
movl 0x30(%rsp), %esi
addl %ecx, %esi
movl 0x38(%rsp), %ebp
js 0x95f22
cmpl $0x7fffffff, %ebp       # imm = 0x7FFFFFFF
movq 0x58(%rsp), %r12
jne 0x95f29
movl %r15d, %ebp
cmpq 0x70(%rsp), %rcx
jge 0x95f61
addl 0x14(%rsp), %r8d
andl $-0x2, %r8d
movl %r12d, %eax
subl %ecx, %eax
addl %eax, %ebx
movq 0x80(%r10), %rsi
decl %ebx
movd %r15d, %xmm11
movd %ebx, %xmm7
pshufd $0x50, %xmm7, %xmm7     # xmm7 = xmm7[0,0,1,1]
xorl %ebx, %ebx
pxor %xmm1, %xmm7
movdqa %xmm0, %xmm10
movdqa %xmm11, %xmm9
movdqa %xmm10, %xmm8
pxor %xmm1, %xmm8
pcmpgtd %xmm7, %xmm8
movl %ebx, %r9d
shrl $0x6, %r9d
movd %xmm8, %ebp
notl %ebp
testb $0x1, %bpl
je 0x95e4f
movq (%rdx,%r9,8), %xmm11
movdqa %xmm8, %xmm12
pxor %xmm3, %xmm12
pextrw $0x2, %xmm12, %r14d
testb $0x1, %r14b
je 0x95e70
movq (%rdx,%r9,8), %xmm12
punpcklqdq %xmm12, %xmm11  # xmm11 = xmm11[0],xmm12[0]
testb $0x1, %bpl
je 0x95e7c
movq (%rsi,%r9,8), %xmm12
testb $0x1, %r14b
je 0x95e8d
movq (%rsi,%r9,8), %xmm13
punpcklqdq %xmm13, %xmm12  # xmm12 = xmm12[0],xmm13[0]
movdqa %xmm10, %xmm13
pand %xmm2, %xmm13
movdqa %xmm13, %xmm14
punpckldq %xmm4, %xmm14   # xmm14 = xmm14[0],xmm4[0],xmm14[1],xmm4[1]
movdqa %xmm11, %xmm15
psrlq %xmm14, %xmm15
psrlq $0x20, %xmm13
psrlq %xmm13, %xmm11
movsd %xmm15, %xmm11          # xmm11 = xmm15[0],xmm11[1]
shufps $0xe8, %xmm11, %xmm11   # xmm11 = xmm11[0,2,2,3]
movdqa %xmm12, %xmm13
psrlq %xmm14, %xmm13
andps %xmm5, %xmm11
pshufd $0xee, %xmm14, %xmm14   # xmm14 = xmm14[2,3,2,3]
psrlq %xmm14, %xmm12
paddd %xmm9, %xmm11
movsd %xmm13, %xmm12          # xmm12 = xmm13[0],xmm12[1]
shufps $0xe8, %xmm12, %xmm12   # xmm12 = xmm12[0,2,2,3]
andps %xmm5, %xmm12
psubd %xmm12, %xmm11
addl $0x2, %ebx
paddd %xmm6, %xmm10
cmpl %ebx, %r8d
jne 0x95e21
pand %xmm8, %xmm9
pandn %xmm11, %xmm8
por %xmm9, %xmm8
pshufd $0x55, %xmm8, %xmm7     # xmm7 = xmm8[1,1,1,1]
paddd %xmm8, %xmm7
movd %xmm7, %ebp
jmp 0x95f61
movq 0x58(%rsp), %r12
jmp 0x95f7d
movl 0xc(%rsp), %eax
subl %esi, %eax
js 0x95f61
movq 0x98(%r10), %rcx
movq 0xa0(%r10), %rsi
movl %eax, %r8d
shrl $0x6, %r8d
movq (%rsi,%r8,8), %rsi
btq %rax, %rsi
adcl $0x0, %ebp
movq (%rcx,%r8,8), %rcx
btq %rax, %rcx
movq 0x28(%rsp), %rcx
sbbl $0x0, %ebp
cmpl 0x28(%r10), %ebp
jg 0x95f7d
cmpl 0x2c(%r10), %ebp
jge 0x95f7d
movl %ebp, 0x2c(%r10)
movl 0x4(%rsp), %eax
movl %eax, 0x14(%r10)
movl %ecx, 0x20(%r10)
movq 0x48(%r10), %rsi
movq 0x50(%r10), %r8
movq 0x58(%r10), %r9
movq 0x60(%r10), %rbx
cmpl $0x2, %edi
jl 0x95fe5
xorl %r14d, %r14d
movq (%rsi,%r14,8), %rax
movq 0x8(%rsi,%r14,8), %rcx
shldq $0x3f, %rax, %rcx
movq %rcx, (%rsi,%r14,8)
movq (%r8,%r14,8), %rax
movq 0x8(%r8,%r14,8), %rcx
shldq $0x3f, %rax, %rcx
movq %rcx, (%r8,%r14,8)
movq (%r9,%r14,8), %rax
movq 0x8(%r9,%r14,8), %rcx
shldq $0x3f, %rax, %rcx
movq %rcx, (%r9,%r14,8)
movq (%rbx,%r14,8), %rax
movq 0x8(%rbx,%r14,8), %rcx
shldq $0x3f, %rax, %rcx
movq %rcx, (%rbx,%r14,8)
incq %r14
cmpq %r14, %r13
jne 0x95f95
movq 0x88(%rsp), %rax
shrq (%rsi,%rax,8)
shrq (%r8,%rax,8)
shrq (%r9,%rax,8)
shrq (%rbx,%rax,8)
movq 0x90(%rsp), %r8
incq %r8
cmpq 0x80(%rsp), %r8
jge 0x96040
movq 0x48(%rsp), %rax
movzbl (%rax,%r8), %eax
leaq 0x1a3bfd(%rip), %rcx    # 0x239c20
movzbl (%rcx,%rax), %eax
cmpq $0x3, %rax
ja 0x96040
movq 0x48(%r10,%rax,8), %rax
movq 0x60(%rsp), %rcx
movq 0x68(%rsp), %rsi
orq %rsi, (%rax,%rcx,8)
movq 0x28(%rsp), %rcx
incq %rcx
movl 0x3c(%rsp), %eax
incl %eax
decl 0x14(%rsp)
cmpq 0x20(%rsp), %rcx
movl 0x4(%rsp), %esi
jne 0x95c3d
movq 0x18(%rsp), %r13
movq 0x40(%rsp), %r14
movl (%rsp), %ebx
jmp 0x9607c
movq $0x0, 0x20(%rsp)
movl %r12d, %r15d
testl %edi, %edi
jle 0x961cf
movl %r15d, 0x8(%rsp)
movq 0x50(%rsp), %rax
movq 0x20(%rsp), %rcx
movzbl (%rax,%rcx), %eax
leaq 0x1a3b82(%rip), %rcx    # 0x239c20
movzbl (%rcx,%rax), %eax
movq 0x48(%r10,%rax,8), %rcx
movq 0x80(%r10), %rsi
movq 0x88(%r10), %r8
movq 0x90(%r10), %r9
movq %r10, %rax
movq 0x98(%r10), %r10
movq 0xa0(%rax), %r11
xorl %ebx, %ebx
xorl %eax, %eax
movq (%rsi,%rbx,8), %r14
orq (%rcx,%rbx,8), %r14
movq %r14, (%r8,%rbx,8)
andq (%rdx,%rbx,8), %r14
addq %rax, %r14
setb %al
movq %r14, (%r9,%rbx,8)
addq (%rdx,%rbx,8), %r14
movq %r14, (%r9,%rbx,8)
movq (%rdx,%rbx,8), %r15
cmpq %r15, %r14
setb %bpl
xorq %r15, %r14
movq %r14, (%r9,%rbx,8)
orq (%r8,%rbx,8), %r14
orb %al, %bpl
movq %r14, (%r9,%rbx,8)
andq (%rdx,%rbx,8), %r14
movq %r14, (%r10,%rbx,8)
movq (%r9,%rbx,8), %r14
orq (%rdx,%rbx,8), %r14
notq %r14
movq %r14, (%r11,%rbx,8)
orq (%rsi,%rbx,8), %r14
movzbl %bpl, %eax
movq %r14, (%r11,%rbx,8)
incq %rbx
cmpq %rbx, %rdi
jne 0x960d1
testl %edi, %edi
movq 0xd0(%rsp), %r10
movq 0x40(%rsp), %r14
movl (%rsp), %ebx
movl 0x8(%rsp), %r15d
jle 0x961cf
movq 0x90(%r10), %rcx
movq 0x80(%r10), %rsi
movq 0x88(%r10), %r8
movq 0xa0(%r10), %r9
movq 0x98(%r10), %r10
incq %rdi
xorl %r11d, %r11d
movq -0x10(%rcx,%rdi,8), %rax
shrq %rax
orq %r11, %rax
movq %rax, -0x10(%r8,%rdi,8)
movq -0x10(%rcx,%rdi,8), %r11
andq -0x10(%r9,%rdi,8), %rax
movq %rax, -0x10(%rsi,%rdi,8)
movq -0x10(%r9,%rdi,8), %rax
orq -0x10(%r8,%rdi,8), %rax
notq %rax
movq %rax, -0x10(%rdx,%rdi,8)
orq -0x10(%r10,%rdi,8), %rax
shlq $0x3f, %r11
movq %rax, -0x10(%rdx,%rdi,8)
decq %rdi
cmpq $0x1, %rdi
ja 0x9617d
movq 0xd0(%rsp), %r10
jmp 0x961d6
movq 0x90(%r10), %rcx
testb $0x1, (%rcx)
jne 0x961f1
cmpl 0x10(%rsp), %r15d
jge 0x9626d
incl %r15d
movq 0x18(%rsp), %r13
movl (%rsp), %ebx
movl 0x4(%rsp), %eax
movl %ebx, %ecx
subl %r12d, %ecx
cmpl %eax, %ecx
jge 0x96253
movq 0x80(%r10), %rsi
subl %r12d, %r13d
movl %r13d, %r8d
subl %r14d, %r8d
xorl %edi, %edi
movl %edi, %eax
shrl $0x6, %eax
movq (%rdx,%rax,8), %r9
btq %rdi, %r9
adcl $0x0, %r15d
movq (%rsi,%rax,8), %rax
btq %rdi, %rax
sbbl $0x0, %r15d
cmpl %r12d, %r15d
jg 0x96248
cmpl 0x2c(%r10), %r15d
jge 0x96248
leal (%rdi,%r13), %eax
movl %r15d, 0x2c(%r10)
movl %eax, 0x14(%r10)
movl %ebx, 0x20(%r10)
incl %edi
movl %r8d, %eax
addl %edi, %eax
jne 0x96210
addl %edi, %ecx
cmpl %r12d, %r15d
jg 0x9626d
cmpl 0x2c(%r10), %r15d
jge 0x9626d
movl %r15d, 0x2c(%r10)
movl %ecx, 0x14(%r10)
movl (%rsp), %eax
movl %eax, 0x20(%r10)
addq $0x98, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq