// File: 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
movq %rsp, %rbp
subq $0x90, %rsp
movq 0x10(%rbp), %rax
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movl %r8d, -0x20(%rbp)
movq %r9, -0x28(%rbp)
movl -0x20(%rbp), %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x28(%rax)
movq 0x10(%rbp), %rax
movl $0x7fffffff, 0x2c(%rax) # imm = 0x7FFFFFFF
movl -0xc(%rbp), %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x18(%rax)
movl -0x1c(%rbp), %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x24(%rax)
movq 0x10(%rbp), %rax
movl $0x0, 0xc(%rax)
movq 0x10(%rbp), %rax
movl $0x0, 0x4(%rax)
movq 0x10(%rbp), %rax
movl $0x0, 0x8(%rax)
movq 0x10(%rbp), %rax
movl $0x0, (%rax)
movq 0x10(%rbp), %rax
movl $0x0, 0x1c(%rax)
movq 0x10(%rbp), %rax
movl $0x0, 0x10(%rax)
movq 0x10(%rbp), %rax
movl $0xffffffff, 0x20(%rax) # imm = 0xFFFFFFFF
movq 0x10(%rbp), %rax
movl $0xffffffff, 0x14(%rax) # imm = 0xFFFFFFFF
movl -0xc(%rbp), %eax
movl -0x1c(%rbp), %ecx
addl -0x20(%rbp), %ecx
cmpl %ecx, %eax
jle 0xbaffd
movl -0x1c(%rbp), %eax
addl -0x20(%rbp), %eax
movl %eax, -0xc(%rbp)
jmp 0xbb015
movl -0x1c(%rbp), %eax
movl -0xc(%rbp), %ecx
addl -0x20(%rbp), %ecx
cmpl %ecx, %eax
jle 0xbb013
movl -0xc(%rbp), %eax
addl -0x20(%rbp), %eax
movl %eax, -0x1c(%rbp)
jmp 0xbb015
movl -0x1c(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x34(%rbp)
movl -0x20(%rbp), %eax
movl -0x20(%rbp), %ecx
shll %ecx
addl %ecx, %eax
movl %eax, -0x38(%rbp)
movl -0xc(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x70(%rbp)
movl $0x7fffffff, -0x74(%rbp) # imm = 0x7FFFFFFF
cmpq $0x0, -0x28(%rbp)
je 0xbb051
movq -0x28(%rbp), %rax
movl (%rax), %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x30(%rax)
jmp 0xbb080
movl -0x20(%rbp), %eax
shll %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
movl -0x3c(%rbp), %ecx
sarl $0x6, %ecx
movl -0x3c(%rbp), %eax
andl $0x3f, %eax
cmpl $0x0, %eax
setne %al
xorb $-0x1, %al
xorb $-0x1, %al
andb $0x1, %al
movzbl %al, %eax
addl %eax, %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x30(%rax)
jmp 0xbb082
movl -0x20(%rbp), %eax
movq 0x10(%rbp), %rcx
cmpl 0x3c(%rcx), %eax
jle 0xbb387
movl -0x20(%rbp), %ecx
shll %ecx
addl $0x1, %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x3c(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %eax
shrl $0x6, %eax
movq 0x10(%rbp), %rcx
movl 0x3c(%rcx), %ecx
andl $0x3f, %ecx
cmpl $0x0, %ecx
setne %cl
xorb $-0x1, %cl
xorb $-0x1, %cl
andb $0x1, %cl
movzbl %cl, %ecx
addl %ecx, %eax
imull $0xc, %eax, %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x3c(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %eax
movq 0x10(%rbp), %rcx
cmpl 0x38(%rcx), %eax
jbe 0xbb37d
movq 0x10(%rbp), %rax
movq 0x40(%rax), %rdi
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %eax
movl %eax, %esi
shlq $0x3, %rsi
callq 0x2360
movq %rax, %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x40(%rax)
movq 0x10(%rbp), %rax
movq %rax, -0x88(%rbp)
movl 0x3c(%rax), %eax
movl $0xc, %ecx
xorl %edx, %edx
divl %ecx
movl %eax, %ecx
movq -0x88(%rbp), %rax
movl %ecx, 0x3c(%rax)
movq 0x10(%rbp), %rax
movl $0x0, 0x38(%rax)
movq 0x10(%rbp), %rax
movq 0x40(%rax), %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x48(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %ecx
movq 0x10(%rbp), %rax
addl 0x38(%rax), %ecx
movl %ecx, 0x38(%rax)
movq 0x10(%rbp), %rax
movq 0x40(%rax), %rcx
movq 0x10(%rbp), %rax
movl 0x38(%rax), %eax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x50(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %ecx
movq 0x10(%rbp), %rax
addl 0x38(%rax), %ecx
movl %ecx, 0x38(%rax)
movq 0x10(%rbp), %rax
movq 0x40(%rax), %rcx
movq 0x10(%rbp), %rax
movl 0x38(%rax), %eax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x58(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %ecx
movq 0x10(%rbp), %rax
addl 0x38(%rax), %ecx
movl %ecx, 0x38(%rax)
movq 0x10(%rbp), %rax
movq 0x40(%rax), %rcx
movq 0x10(%rbp), %rax
movl 0x38(%rax), %eax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x60(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %ecx
movq 0x10(%rbp), %rax
addl 0x38(%rax), %ecx
movl %ecx, 0x38(%rax)
movq 0x10(%rbp), %rax
movq 0x40(%rax), %rcx
movq 0x10(%rbp), %rax
movl 0x38(%rax), %eax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x68(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %ecx
movq 0x10(%rbp), %rax
addl 0x38(%rax), %ecx
movl %ecx, 0x38(%rax)
movq 0x10(%rbp), %rax
movq 0x40(%rax), %rcx
movq 0x10(%rbp), %rax
movl 0x38(%rax), %eax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x70(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %ecx
movq 0x10(%rbp), %rax
addl 0x38(%rax), %ecx
movl %ecx, 0x38(%rax)
movq 0x10(%rbp), %rax
movq 0x40(%rax), %rcx
movq 0x10(%rbp), %rax
movl 0x38(%rax), %eax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x78(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %ecx
movq 0x10(%rbp), %rax
addl 0x38(%rax), %ecx
movl %ecx, 0x38(%rax)
movq 0x10(%rbp), %rax
movq 0x40(%rax), %rcx
movq 0x10(%rbp), %rax
movl 0x38(%rax), %eax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x80(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %ecx
movq 0x10(%rbp), %rax
addl 0x38(%rax), %ecx
movl %ecx, 0x38(%rax)
movq 0x10(%rbp), %rax
movq 0x40(%rax), %rcx
movq 0x10(%rbp), %rax
movl 0x38(%rax), %eax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x88(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %ecx
movq 0x10(%rbp), %rax
addl 0x38(%rax), %ecx
movl %ecx, 0x38(%rax)
movq 0x10(%rbp), %rax
movq 0x40(%rax), %rcx
movq 0x10(%rbp), %rax
movl 0x38(%rax), %eax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x90(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %ecx
movq 0x10(%rbp), %rax
addl 0x38(%rax), %ecx
movl %ecx, 0x38(%rax)
movq 0x10(%rbp), %rax
movq 0x40(%rax), %rcx
movq 0x10(%rbp), %rax
movl 0x38(%rax), %eax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0x98(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %ecx
movq 0x10(%rbp), %rax
addl 0x38(%rax), %ecx
movl %ecx, 0x38(%rax)
movq 0x10(%rbp), %rax
movq 0x40(%rax), %rcx
movq 0x10(%rbp), %rax
movl 0x38(%rax), %eax
shlq $0x3, %rax
addq %rax, %rcx
movq 0x10(%rbp), %rax
movq %rcx, 0xa0(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %ecx
movq 0x10(%rbp), %rax
addl 0x38(%rax), %ecx
movl %ecx, 0x38(%rax)
movq 0x10(%rbp), %rax
movl 0x3c(%rax), %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x34(%rax)
movl -0x20(%rbp), %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x3c(%rax)
jmp 0xbb389
movq 0x10(%rbp), %rax
movslq 0x30(%rax), %rax
shlq $0x3, %rax
movl %eax, -0x48(%rbp)
movq 0x10(%rbp), %rax
movq 0x48(%rax), %rdi
movslq -0x48(%rbp), %rdx
xorl %esi, %esi
callq 0x2100
movq 0x10(%rbp), %rax
movq 0x50(%rax), %rdi
movslq -0x48(%rbp), %rdx
xorl %esi, %esi
callq 0x2100
movq 0x10(%rbp), %rax
movq 0x58(%rax), %rdi
movslq -0x48(%rbp), %rdx
xorl %esi, %esi
callq 0x2100
movq 0x10(%rbp), %rax
movq 0x60(%rax), %rdi
movslq -0x48(%rbp), %rdx
xorl %esi, %esi
callq 0x2100
movq 0x10(%rbp), %rax
movq 0x68(%rax), %rdi
movslq -0x48(%rbp), %rdx
xorl %esi, %esi
callq 0x2100
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
movl -0x3c(%rbp), %eax
cmpl -0xc(%rbp), %eax
jg 0xbb413
movl -0x3c(%rbp), %eax
movl %eax, -0x8c(%rbp)
jmp 0xbb41c
movl -0xc(%rbp), %eax
movl %eax, -0x8c(%rbp)
movl -0x8c(%rbp), %eax
movl %eax, -0x3c(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x40(%rbp)
movl $0x0, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
cmpl -0x3c(%rbp), %eax
jge 0xbb493
movl -0x40(%rbp), %eax
andl $0x3f, %eax
movl %eax, %eax
movl %eax, %ecx
movl $0x1, %edx
shlq %cl, %rdx
movq 0x10(%rbp), %rax
movq -0x8(%rbp), %rcx
movslq -0x2c(%rbp), %rsi
movzbl (%rcx,%rsi), %ecx
movl %ecx, %esi
leaq 0x2cf37b(%rip), %rcx    # 0x38a7e0
movzbl (%rcx,%rsi), %ecx
movq 0x48(%rax,%rcx,8), %rax
movl -0x40(%rbp), %ecx
sarl $0x6, %ecx
movslq %ecx, %rcx
orq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movl -0x40(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x40(%rbp)
movl -0x2c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x2c(%rbp)
jmp 0xbb432
movl -0x20(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x40(%rbp)
movq 0x10(%rbp), %rax
movq 0x68(%rax), %rdi
movslq -0x48(%rbp), %rdx
xorl %esi, %esi
callq 0x2100
movl -0x20(%rbp), %eax
movl %eax, -0x30(%rbp)
movq 0x10(%rbp), %rax
movq 0x80(%rax), %rdi
movq 0x10(%rbp), %rax
movslq 0x30(%rax), %rdx
shlq $0x3, %rdx
xorl %esi, %esi
callq 0x2100
movl -0x20(%rbp), %eax
sarl $0x6, %eax
cmpl $0x0, %eax
je 0xbb506
movq 0x10(%rbp), %rax
movq 0x80(%rax), %rdi
movl -0x20(%rbp), %eax
sarl $0x6, %eax
movslq %eax, %rdx
shlq $0x3, %rdx
movl $0xff, %esi
callq 0x2100
movl -0x20(%rbp), %eax
andl $0x3f, %eax
cmpl $0x0, %eax
je 0xbb53f
movl -0x20(%rbp), %eax
andl $0x3f, %eax
movl %eax, %eax
movl %eax, %ecx
movl $0x1, %edx
shlq %cl, %rdx
subq $0x1, %rdx
movq 0x10(%rbp), %rax
movq 0x80(%rax), %rax
movl -0x20(%rbp), %ecx
sarl $0x6, %ecx
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0xbb541
jmp 0xbb543
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rdi
movq 0x10(%rbp), %rax
movslq 0x30(%rax), %rdx
shlq $0x3, %rdx
xorl %esi, %esi
callq 0x2100
movl -0x20(%rbp), %eax
shll %eax
addl $0x1, %eax
sarl $0x6, %eax
cmpl $0x0, %eax
je 0xbb592
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rdi
movl -0x20(%rbp), %eax
shll %eax
addl $0x1, %eax
sarl $0x6, %eax
movslq %eax, %rdx
shlq $0x3, %rdx
movl $0xff, %esi
callq 0x2100
movl -0x20(%rbp), %eax
shll %eax
addl $0x1, %eax
andl $0x3f, %eax
cmpl $0x0, %eax
je 0xbb5d7
movl -0x20(%rbp), %eax
shll %eax
addl $0x1, %eax
andl $0x3f, %eax
movl %eax, %eax
movl %eax, %ecx
movl $0x1, %edx
shlq %cl, %rdx
subq $0x1, %rdx
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movl -0x20(%rbp), %ecx
shll %ecx
addl $0x1, %ecx
sarl $0x6, %ecx
movslq %ecx, %rcx
movq %rdx, (%rax,%rcx,8)
jmp 0xbb5d9
movl $0x0, -0x48(%rbp)
movl -0x48(%rbp), %eax
movq 0x10(%rbp), %rcx
cmpl 0x30(%rcx), %eax
jge 0xbb61e
movq 0x10(%rbp), %rax
movq 0x80(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
xorq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movl -0x48(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x48(%rbp)
jmp 0xbb5e0
movl $0x0, -0x2c(%rbp)
movl -0x20(%rbp), %eax
shll %eax
sarl $0x6, %eax
movl %eax, -0x50(%rbp)
movl -0x20(%rbp), %eax
shll %eax
andl $0x3f, %eax
movl %eax, %eax
movl %eax, %ecx
movl $0x1, %eax
shlq %cl, %rax
movq %rax, -0x68(%rbp)
movl -0x2c(%rbp), %eax
cmpl -0x34(%rbp), %eax
jge 0xbbd2a
movq -0x18(%rbp), %rax
movslq -0x2c(%rbp), %rcx
movzbl (%rax,%rcx), %eax
movl %eax, %ecx
leaq 0x2cf177(%rip), %rax    # 0x38a7e0
movzbl (%rax,%rcx), %eax
movq %rax, -0x58(%rbp)
movq $0x0, -0x60(%rbp)
movl $0x0, -0x48(%rbp)
movl -0x48(%rbp), %eax
movq 0x10(%rbp), %rcx
cmpl 0x30(%rcx), %eax
jge 0xbb892
movq 0x10(%rbp), %rax
movq -0x58(%rbp), %rcx
movq 0x48(%rax,%rcx,8), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x80(%rax), %rax
movslq -0x48(%rbp), %rcx
orq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x88(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x88(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
andq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x60(%rbp), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
addq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rax
cmpq -0x60(%rbp), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
movq %rax, -0x60(%rbp)
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
addq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x10(%rbp), %rcx
movq 0x78(%rcx), %rcx
movslq -0x48(%rbp), %rdx
cmpq (%rcx,%rdx,8), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
orq -0x60(%rbp), %rax
movq %rax, -0x60(%rbp)
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
xorq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x88(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
orq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
andq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x98(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
orq (%rax,%rcx,8), %rdx
xorq $-0x1, %rdx
movq 0x10(%rbp), %rax
movq 0xa0(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x80(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0xa0(%rax), %rax
movslq -0x48(%rbp), %rcx
orq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movl -0x48(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x48(%rbp)
jmp 0xbb680
movq 0x10(%rbp), %rax
movl 0x30(%rax), %eax
subl $0x1, %eax
movl %eax, -0x48(%rbp)
movq $0x0, -0x60(%rbp)
cmpl $0x0, -0x48(%rbp)
jl 0xbb9a1
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
shrq %rdx
orq -0x60(%rbp), %rdx
movq 0x10(%rbp), %rax
movq 0x88(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rax
shlq $0x3f, %rax
movq %rax, -0x60(%rbp)
movq 0x10(%rbp), %rax
movq 0x88(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0xa0(%rax), %rax
movslq -0x48(%rbp), %rcx
andq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x80(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x88(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0xa0(%rax), %rax
movslq -0x48(%rbp), %rcx
orq (%rax,%rcx,8), %rdx
xorq $-0x1, %rdx
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x98(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
orq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movl -0x48(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x48(%rbp)
jmp 0xbb8a7
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movq (%rax), %rax
andq $0x1, %rax
cmpq $0x0, %rax
jne 0xbb9d1
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
cmpl -0x38(%rbp), %eax
jle 0xbb9cf
jmp 0xbc1b7
jmp 0xbb9d1
movl -0x2c(%rbp), %eax
subl -0x20(%rbp), %eax
movl %eax, -0x6c(%rbp)
movl -0x2c(%rbp), %eax
addl -0x20(%rbp), %eax
subl -0x70(%rbp), %eax
movl %eax, -0x78(%rbp)
cmpl $0x0, -0x78(%rbp)
jl 0xbbb3c
cmpl $0x7fffffff, -0x74(%rbp) # imm = 0x7FFFFFFF
jne 0xbba8b
movl -0x30(%rbp), %eax
movl %eax, -0x74(%rbp)
movl $0x0, -0x78(%rbp)
movl -0x6c(%rbp), %eax
cmpl -0x70(%rbp), %eax
jge 0xbba89
movl -0x78(%rbp), %eax
sarl $0x6, %eax
movl %eax, -0x3c(%rbp)
movl -0x78(%rbp), %eax
andl $0x3f, %eax
movl %eax, -0x44(%rbp)
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x3c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl -0x44(%rbp), %ecx
shrq %cl, %rax
movq %rax, %rcx
andq $0x1, %rcx
movslq -0x74(%rbp), %rax
addq %rcx, %rax
movl %eax, -0x74(%rbp)
movq 0x10(%rbp), %rax
movq 0x80(%rax), %rax
movslq -0x3c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl -0x44(%rbp), %ecx
shrq %cl, %rax
movq %rax, %rcx
andq $0x1, %rcx
movslq -0x74(%rbp), %rax
subq %rcx, %rax
movl %eax, -0x74(%rbp)
movl -0x6c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x6c(%rbp)
movl -0x78(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x78(%rbp)
jmp 0xbba0a
jmp 0xbbb04
movl -0x20(%rbp), %eax
shll %eax
subl -0x78(%rbp), %eax
movl %eax, -0x78(%rbp)
cmpl $0x0, -0x78(%rbp)
jl 0xbbb02
movl -0x78(%rbp), %eax
sarl $0x6, %eax
movl %eax, -0x3c(%rbp)
movl -0x78(%rbp), %eax
andl $0x3f, %eax
movl %eax, -0x44(%rbp)
movq 0x10(%rbp), %rax
movq 0xa0(%rax), %rax
movslq -0x3c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl -0x44(%rbp), %ecx
shrq %cl, %rax
movq %rax, %rcx
andq $0x1, %rcx
movslq -0x74(%rbp), %rax
addq %rcx, %rax
movl %eax, -0x74(%rbp)
movq 0x10(%rbp), %rax
movq 0x98(%rax), %rax
movslq -0x3c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl -0x44(%rbp), %ecx
shrq %cl, %rax
movq %rax, %rcx
andq $0x1, %rcx
movslq -0x74(%rbp), %rax
subq %rcx, %rax
movl %eax, -0x74(%rbp)
jmp 0xbbb04
movl -0x74(%rbp), %eax
movq 0x10(%rbp), %rcx
cmpl 0x28(%rcx), %eax
jg 0xbbb3a
movl -0x74(%rbp), %eax
movq 0x10(%rbp), %rcx
cmpl 0x2c(%rcx), %eax
jge 0xbbb3a
movl -0x74(%rbp), %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x2c(%rax)
movl -0x70(%rbp), %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x14(%rax)
movl -0x2c(%rbp), %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x20(%rax)
jmp 0xbbb3c
movl $0x0, -0x48(%rbp)
movl $0x1, -0x4c(%rbp)
movl -0x4c(%rbp), %eax
movq 0x10(%rbp), %rcx
cmpl 0x30(%rcx), %eax
jge 0xbbc59
movq 0x10(%rbp), %rax
movq 0x48(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
shrq %rdx
movq 0x10(%rbp), %rax
movq 0x48(%rax), %rax
movslq -0x4c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
shlq $0x3f, %rax
orq %rax, %rdx
movq 0x10(%rbp), %rax
movq 0x48(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x50(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
shrq %rdx
movq 0x10(%rbp), %rax
movq 0x50(%rax), %rax
movslq -0x4c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
shlq $0x3f, %rax
orq %rax, %rdx
movq 0x10(%rbp), %rax
movq 0x50(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x58(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
shrq %rdx
movq 0x10(%rbp), %rax
movq 0x58(%rax), %rax
movslq -0x4c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
shlq $0x3f, %rax
orq %rax, %rdx
movq 0x10(%rbp), %rax
movq 0x58(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x60(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
shrq %rdx
movq 0x10(%rbp), %rax
movq 0x60(%rax), %rax
movslq -0x4c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
shlq $0x3f, %rax
orq %rax, %rdx
movq 0x10(%rbp), %rax
movq 0x60(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x48(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x48(%rbp)
movl -0x4c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x4c(%rbp)
jmp 0xbbb4a
movq 0x10(%rbp), %rax
movl 0x30(%rax), %eax
subl $0x1, %eax
movl %eax, -0x48(%rbp)
movq 0x10(%rbp), %rax
movq 0x48(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
shrq %rdx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x50(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
shrq %rdx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x58(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
shrq %rdx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x60(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
shrq %rdx
movq %rdx, (%rax,%rcx,8)
movl -0x2c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x2c(%rbp)
movl -0x40(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x40(%rbp)
movq $0x4, -0x58(%rbp)
movl -0x40(%rbp), %eax
cmpl -0xc(%rbp), %eax
jge 0xbbd01
movq -0x8(%rbp), %rax
movslq -0x40(%rbp), %rcx
movzbl (%rax,%rcx), %eax
movl %eax, %ecx
leaq 0x2ceae7(%rip), %rax    # 0x38a7e0
movzbl (%rax,%rcx), %eax
movq %rax, -0x58(%rbp)
cmpq $0x4, -0x58(%rbp)
jae 0xbbd25
movq -0x68(%rbp), %rdx
movq 0x10(%rbp), %rax
movq -0x58(%rbp), %rcx
movq 0x48(%rax,%rcx,8), %rax
movslq -0x50(%rbp), %rcx
orq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
jmp 0xbb648
movq -0x18(%rbp), %rax
movslq -0x2c(%rbp), %rcx
movzbl (%rax,%rcx), %eax
movl %eax, %ecx
leaq 0x2ceaa1(%rip), %rax    # 0x38a7e0
movzbl (%rax,%rcx), %eax
movq %rax, -0x58(%rbp)
movq $0x0, -0x60(%rbp)
movl $0x0, -0x48(%rbp)
movl -0x48(%rbp), %eax
movq 0x10(%rbp), %rcx
cmpl 0x30(%rcx), %eax
jge 0xbbf68
movq 0x10(%rbp), %rax
movq -0x58(%rbp), %rcx
movq 0x48(%rax,%rcx,8), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x80(%rax), %rax
movslq -0x48(%rbp), %rcx
orq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x88(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x88(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
andq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq -0x60(%rbp), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
addq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rax
cmpq -0x60(%rbp), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
movq %rax, -0x60(%rbp)
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
addq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x10(%rbp), %rcx
movq 0x78(%rcx), %rcx
movslq -0x48(%rbp), %rdx
cmpq (%rcx,%rdx,8), %rax
setb %al
andb $0x1, %al
movzbl %al, %eax
orq -0x60(%rbp), %rax
movq %rax, -0x60(%rbp)
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
xorq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x88(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
orq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
andq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x98(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
orq (%rax,%rcx,8), %rdx
xorq $-0x1, %rdx
movq 0x10(%rbp), %rax
movq 0xa0(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x80(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0xa0(%rax), %rax
movslq -0x48(%rbp), %rcx
orq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movl -0x48(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x48(%rbp)
jmp 0xbbd56
movq 0x10(%rbp), %rax
movl 0x30(%rax), %eax
subl $0x1, %eax
movl %eax, -0x48(%rbp)
movq $0x0, -0x60(%rbp)
cmpl $0x0, -0x48(%rbp)
jl 0xbc077
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
shrq %rdx
orq -0x60(%rbp), %rdx
movq 0x10(%rbp), %rax
movq 0x88(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rax
shlq $0x3f, %rax
movq %rax, -0x60(%rbp)
movq 0x10(%rbp), %rax
movq 0x88(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0xa0(%rax), %rax
movslq -0x48(%rbp), %rcx
andq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x80(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x88(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0xa0(%rax), %rax
movslq -0x48(%rbp), %rcx
orq (%rax,%rcx,8), %rdx
xorq $-0x1, %rdx
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movq 0x10(%rbp), %rax
movq 0x98(%rax), %rax
movslq -0x48(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x48(%rbp), %rcx
orq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movl -0x48(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x48(%rbp)
jmp 0xbbf7d
movq 0x10(%rbp), %rax
movq 0x90(%rax), %rax
movq (%rax), %rax
andq $0x1, %rax
cmpq $0x0, %rax
jne 0xbc0a7
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
cmpl -0x38(%rbp), %eax
jle 0xbc0a5
jmp 0xbc1b7
jmp 0xbc0a7
movl -0x1c(%rbp), %eax
subl $0x1, %eax
subl -0x20(%rbp), %eax
movl %eax, -0x7c(%rbp)
movl -0xc(%rbp), %eax
subl $0x1, %eax
movl %eax, -0x38(%rbp)
movl $0x0, -0x2c(%rbp)
movl -0x7c(%rbp), %eax
cmpl -0x38(%rbp), %eax
jge 0xbc180
movl -0x2c(%rbp), %eax
sarl $0x6, %eax
movl %eax, -0x3c(%rbp)
movl -0x2c(%rbp), %eax
andl $0x3f, %eax
movl %eax, -0x40(%rbp)
movq 0x10(%rbp), %rax
movq 0x78(%rax), %rax
movslq -0x3c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl -0x40(%rbp), %ecx
shrq %cl, %rax
movq %rax, %rcx
andq $0x1, %rcx
movslq -0x30(%rbp), %rax
addq %rcx, %rax
movl %eax, -0x30(%rbp)
movq 0x10(%rbp), %rax
movq 0x80(%rax), %rax
movslq -0x3c(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movl -0x40(%rbp), %ecx
shrq %cl, %rax
movq %rax, %rcx
andq $0x1, %rcx
movslq -0x30(%rbp), %rax
subq %rcx, %rax
movl %eax, -0x30(%rbp)
movl -0x7c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x7c(%rbp)
movl -0x30(%rbp), %eax
cmpl -0x20(%rbp), %eax
jg 0xbc170
movl -0x30(%rbp), %eax
movq 0x10(%rbp), %rcx
cmpl 0x2c(%rcx), %eax
jge 0xbc170
movl -0x30(%rbp), %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x2c(%rax)
movl -0x7c(%rbp), %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x14(%rax)
movl -0x1c(%rbp), %ecx
subl $0x1, %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x20(%rax)
jmp 0xbc172
movl -0x2c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x2c(%rbp)
jmp 0xbc0c3
movl -0x30(%rbp), %eax
cmpl -0x20(%rbp), %eax
jg 0xbc1b5
movl -0x30(%rbp), %eax
movq 0x10(%rbp), %rcx
cmpl 0x2c(%rcx), %eax
jge 0xbc1b5
movl -0x30(%rbp), %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x2c(%rax)
movl -0x7c(%rbp), %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x14(%rax)
movl -0x1c(%rbp), %ecx
subl $0x1, %ecx
movq 0x10(%rbp), %rax
movl %ecx, 0x20(%rax)
jmp 0xbc1b7
addq $0x90, %rsp
popq %rbp
retq