// File: /workspace/github_cpp_makefile_star2_O1/akinanop[P]mvl-solver/src/Formula.cc
// Function: Formula::reduceTheory(int, bool, int)
void Formula::reduceTheory ( int var, bool equals, int val ) {

	if ( equals ) {

		if ( LOG ) {
			cout << "Reducing literal: " << var << "="<< val << " at level " << LEVEL << endl;
			cout << "The reason for the literal: " << endl;
			if ( UNITCLAUSE > -1 ) CLAUSELIST[UNITCLAUSE] -> Print(); else cout << UNITCLAUSE << endl;
		}

		//Add literal to the Decision Stack
		DECSTACK.push_back ( Literal ( var, '=', val ) );

		if (heuristic==Heuristic::BK) {
			VARLIST[var] -> ATOMCNTPOS[val] = 0;
			VARLIST[var] -> ATOMCNTNEG[val] = 0;
		}
		VARLIST[var] -> ATOMASSIGN[val] = 1;
		VARLIST[var] -> ATOMLEVEL[val] = LEVEL;
		VARLIST[var] -> VAL = val;
		VARLIST[var] -> CLAUSEID[val] = UNITCLAUSE;
		VARLIST[var] -> ATOMINDEX[val] = DECSTACK.size() - 1; // to use in maxLit

		// satisfy all clauses with the literal, and remove the complement literal from clauses
		satisfyClauses ( var, equals, val );
		removeLiteral ( var, !equals, val );



		//foreach domain value x from dom(v) which is not assigned assign it
		for ( int i = 0; i < val && ! CONFLICT; i++ ) {

			if ( VARLIST[var] -> ATOMASSIGN[i] == 0 ) {

				if (heuristic==Heuristic::BK) {
					VARLIST[var] -> ATOMCNTPOS[i] = 0;
					VARLIST[var] -> ATOMCNTNEG[i] = 0;
				}
				VARLIST[var] -> ATOMASSIGN[i] = -1;
				VARLIST[var]->ATOMLEVEL[i] = LEVEL;
				VARLIST[var]->CLAUSEID[i] = UNITCLAUSE;
				VARLIST[var]->ATOMINDEX[i] = DECSTACK.size() - 1;

				satisfyClauses ( var, !equals, i );
				removeLiteral ( var, equals, i );
			}
		}

		for ( int i = val+1; i < VARLIST[var] -> DOMAINSIZE && ! CONFLICT; i++ ) {
			if ( VARLIST[var] -> ATOMASSIGN[i] == 0 ) {

				if (heuristic==Heuristic::BK) {
					VARLIST[var] -> ATOMCNTPOS[i] = 0;
					VARLIST[var] -> ATOMCNTNEG[i] = 0;
				}

				VARLIST[var] -> ATOMASSIGN[i] = -1;
				VARLIST[var] -> ATOMLEVEL[i] = LEVEL;
				VARLIST[var] -> CLAUSEID[i] = UNITCLAUSE;
				VARLIST[var] -> ATOMINDEX[i] = DECSTACK.size() - 1;

				satisfyClauses ( var, !equals, i );
				removeLiteral ( var, equals, i );
			}
		}
	}
	else {
		if ( LOG ) {
			cout << "Reducing literal: " << var << "!="<< val << " at level " << LEVEL << endl;
			cout << "The reason for the literal: " << endl;
			if ( UNITCLAUSE > -1 ) CLAUSELIST[UNITCLAUSE] -> Print(); else cout << UNITCLAUSE << endl;
		}
		DECSTACK.push_back ( Literal ( var, '!', val ) );

		if (heuristic==Heuristic::BK) {
			VARLIST[var] -> ATOMCNTPOS[val] = 0;
			VARLIST[var] -> ATOMCNTNEG[val] = 0;
		}
		VARLIST[var] -> ATOMASSIGN[val] = -1;
		VARLIST[var] -> ATOMLEVEL[val] = LEVEL;
		VARLIST[var] -> CLAUSEID[val] = UNITCLAUSE;
		VARLIST[var] -> ATOMINDEX[val] = DECSTACK.size() - 1;

		satisfyClauses ( var, equals, val );
		removeLiteral ( var, !equals, val );

		// Check entailment on this variable

		int entailVal = checkEntail ( var );
		if ( entailVal != -1 ) {

			ENTAILS++;
			if ( LOG ) cout << "Entailment... " << var << "=" << entailVal << endl;
			UNITCLAUSE = -2;
			reduceTheory ( var, true, entailVal );
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movl %ecx, %ebp
movl %esi, %r14d
movq %rdi, %rbx
movb 0xa4(%rdi), %al
testl %edx, %edx
je 0x852d
testb %al, %al
je 0x8658
movq 0x7b89(%rip), %r15      # 0xffd0
leaq 0x4914(%rip), %rsi      # 0xcd62
movl $0x12, %edx
movq %r15, %rdi
callq 0x2270
movq %r15, %rdi
movl %r14d, %esi
callq 0x2390
movq %rax, %r12
leaq 0x4811(%rip), %rsi      # 0xcc81
movl $0x1, %edx
movq %rax, %rdi
callq 0x2270
movq %r12, %rdi
movl %ebp, %esi
callq 0x2390
movq %rax, %r12
leaq 0x48e4(%rip), %rsi      # 0xcd75
movl $0xa, %edx
movq %rax, %rdi
callq 0x2270
movl 0x48(%rbx), %esi
movq %r12, %rdi
callq 0x2390
movq %rax, %r12
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r12, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
leaq 0x48a6(%rip), %rsi      # 0xcd80
movl $0x1c, %edx
movq %r15, %rdi
callq 0x2270
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r15, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movslq 0x78(%rbx), %rsi
testq %rsi, %rsi
js 0x8622
movq 0x18(%rbx), %rax
movq (%rax,%rsi,8), %rdi
callq 0x6fb0
jmp 0x8658
testb %al, %al
je 0x8ca9
movq 0x7a94(%rip), %r15      # 0xffd0
leaq 0x481f(%rip), %rsi      # 0xcd62
movl $0x12, %edx
movq %r15, %rdi
callq 0x2270
movq %r15, %rdi
movl %r14d, %esi
callq 0x2390
movq %rax, %r12
leaq 0x471b(%rip), %rsi      # 0xcc80
movl $0x2, %edx
movq %rax, %rdi
callq 0x2270
movq %r12, %rdi
movl %ebp, %esi
callq 0x2390
movq %rax, %r12
leaq 0x47ef(%rip), %rsi      # 0xcd75
movl $0xa, %edx
movq %rax, %rdi
callq 0x2270
movl 0x48(%rbx), %esi
movq %r12, %rdi
callq 0x2390
movq %rax, %r12
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r12, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r12, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
leaq 0x47b1(%rip), %rsi      # 0xcd80
movl $0x1c, %edx
movq %r15, %rdi
callq 0x2270
movq (%r15), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r15, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movslq 0x78(%rbx), %rsi
testq %rsi, %rsi
js 0x8c73
movq 0x18(%rbx), %rax
movq (%rax,%rsi,8), %rdi
callq 0x6fb0
jmp 0x8ca9
movq 0x79a7(%rip), %rdi      # 0xffd0
callq 0x2390
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r15, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl %r14d, 0x4(%rsp)
movl %ebp, 0x8(%rsp)
movb $0x1, 0xc(%rsp)
movq 0x90(%rbx), %rsi
cmpq 0x98(%rbx), %rsi
je 0x868f
movl 0xc(%rsp), %eax
movl %eax, 0x8(%rsi)
movq 0x4(%rsp), %rax
movq %rax, (%rsi)
addq $0xc, 0x90(%rbx)
jmp 0x86a0
leaq 0x88(%rbx), %rdi
leaq 0x4(%rsp), %rdx
callq 0xbbd2
cmpl $0x0, 0xa8(%rbx)
jne 0x86c6
movslq %r14d, %rax
movq (%rbx), %rcx
movq (%rcx,%rax,8), %rax
movq 0x28(%rax), %rcx
movslq %ebp, %rdx
xorl %esi, %esi
movl %esi, (%rcx,%rdx,4)
movq 0x30(%rax), %rax
movl %esi, (%rax,%rdx,4)
movslq %r14d, %rcx
movq (%rbx), %rax
movq %rcx, 0x18(%rsp)
movq (%rax,%rcx,8), %rax
movq 0x20(%rax), %rcx
movslq %ebp, %rdx
movl $0x1, (%rcx,%rdx,4)
movl 0x48(%rbx), %ecx
movq 0x18(%rax), %rsi
movl %ecx, (%rsi,%rdx,4)
movl %ebp, (%rsp)
movl %ebp, 0x4(%rax)
movl 0x78(%rbx), %ecx
movq 0x48(%rax), %rsi
movl %ecx, (%rsi,%rdx,4)
movq 0x90(%rbx), %rcx
subq 0x88(%rbx), %rcx
shrq $0x2, %rcx
imull $0xaaaaaaab, %ecx, %ecx # imm = 0xAAAAAAAB
decl %ecx
movq 0x10(%rax), %rsi
movl %ecx, (%rsi,%rdx,4)
movq 0x60(%rax), %rsi
leaq (%rdx,%rdx,2), %rcx
movq (%rsi,%rcx,8), %rdx
movq 0x8(%rsi,%rcx,8), %rsi
cmpq %rsi, %rdx
je 0x87f6
movq (%rbx), %rdi
movq 0x18(%rbx), %r8
movl 0xa8(%rbx), %r9d
movabsq $-0x5555555555555555, %r10 # imm = 0xAAAAAAAAAAAAAAAB
movslq (%rdx), %r11
movq (%r8,%r11,8), %r11
cmpl $-0x1, 0x1c(%r11)
jne 0x87e9
movl 0x48(%rbx), %ebp
movl %ebp, 0x1c(%r11)
movslq (%rdx), %r11
movq (%r8,%r11,8), %r11
movl $0x0, 0x18(%r11)
testl %r9d, %r9d
jne 0x87e9
movslq (%rdx), %r11
movq (%r8,%r11,8), %r11
movq (%r11), %r15
cmpq %r15, 0x8(%r11)
je 0x87e9
movl $0x8, %r11d
xorl %r14d, %r14d
movslq -0x8(%r15,%r11), %r13
movslq -0x4(%r15,%r11), %r12
movq (%rdi,%r13,8), %r13
movq 0x20(%r13), %rbp
cmpl $0x0, (%rbp,%r12,4)
jne 0x87c2
movzbl (%r15,%r11), %r15d
xorl $0x1, %r15d
movq 0x28(%r13,%r15,8), %r15
decl (%r15,%r12,4)
incq %r14
movslq (%rdx), %r15
movq (%r8,%r15,8), %r12
movq (%r12), %r15
movq 0x8(%r12), %r12
subq %r15, %r12
sarq $0x2, %r12
imulq %r10, %r12
addq $0xc, %r11
cmpq %r14, %r12
ja 0x8796
addq $0x4, %rdx
cmpq %rsi, %rdx
jne 0x8750
movq 0x68(%rax), %rax
movq (%rax,%rcx,8), %r12
movq 0x8(%rax,%rcx,8), %r13
cmpq %r13, %r12
movl (%rsp), %ebp
je 0x8877
movslq (%r12), %rcx
movq 0x18(%rbx), %rax
movq (%rax,%rcx,8), %rcx
cmpl $-0x1, 0x1c(%rcx)
jne 0x886e
decl 0x18(%rcx)
movslq (%r12), %rcx
movq (%rax,%rcx,8), %rax
cmpl $0x1, 0x18(%rax)
jne 0x8852
movq 0x60(%rbx), %r14
movl $0x18, %edi
callq 0x2230
movl (%r12), %ecx
movl %ecx, 0x10(%rax)
movq %rax, %rdi
movq %r14, %rsi
callq 0x2070
incq 0x70(%rbx)
movslq (%r12), %rax
movq 0x18(%rbx), %rcx
movq (%rcx,%rax,8), %rcx
cmpl $0x0, 0x18(%rcx)
jne 0x886e
movb $0x1, 0x7c(%rbx)
movl %eax, 0x80(%rbx)
addq $0x4, %r12
cmpq %r13, %r12
jne 0x880b
testl %ebp, %ebp
jle 0x8a6f
movl (%rsp), %eax
movq %rax, 0x10(%rsp)
movabsq $-0x5555555555555555, %r13 # imm = 0xAAAAAAAAAAAAAAAB
xorl %ebp, %ebp
cmpb $0x1, 0x7c(%rbx)
je 0x8a6f
movq (%rbx), %rax
movq 0x18(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x20(%rax), %rcx
cmpl $0x0, (%rcx,%rbp,4)
je 0x88c2
incq %rbp
cmpq 0x10(%rsp), %rbp
jne 0x8893
jmp 0x8a6f
cmpl $0x0, 0xa8(%rbx)
jne 0x88db
movq 0x28(%rax), %rdx
xorl %esi, %esi
movl %esi, (%rdx,%rbp,4)
movq 0x30(%rax), %rdx
movl %esi, (%rdx,%rbp,4)
movl $0xffffffff, (%rcx,%rbp,4) # imm = 0xFFFFFFFF
movl 0x48(%rbx), %ecx
movq 0x18(%rax), %rdx
movl %ecx, (%rdx,%rbp,4)
movl 0x78(%rbx), %ecx
movq 0x48(%rax), %rdx
movl %ecx, (%rdx,%rbp,4)
movq 0x90(%rbx), %rcx
subq 0x88(%rbx), %rcx
shrq $0x2, %rcx
imull $0xaaaaaaab, %ecx, %ecx # imm = 0xAAAAAAAB
decl %ecx
movq 0x10(%rax), %rdx
movl %ecx, (%rdx,%rbp,4)
movq 0x68(%rax), %rsi
leaq (,%rbp,2), %rcx
addq %rbp, %rcx
movq (%rsi,%rcx,8), %rdx
movq %rcx, 0x20(%rsp)
movq 0x8(%rsi,%rcx,8), %rsi
cmpq %rsi, %rdx
je 0x89ef
movq (%rbx), %rdi
movq 0x18(%rbx), %r8
movl 0xa8(%rbx), %r9d
movslq (%rdx), %r10
movq (%r8,%r10,8), %r10
cmpl $-0x1, 0x1c(%r10)
jne 0x89e2
movl 0x48(%rbx), %r11d
movl %r11d, 0x1c(%r10)
movslq (%rdx), %r10
movq (%r8,%r10,8), %r10
movl $0x0, 0x18(%r10)
testl %r9d, %r9d
jne 0x89e2
movslq (%rdx), %r10
movq (%r8,%r10,8), %r10
movq (%r10), %r14
cmpq %r14, 0x8(%r10)
je 0x89e2
movl $0x8, %r10d
xorl %r11d, %r11d
movslq -0x8(%r14,%r10), %r12
movslq -0x4(%r14,%r10), %r15
movq (%rdi,%r12,8), %r12
movq 0x20(%r12), %rcx
cmpl $0x0, (%rcx,%r15,4)
jne 0x89bd
movzbl (%r14,%r10), %ecx
xorl $0x1, %ecx
movq 0x28(%r12,%rcx,8), %rcx
decl (%rcx,%r15,4)
incq %r11
movslq (%rdx), %rcx
movq (%r8,%rcx,8), %rcx
movq (%rcx), %r14
movq 0x8(%rcx), %rcx
subq %r14, %rcx
sarq $0x2, %rcx
imulq %r13, %rcx
addq $0xc, %r10
cmpq %r11, %rcx
ja 0x8992
addq $0x4, %rdx
cmpq %rsi, %rdx
jne 0x894b
movq 0x60(%rax), %rax
movq 0x20(%rsp), %rcx
movq (%rax,%rcx,8), %r15
movq 0x8(%rax,%rcx,8), %r12
cmpq %r12, %r15
je 0x88b3
movslq (%r15), %rcx
movq 0x18(%rbx), %rax
movq (%rax,%rcx,8), %rcx
cmpl $-0x1, 0x1c(%rcx)
jne 0x8a69
decl 0x18(%rcx)
movslq (%r15), %rcx
movq (%rax,%rcx,8), %rax
cmpl $0x1, 0x18(%rax)
jne 0x8a4e
movq 0x60(%rbx), %r14
movl $0x18, %edi
callq 0x2230
movl (%r15), %ecx
movl %ecx, 0x10(%rax)
movq %rax, %rdi
movq %r14, %rsi
callq 0x2070
incq 0x70(%rbx)
movslq (%r15), %rax
movq 0x18(%rbx), %rcx
movq (%rcx,%rax,8), %rcx
cmpl $0x0, 0x18(%rcx)
jne 0x8a69
movb $0x1, 0x7c(%rbx)
movl %eax, 0x80(%rbx)
addq $0x4, %r15
jmp 0x8a01
movl (%rsp), %ecx
incl %ecx
movq (%rbx), %rax
movq 0x18(%rsp), %rdx
movq (%rax,%rdx,8), %rax
cmpl 0x8(%rax), %ecx
jge 0x8fae
movslq %ecx, %r12
movabsq $-0x5555555555555555, %rbp # imm = 0xAAAAAAAAAAAAAAAB
cmpb $0x0, 0x7c(%rbx)
jne 0x8fae
movq 0x20(%rax), %rcx
cmpl $0x0, (%rcx,%r12,4)
je 0x8ac8
incq %r12
movq (%rbx), %rax
movq 0x18(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movslq 0x8(%rax), %rcx
cmpq %rcx, %r12
jl 0x8a96
jmp 0x8fae
cmpl $0x0, 0xa8(%rbx)
jne 0x8ae3
movq 0x28(%rax), %rdx
xorl %esi, %esi
movl %esi, (%rdx,%r12,4)
movq 0x30(%rax), %rdx
movl %esi, (%rdx,%r12,4)
movl $0xffffffff, (%rcx,%r12,4) # imm = 0xFFFFFFFF
movl 0x48(%rbx), %ecx
movq 0x18(%rax), %rdx
movl %ecx, (%rdx,%r12,4)
movl 0x78(%rbx), %ecx
movq 0x48(%rax), %rdx
movl %ecx, (%rdx,%r12,4)
movq 0x90(%rbx), %rcx
subq 0x88(%rbx), %rcx
shrq $0x2, %rcx
imull $0xaaaaaaab, %ecx, %ecx # imm = 0xAAAAAAAB
decl %ecx
movq 0x10(%rax), %rdx
movl %ecx, (%rdx,%r12,4)
movq 0x68(%rax), %rsi
leaq (%r12,%r12,2), %rcx
movq (%rsi,%rcx,8), %rdx
movq %rcx, 0x10(%rsp)
movq 0x8(%rsi,%rcx,8), %rsi
cmpq %rsi, %rdx
je 0x8bf3
movq (%rbx), %rdi
movq 0x18(%rbx), %r8
movl 0xa8(%rbx), %r9d
movslq (%rdx), %r10
movq (%r8,%r10,8), %r10
cmpl $-0x1, 0x1c(%r10)
jne 0x8be6
movl 0x48(%rbx), %r11d
movl %r11d, 0x1c(%r10)
movslq (%rdx), %r10
movq (%r8,%r10,8), %r10
movl $0x0, 0x18(%r10)
testl %r9d, %r9d
jne 0x8be6
movslq (%rdx), %r10
movq (%r8,%r10,8), %r10
movq (%r10), %r14
cmpq %r14, 0x8(%r10)
je 0x8be6
movl $0x8, %r10d
xorl %r11d, %r11d
movslq -0x8(%r14,%r10), %r13
movslq -0x4(%r14,%r10), %r15
movq (%rdi,%r13,8), %r13
movq 0x20(%r13), %rcx
cmpl $0x0, (%rcx,%r15,4)
jne 0x8bc1
movzbl (%r14,%r10), %ecx
xorl $0x1, %ecx
movq 0x28(%r13,%rcx,8), %rcx
decl (%rcx,%r15,4)
incq %r11
movslq (%rdx), %rcx
movq (%r8,%rcx,8), %rcx
movq (%rcx), %r14
movq 0x8(%rcx), %rcx
subq %r14, %rcx
sarq $0x2, %rcx
imulq %rbp, %rcx
addq $0xc, %r10
cmpq %r11, %rcx
ja 0x8b97
addq $0x4, %rdx
cmpq %rsi, %rdx
jne 0x8b50
movq 0x60(%rax), %rax
movq 0x10(%rsp), %rcx
movq (%rax,%rcx,8), %r15
movq 0x8(%rax,%rcx,8), %r13
cmpq %r13, %r15
je 0x8aab
movslq (%r15), %rcx
movq 0x18(%rbx), %rax
movq (%rax,%rcx,8), %rcx
cmpl $-0x1, 0x1c(%rcx)
jne 0x8c6d
decl 0x18(%rcx)
movslq (%r15), %rcx
movq (%rax,%rcx,8), %rax
cmpl $0x1, 0x18(%rax)
jne 0x8c52
movq 0x60(%rbx), %r14
movl $0x18, %edi
callq 0x2230
movl (%r15), %ecx
movl %ecx, 0x10(%rax)
movq %rax, %rdi
movq %r14, %rsi
callq 0x2070
incq 0x70(%rbx)
movslq (%r15), %rax
movq 0x18(%rbx), %rcx
movq (%rcx,%rax,8), %rcx
cmpl $0x0, 0x18(%rcx)
jne 0x8c6d
movb $0x1, 0x7c(%rbx)
movl %eax, 0x80(%rbx)
addq $0x4, %r15
jmp 0x8c05
movq 0x7356(%rip), %rdi      # 0xffd0
callq 0x2390
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r15, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl %r14d, 0x4(%rsp)
movl %ebp, 0x8(%rsp)
movb $0x0, 0xc(%rsp)
movq 0x90(%rbx), %rsi
cmpq 0x98(%rbx), %rsi
je 0x8ce0
movl 0xc(%rsp), %eax
movl %eax, 0x8(%rsi)
movq 0x4(%rsp), %rax
movq %rax, (%rsi)
addq $0xc, 0x90(%rbx)
jmp 0x8cf1
leaq 0x88(%rbx), %rdi
leaq 0x4(%rsp), %rdx
callq 0xbbd2
cmpl $0x0, 0xa8(%rbx)
movl %r14d, 0x18(%rsp)
movslq %r14d, %rdi
movslq %ebp, %rcx
jne 0x8d1c
movq (%rbx), %rax
movq (%rax,%rdi,8), %rax
movq 0x28(%rax), %rdx
xorl %esi, %esi
movl %esi, (%rdx,%rcx,4)
movq 0x30(%rax), %rax
movl %esi, (%rax,%rcx,4)
movq (%rbx), %rax
movq %rdi, 0x10(%rsp)
movq (%rax,%rdi,8), %rax
movq 0x20(%rax), %rdx
movl $0xffffffff, (%rdx,%rcx,4) # imm = 0xFFFFFFFF
movl 0x48(%rbx), %edx
movq 0x18(%rax), %rsi
movl %edx, (%rsi,%rcx,4)
movl 0x78(%rbx), %edx
movq 0x48(%rax), %rsi
movl %edx, (%rsi,%rcx,4)
movq 0x90(%rbx), %rdx
subq 0x88(%rbx), %rdx
shrq $0x2, %rdx
imull $0xaaaaaaab, %edx, %edx # imm = 0xAAAAAAAB
decl %edx
movq 0x10(%rax), %rsi
movl %edx, (%rsi,%rcx,4)
movq 0x68(%rax), %rsi
leaq (%rcx,%rcx,2), %rcx
movq (%rsi,%rcx,8), %rdx
movq 0x8(%rsi,%rcx,8), %rsi
cmpq %rsi, %rdx
je 0x8e3e
movq (%rbx), %rdi
movq 0x18(%rbx), %r8
movl 0xa8(%rbx), %r9d
movabsq $-0x5555555555555555, %r10 # imm = 0xAAAAAAAAAAAAAAAB
movslq (%rdx), %r11
movq (%r8,%r11,8), %r11
cmpl $-0x1, 0x1c(%r11)
jne 0x8e31
movl 0x48(%rbx), %ebp
movl %ebp, 0x1c(%r11)
movslq (%rdx), %r11
movq (%r8,%r11,8), %r11
movl $0x0, 0x18(%r11)
testl %r9d, %r9d
jne 0x8e31
movslq (%rdx), %r11
movq (%r8,%r11,8), %r11
movq (%r11), %r13
cmpq %r13, 0x8(%r11)
je 0x8e31
movl $0x8, %r11d
xorl %r15d, %r15d
movslq -0x8(%r13,%r11), %r14
movslq -0x4(%r13,%r11), %rbp
movq (%rdi,%r14,8), %r14
movq 0x20(%r14), %r12
cmpl $0x0, (%r12,%rbp,4)
jne 0x8e0c
movzbl (%r13,%r11), %r12d
xorl $0x1, %r12d
movq 0x28(%r14,%r12,8), %r14
decl (%r14,%rbp,4)
incq %r15
movslq (%rdx), %r14
movq (%r8,%r14,8), %r14
movq (%r14), %r13
movq 0x8(%r14), %r14
subq %r13, %r14
sarq $0x2, %r14
imulq %r10, %r14
addq $0xc, %r11
cmpq %r15, %r14
ja 0x8de0
addq $0x4, %rdx
cmpq %rsi, %rdx
jne 0x8d9a
movq 0x60(%rax), %rax
movq (%rax,%rcx,8), %r13
movq 0x8(%rax,%rcx,8), %rbp
cmpq %rbp, %r13
movl 0x18(%rsp), %r14d
je 0x8ec1
movslq (%r13), %rcx
movq 0x18(%rbx), %rax
movq (%rax,%rcx,8), %rcx
cmpl $-0x1, 0x1c(%rcx)
jne 0x8eb8
decl 0x18(%rcx)
movslq (%r13), %rcx
movq (%rax,%rcx,8), %rax
cmpl $0x1, 0x18(%rax)
jne 0x8e9c
movq 0x60(%rbx), %r15
movl $0x18, %edi
callq 0x2230
movl (%r13), %ecx
movl %ecx, 0x10(%rax)
movq %rax, %rdi
movq %r15, %rsi
callq 0x2070
incq 0x70(%rbx)
movslq (%r13), %rax
movq 0x18(%rbx), %rcx
movq (%rcx,%rax,8), %rcx
cmpl $0x0, 0x18(%rcx)
jne 0x8eb8
movb $0x1, 0x7c(%rbx)
movl %eax, 0x80(%rbx)
addq $0x4, %r13
cmpq %rbp, %r13
jne 0x8e55
movq (%rbx), %rax
movq 0x10(%rsp), %rcx
movq (%rax,%rcx,8), %rcx
movslq 0x8(%rcx), %rax
testq %rax, %rax
jle 0x8f0a
movq 0x20(%rcx), %rcx
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
xorl %edx, %edx
xorl %edi, %edi
cmpl $0x0, (%rcx,%rdx,4)
jne 0x8ef4
testb $0x1, %dil
jne 0x8f0a
movb $0x1, %dil
movl %edx, %esi
incq %rdx
cmpq %rdx, %rax
jne 0x8ee3
testb $0x1, %dil
movl $0xffffffff, %ebp       # imm = 0xFFFFFFFF
cmovnel %esi, %ebp
jmp 0x8f0f
movl $0xffffffff, %ebp       # imm = 0xFFFFFFFF
cmpl $-0x1, %ebp
je 0x8fae
incl 0x58(%rbx)
cmpb $0x1, 0xa4(%rbx)
jne 0x8f95
movq 0x70a5(%rip), %r15      # 0xffd0
leaq 0x3e6b(%rip), %rsi      # 0xcd9d
movl $0xe, %edx
movq %r15, %rdi
callq 0x2270
movq %r15, %rdi
movl %r14d, %esi
callq 0x2390
movq %rax, %r15
leaq 0x3d2d(%rip), %rsi      # 0xcc81
movl $0x1, %edx
movq %rax, %rdi
callq 0x2270
movq %r15, %rdi
movl %ebp, %esi
callq 0x2390
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r15, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0xfffffffe, 0x78(%rbx) # imm = 0xFFFFFFFE
movq %rbx, %rdi
movl %r14d, %esi
movl $0x1, %edx
movl %ebp, %ecx
callq 0x8414
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop