// File: /workspace/github_cpp_makefile_star2_O3/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 $0x38, %rsp
movl %ecx, %ebp
movl %esi, %r14d
movq %rdi, %rbx
movb 0xa4(%rdi), %al
testl %edx, %edx
movq %rdi, 0x8(%rsp)
je 0x845a
testb %al, %al
je 0x8585
movq 0x8c5c(%rip), %r15      # 0x10fd0
leaq 0x59e7(%rip), %rsi      # 0xdd62
movl $0x12, %edx
movq %r15, %rdi
callq 0x2270
movq %r15, %rdi
movl %r14d, %esi
callq 0x2390
movq %rax, %r12
leaq 0x58e4(%rip), %rsi      # 0xdc81
movl $0x1, %edx
movq %rax, %rdi
callq 0x2270
movq %r12, %rdi
movl %ebp, %esi
callq 0x2390
movq %rax, %r12
leaq 0x59b7(%rip), %rsi      # 0xdd75
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 0x5979(%rip), %rsi      # 0xdd80
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 0x854f
movq 0x18(%rbx), %rax
movq (%rax,%rsi,8), %rdi
callq 0x6f0c
jmp 0x8585
testb %al, %al
je 0x8c12
movq 0x8b67(%rip), %r15      # 0x10fd0
leaq 0x58f2(%rip), %rsi      # 0xdd62
movl $0x12, %edx
movq %r15, %rdi
callq 0x2270
movq %r15, %rdi
movl %r14d, %esi
callq 0x2390
movq %rax, %r12
leaq 0x57ee(%rip), %rsi      # 0xdc80
movl $0x2, %edx
movq %rax, %rdi
callq 0x2270
movq %r12, %rdi
movl %ebp, %esi
callq 0x2390
movq %rax, %r12
leaq 0x58c2(%rip), %rsi      # 0xdd75
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 0x5884(%rip), %rsi      # 0xdd80
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 0x8bdc
movq 0x18(%rbx), %rax
movq (%rax,%rsi,8), %rdi
callq 0x6f0c
jmp 0x8c12
movq 0x8a7a(%rip), %rdi      # 0x10fd0
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, 0x1c(%rsp)
movl %ebp, 0x20(%rsp)
movb $0x1, 0x24(%rsp)
movq 0x90(%rbx), %rsi
cmpq 0x98(%rbx), %rsi
je 0x85bc
movl 0x24(%rsp), %eax
movl %eax, 0x8(%rsi)
movq 0x1c(%rsp), %rax
movq %rax, (%rsi)
addq $0xc, 0x90(%rbx)
jmp 0x85cd
leaq 0x88(%rbx), %rdi
leaq 0x1c(%rsp), %rdx
callq 0xbd3e
cmpl $0x0, 0xa8(%rbx)
movq (%rbx), %rax
movslq %r14d, %rcx
movq %rcx, 0x28(%rsp)
movq (%rax,%rcx,8), %rcx
je 0x85ea
movslq %ebp, %rdx
jmp 0x85fd
movq 0x28(%rcx), %rsi
movslq %ebp, %rdx
xorl %edi, %edi
movl %edi, (%rsi,%rdx,4)
movq 0x30(%rcx), %rsi
movl %edi, (%rsi,%rdx,4)
movq 0x20(%rcx), %rsi
movl $0x1, (%rsi,%rdx,4)
movl 0x48(%rbx), %esi
movq 0x18(%rcx), %rdi
movl %esi, (%rdi,%rdx,4)
movl %ebp, 0x18(%rsp)
movl %ebp, 0x4(%rcx)
movl 0x78(%rbx), %esi
movq 0x48(%rcx), %rdi
movl %esi, (%rdi,%rdx,4)
movq 0x90(%rbx), %rsi
subq 0x88(%rbx), %rsi
shrq $0x2, %rsi
imull $0xaaaaaaab, %esi, %esi # imm = 0xAAAAAAAB
decl %esi
movq 0x10(%rcx), %rdi
movl %esi, (%rdi,%rdx,4)
movq 0x60(%rcx), %rdi
leaq (%rdx,%rdx,2), %rdx
movq (%rdi,%rdx,8), %rsi
movq %rdx, 0x10(%rsp)
movq 0x8(%rdi,%rdx,8), %rdi
cmpq %rdi, %rsi
je 0x871d
movq 0x18(%rbx), %r8
movl 0xa8(%rbx), %r9d
movabsq $-0x5555555555555555, %r10 # imm = 0xAAAAAAAAAAAAAAAB
movslq (%rsi), %r11
movq (%r8,%r11,8), %r11
cmpl $-0x1, 0x1c(%r11)
jne 0x8710
movl 0x48(%rbx), %ebp
movl %ebp, 0x1c(%r11)
movslq (%rsi), %r11
movq (%r8,%r11,8), %r11
movl $0x0, 0x18(%r11)
testl %r9d, %r9d
jne 0x8710
movslq (%rsi), %r11
movq (%r8,%r11,8), %r14
movq (%r14), %r12
cmpq %r12, 0x8(%r14)
je 0x8710
movl $0x8, %r14d
xorl %r15d, %r15d
movslq -0x8(%r12,%r14), %rbp
movslq -0x4(%r12,%r14), %r13
movq (%rax,%rbp,8), %rbp
movq 0x20(%rbp), %rdx
cmpl $0x0, (%rdx,%r13,4)
jne 0x86eb
movzbl (%r12,%r14), %edx
xorl $0x1, %edx
movq 0x28(%rbp,%rdx,8), %rdx
decl (%rdx,%r13,4)
movl (%rsi), %r11d
incq %r15
movslq %r11d, %rdx
movq (%r8,%rdx,8), %rdx
movq (%rdx), %r12
movq 0x8(%rdx), %rdx
subq %r12, %rdx
sarq $0x2, %rdx
imulq %r10, %rdx
addq $0xc, %r14
cmpq %r15, %rdx
ja 0x86be
addq $0x4, %rsi
cmpq %rdi, %rsi
jne 0x8678
movq 0x68(%rcx), %rax
movq 0x10(%rsp), %rcx
movq (%rax,%rcx,8), %r12
movq 0x8(%rax,%rcx,8), %r13
cmpq %r13, %r12
movl 0x18(%rsp), %ebp
je 0x87aa
movq 0x18(%rbx), %rax
movslq (%r12), %rcx
movq (%rax,%rcx,8), %rcx
cmpl $-0x1, 0x1c(%rcx)
jne 0x87a1
decl 0x18(%rcx)
movl (%r12), %ecx
movslq %ecx, %rdx
movq (%rax,%rdx,8), %rsi
cmpl $0x1, 0x18(%rsi)
jne 0x878d
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)
movl (%r12), %ecx
movq 0x18(%rbx), %rax
movslq %ecx, %rdx
movq (%rax,%rdx,8), %rdx
cmpl $0x0, 0x18(%rdx)
jne 0x87a1
movb $0x1, 0x7c(%rbx)
movl %ecx, 0x80(%rbx)
addq $0x4, %r12
cmpq %r13, %r12
jne 0x873c
testl %ebp, %ebp
jle 0x89b8
movl 0x18(%rsp), %eax
movq %rax, 0x10(%rsp)
movabsq $-0x5555555555555555, %r13 # imm = 0xAAAAAAAAAAAAAAAB
xorl %ebp, %ebp
cmpb $0x1, 0x7c(%rbx)
je 0x89b8
movq (%rbx), %rcx
movq 0x28(%rsp), %rax
movq (%rcx,%rax,8), %rax
movq 0x20(%rax), %rdx
cmpl $0x0, (%rdx,%rbp,4)
jne 0x89aa
cmpl $0x0, 0xa8(%rbx)
jne 0x8804
movq 0x28(%rax), %rsi
xorl %edi, %edi
movl %edi, (%rsi,%rbp,4)
movq 0x30(%rax), %rsi
movl %edi, (%rsi,%rbp,4)
movl $0xffffffff, (%rdx,%rbp,4) # imm = 0xFFFFFFFF
movl 0x48(%rbx), %edx
movq 0x18(%rax), %rsi
movl %edx, (%rsi,%rbp,4)
movl 0x78(%rbx), %edx
movq 0x48(%rax), %rsi
movl %edx, (%rsi,%rbp,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,%rbp,4)
movq 0x68(%rax), %rdx
leaq (,%rbp,2), %rdi
addq %rbp, %rdi
movq (%rdx,%rdi,8), %rsi
movq %rdi, 0x30(%rsp)
movq 0x8(%rdx,%rdi,8), %rdi
cmpq %rdi, %rsi
je 0x8920
movq 0x8(%rsp), %rdx
movq 0x18(%rdx), %r8
movl 0xa8(%rdx), %r9d
movslq (%rsi), %rdx
movq (%r8,%rdx,8), %rdx
cmpl $-0x1, 0x1c(%rdx)
jne 0x8913
movq 0x8(%rsp), %r10
movl 0x48(%r10), %r10d
movl %r10d, 0x1c(%rdx)
movslq (%rsi), %rdx
movq (%r8,%rdx,8), %rdx
movl $0x0, 0x18(%rdx)
testl %r9d, %r9d
jne 0x8913
movslq (%rsi), %r10
movq (%r8,%r10,8), %rdx
movq (%rdx), %r15
cmpq %r15, 0x8(%rdx)
je 0x8913
movl $0x8, %r11d
xorl %r14d, %r14d
movslq -0x8(%r15,%r11), %rdx
movslq -0x4(%r15,%r11), %r12
movq (%rcx,%rdx,8), %rdx
movq 0x20(%rdx), %rbx
cmpl $0x0, (%rbx,%r12,4)
jne 0x88ee
movzbl (%r15,%r11), %r10d
xorl $0x1, %r10d
movq 0x28(%rdx,%r10,8), %rdx
decl (%rdx,%r12,4)
movl (%rsi), %r10d
incq %r14
movslq %r10d, %rdx
movq (%r8,%rdx,8), %rdx
movq (%rdx), %r15
movq 0x8(%rdx), %rdx
subq %r15, %rdx
sarq $0x2, %rdx
imulq %r13, %rdx
addq $0xc, %r11
cmpq %r14, %rdx
ja 0x88c0
addq $0x4, %rsi
cmpq %rdi, %rsi
jne 0x8876
movq 0x60(%rax), %rax
movq 0x30(%rsp), %rcx
movq (%rax,%rcx,8), %r15
movq 0x8(%rax,%rcx,8), %r12
cmpq %r12, %r15
movq 0x8(%rsp), %rbx
je 0x89aa
movq 0x18(%rbx), %rax
movslq (%r15), %rcx
movq (%rax,%rcx,8), %rcx
cmpl $-0x1, 0x1c(%rcx)
jne 0x89a1
decl 0x18(%rcx)
movl (%r15), %ecx
movslq %ecx, %rdx
movq (%rax,%rdx,8), %rsi
cmpl $0x1, 0x18(%rsi)
jne 0x898d
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)
movl (%r15), %ecx
movq 0x18(%rbx), %rax
movslq %ecx, %rdx
movq (%rax,%rdx,8), %rdx
cmpl $0x0, 0x18(%rdx)
jne 0x89a1
movb $0x1, 0x7c(%rbx)
movl %ecx, 0x80(%rbx)
addq $0x4, %r15
cmpq %r12, %r15
jne 0x8940
incq %rbp
cmpq 0x10(%rsp), %rbp
jne 0x87c7
movl 0x18(%rsp), %edx
incl %edx
movq (%rbx), %rax
movq 0x28(%rsp), %rcx
movq (%rax,%rcx,8), %rcx
cmpl 0x8(%rcx), %edx
jge 0x8f2a
movslq %edx, %r12
movabsq $-0x5555555555555555, %rbp # imm = 0xAAAAAAAAAAAAAAAB
cmpb $0x0, 0x7c(%rbx)
jne 0x8f2a
movq 0x20(%rcx), %rdx
cmpl $0x0, (%rdx,%r12,4)
jne 0x8bbe
cmpl $0x0, 0xa8(%rbx)
jne 0x8a14
movq 0x28(%rcx), %rsi
xorl %edi, %edi
movl %edi, (%rsi,%r12,4)
movq 0x30(%rcx), %rsi
movl %edi, (%rsi,%r12,4)
movl $0xffffffff, (%rdx,%r12,4) # imm = 0xFFFFFFFF
movl 0x48(%rbx), %edx
movq 0x18(%rcx), %rsi
movl %edx, (%rsi,%r12,4)
movl 0x78(%rbx), %edx
movq 0x48(%rcx), %rsi
movl %edx, (%rsi,%r12,4)
movq 0x90(%rbx), %rdx
subq 0x88(%rbx), %rdx
shrq $0x2, %rdx
imull $0xaaaaaaab, %edx, %edx # imm = 0xAAAAAAAB
decl %edx
movq 0x10(%rcx), %rsi
movl %edx, (%rsi,%r12,4)
movq 0x68(%rcx), %rdx
leaq (%r12,%r12,2), %rdi
movq (%rdx,%rdi,8), %rsi
movq %rdi, 0x10(%rsp)
movq 0x8(%rdx,%rdi,8), %rdi
cmpq %rdi, %rsi
je 0x8b2d
movq 0x8(%rsp), %rdx
movq 0x18(%rdx), %r8
movl 0xa8(%rdx), %r9d
movslq (%rsi), %rdx
movq (%r8,%rdx,8), %rdx
cmpl $-0x1, 0x1c(%rdx)
jne 0x8b20
movq 0x8(%rsp), %r10
movl 0x48(%r10), %r10d
movl %r10d, 0x1c(%rdx)
movslq (%rsi), %rdx
movq (%r8,%rdx,8), %rdx
movl $0x0, 0x18(%rdx)
testl %r9d, %r9d
jne 0x8b20
movslq (%rsi), %r10
movq (%r8,%r10,8), %rdx
movq (%rdx), %r15
cmpq %r15, 0x8(%rdx)
je 0x8b20
movl $0x8, %r11d
xorl %r14d, %r14d
movslq -0x8(%r15,%r11), %rdx
movslq -0x4(%r15,%r11), %r13
movq (%rax,%rdx,8), %rdx
movq 0x20(%rdx), %rbx
cmpl $0x0, (%rbx,%r13,4)
jne 0x8afb
movzbl (%r15,%r11), %r10d
xorl $0x1, %r10d
movq 0x28(%rdx,%r10,8), %rdx
decl (%rdx,%r13,4)
movl (%rsi), %r10d
incq %r14
movslq %r10d, %rdx
movq (%r8,%rdx,8), %rdx
movq (%rdx), %r15
movq 0x8(%rdx), %rdx
subq %r15, %rdx
sarq $0x2, %rdx
imulq %rbp, %rdx
addq $0xc, %r11
cmpq %r14, %rdx
ja 0x8acd
addq $0x4, %rsi
cmpq %rdi, %rsi
jne 0x8a83
movq 0x60(%rcx), %rcx
movq 0x10(%rsp), %rdx
movq (%rcx,%rdx,8), %r13
movq 0x8(%rcx,%rdx,8), %r15
cmpq %r15, %r13
movq 0x8(%rsp), %rbx
je 0x8bbe
movq 0x18(%rbx), %rax
movslq (%r13), %rcx
movq (%rax,%rcx,8), %rcx
cmpl $-0x1, 0x1c(%rcx)
jne 0x8bb2
decl 0x18(%rcx)
movl (%r13), %ecx
movslq %ecx, %rdx
movq (%rax,%rdx,8), %rsi
cmpl $0x1, 0x18(%rsi)
jne 0x8b9e
movq 0x60(%rbx), %r14
movl $0x18, %edi
callq 0x2230
movl (%r13), %ecx
movl %ecx, 0x10(%rax)
movq %rax, %rdi
movq %r14, %rsi
callq 0x2070
incq 0x70(%rbx)
movl (%r13), %ecx
movq 0x18(%rbx), %rax
movslq %ecx, %rdx
movq (%rax,%rdx,8), %rdx
cmpl $0x0, 0x18(%rdx)
jne 0x8bb2
movb $0x1, 0x7c(%rbx)
movl %ecx, 0x80(%rbx)
addq $0x4, %r13
cmpq %r15, %r13
jne 0x8b4d
movq (%rbx), %rax
incq %r12
movq 0x28(%rsp), %rcx
movq (%rax,%rcx,8), %rcx
movslq 0x8(%rcx), %rdx
cmpq %rdx, %r12
jl 0x89e0
jmp 0x8f2a
movq 0x83ed(%rip), %rdi      # 0x10fd0
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, 0x1c(%rsp)
movl %ebp, 0x20(%rsp)
movb $0x0, 0x24(%rsp)
movq 0x90(%rbx), %rsi
cmpq 0x98(%rbx), %rsi
je 0x8c49
movl 0x24(%rsp), %eax
movl %eax, 0x8(%rsi)
movq 0x1c(%rsp), %rax
movq %rax, (%rsi)
addq $0xc, 0x90(%rbx)
jmp 0x8c5a
leaq 0x88(%rbx), %rdi
leaq 0x1c(%rsp), %rdx
callq 0xbd3e
cmpl $0x0, 0xa8(%rbx)
movq (%rbx), %rcx
movslq %r14d, %rax
movq %rax, 0x10(%rsp)
movq (%rcx,%rax,8), %rax
movl %r14d, 0x28(%rsp)
je 0x8c7c
movslq %ebp, %rdx
jmp 0x8c8f
movq 0x28(%rax), %rsi
movslq %ebp, %rdx
xorl %edi, %edi
movl %edi, (%rsi,%rdx,4)
movq 0x30(%rax), %rsi
movl %edi, (%rsi,%rdx,4)
movq 0x20(%rax), %rsi
movl $0xffffffff, (%rsi,%rdx,4) # imm = 0xFFFFFFFF
movl 0x48(%rbx), %esi
movq 0x18(%rax), %rdi
movl %esi, (%rdi,%rdx,4)
movl 0x78(%rbx), %esi
movq 0x48(%rax), %rdi
movl %esi, (%rdi,%rdx,4)
movq 0x90(%rbx), %rsi
subq 0x88(%rbx), %rsi
shrq $0x2, %rsi
imull $0xaaaaaaab, %esi, %esi # imm = 0xAAAAAAAB
decl %esi
movq 0x10(%rax), %rdi
movl %esi, (%rdi,%rdx,4)
movq 0x68(%rax), %rdi
leaq (%rdx,%rdx,2), %rdx
movq (%rdi,%rdx,8), %rsi
movq 0x8(%rdi,%rdx,8), %rdi
cmpq %rdi, %rsi
je 0x8db0
movq 0x8(%rsp), %r9
movq 0x18(%r9), %r8
movl 0xa8(%r9), %r9d
movabsq $-0x5555555555555555, %r10 # imm = 0xAAAAAAAAAAAAAAAB
movslq (%rsi), %r11
movq (%r8,%r11,8), %r11
cmpl $-0x1, 0x1c(%r11)
jne 0x8da3
movq 0x8(%rsp), %rbx
movl 0x48(%rbx), %ebx
movl %ebx, 0x1c(%r11)
movslq (%rsi), %r11
movq (%r8,%r11,8), %r11
movl $0x0, 0x18(%r11)
testl %r9d, %r9d
jne 0x8da3
movslq (%rsi), %r11
movq (%r8,%r11,8), %rbx
movq (%rbx), %rbp
cmpq %rbp, 0x8(%rbx)
je 0x8da3
movl $0x8, %r15d
xorl %r13d, %r13d
movslq -0x8(%rbp,%r15), %rbx
movslq -0x4(%rbp,%r15), %r14
movq (%rcx,%rbx,8), %r12
movq 0x20(%r12), %rbx
cmpl $0x0, (%rbx,%r14,4)
jne 0x8d7e
movzbl (%rbp,%r15), %r11d
xorl $0x1, %r11d
movq 0x28(%r12,%r11,8), %r11
decl (%r11,%r14,4)
movl (%rsi), %r11d
incq %r13
movslq %r11d, %rbx
movq (%r8,%rbx,8), %rbx
movq (%rbx), %rbp
movq 0x8(%rbx), %rbx
subq %rbp, %rbx
sarq $0x2, %rbx
imulq %r10, %rbx
addq $0xc, %r15
cmpq %r13, %rbx
ja 0x8d4e
addq $0x4, %rsi
cmpq %rdi, %rsi
jne 0x8d03
movq 0x60(%rax), %rcx
movq (%rcx,%rdx,8), %r13
movq 0x8(%rcx,%rdx,8), %rbp
cmpq %rbp, %r13
movq 0x8(%rsp), %rbx
movl 0x28(%rsp), %r14d
je 0x8e4a
movq 0x18(%rbx), %rax
movslq (%r13), %rcx
movq (%rax,%rcx,8), %rcx
cmpl $-0x1, 0x1c(%rcx)
jne 0x8e35
decl 0x18(%rcx)
movl (%r13), %ecx
movslq %ecx, %rdx
movq (%rax,%rdx,8), %rsi
cmpl $0x1, 0x18(%rsi)
jne 0x8e21
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)
movl (%r13), %ecx
movq 0x18(%rbx), %rax
movslq %ecx, %rdx
movq (%rax,%rdx,8), %rdx
cmpl $0x0, 0x18(%rdx)
jne 0x8e35
movb $0x1, 0x7c(%rbx)
movl %ecx, 0x80(%rbx)
addq $0x4, %r13
cmpq %rbp, %r13
jne 0x8dd0
movq (%rbx), %rax
movq 0x10(%rsp), %rcx
movq (%rax,%rcx,8), %rax
movslq 0x8(%rax), %rcx
testq %rcx, %rcx
jle 0x8f2a
movq 0x20(%rax), %rax
movl $0xffffffff, %ebp       # imm = 0xFFFFFFFF
xorl %edx, %edx
xorl %esi, %esi
cmpl $0x0, (%rax,%rdx,4)
jne 0x8e79
testb $0x1, %sil
jne 0x8f2a
movb $0x1, %sil
movl %edx, %ebp
incq %rdx
cmpq %rdx, %rcx
jne 0x8e64
cmpl $-0x1, %ebp
setne %al
andb %al, %sil
cmpb $0x1, %sil
jne 0x8f2a
incl 0x58(%rbx)
cmpb $0x1, 0xa4(%rbx)
jne 0x8f11
movq 0x8129(%rip), %r15      # 0x10fd0
leaq 0x4eef(%rip), %rsi      # 0xdd9d
movl $0xe, %edx
movq %r15, %rdi
callq 0x2270
movq %r15, %rdi
movl %r14d, %esi
callq 0x2390
movq %rax, %r15
leaq 0x4db1(%rip), %rsi      # 0xdc81
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 0x833c
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop