// File: Laakeri[P]maxpre/src/trace.cpp
// Function: maxPreprocessor::Trace::getSolution(std::vector<int, std::allocator<int>> const&, unsigned long, int, int)
pair<vector<int>, uint64_t> Trace::getSolution(const vector<int>& trueLits, uint64_t weight, int vars, int originalVars) {
	vector<int> value(vars);
	for (int lit : trueLits) {
		if (abs(lit) <= vars) {
			if (lit < 0) value[(-lit) - 1] = VAR_FALSE;
			else value[lit - 1] = VAR_TRUE;
		}
	}
	
	for (int i = 0; i < vars; i++) {
		if (value[i] == VAR_UNDEFINED) {
			value[i] = VAR_TRUE;
		}
	}
	
	for (int i = (int)operations.size() -1; i >= 0; i--) {
		if (operations[i] == 1) {
			assert(data[i][0] < vars);
			
			if (data[i][1] == true) {
				value[data[i][0]] = VAR_TRUE;
			}
			else {
				value[data[i][0]] = VAR_FALSE;
			}
		}
		else if(operations[i] == 2) {
			int var = data[i][0];
			bool f = false;
			bool ff = false;
			for (int j = 1; j < (int)data[i].size(); j++) {
				if (data[i][j] == -1) {
					if (!f) {
						value[var] = VAR_FALSE;
						ff = true;
						break;
					}
					f = false;
				}
				else {
					if (value[litVariable(data[i][j])] == VAR_UNDEFINED) {
						if (litValue(data[i][j]) == true) value[litVariable(data[i][j])] = VAR_TRUE;
						else value[litVariable(data[i][j])] = VAR_FALSE;
					}
					if ((litValue(data[i][j]) == true && value[litVariable(data[i][j])] == VAR_TRUE) || 
						(litValue(data[i][j]) == false && value[litVariable(data[i][j])] == VAR_FALSE)) {
						f = true;
					}
				}
			}
			if (!ff) value[var] = VAR_TRUE;
		}
		else if(operations[i] == 3) {
			bool sat = false;
			for (int j = 1; j < (int)data[i].size(); j++) {
				if (value[litVariable(data[i][j])] == VAR_UNDEFINED) {
					if (litValue(data[i][j]) == true) value[litVariable(data[i][j])] = VAR_TRUE;
					else value[litVariable(data[i][j])] = VAR_FALSE;
				}
				if ((litValue(data[i][j]) == true && value[litVariable(data[i][j])] == VAR_TRUE) || 
					(litValue(data[i][j]) == false && value[litVariable(data[i][j])] == VAR_FALSE)) {
					sat = true;
					break;
				}
			}
			if (!sat) {
				if (litValue(data[i][0]) == false) value[litVariable(data[i][0])] = VAR_FALSE;
				else value[litVariable(data[i][0])] = VAR_TRUE;
			}
		}
		else if(operations[i] == 4) {
			bool f = false;
			bool ff = false;
			int lbl1 = data[i][0];
			int lbl2 = data[i][1];
			for (int j = 2; j < (int)data[i].size(); j++) {
				if (data[i][j] == -1) {
					if (!f) {
						if (litValue(lbl1) == true) value[litVariable(lbl1)] = VAR_TRUE;
						else value[litVariable(lbl1)] = VAR_FALSE;
						ff = true;
						break;
					}
					f = false;
				}
				else {
					if (value[litVariable(data[i][j])] == VAR_UNDEFINED) {
						if (litValue(data[i][j]) == true) value[litVariable(data[i][j])] = VAR_TRUE;
						else value[litVariable(data[i][j])] = VAR_FALSE;
					}
					if ((litValue(data[i][j]) == true && value[litVariable(data[i][j])] == VAR_TRUE) || 
						(litValue(data[i][j]) == false && value[litVariable(data[i][j])] == VAR_FALSE)) {
						f = true;
					}
				}
			}
			if (!ff) {
				if (litValue(lbl1) == true) value[litVariable(lbl1)] = VAR_FALSE;
				else value[litVariable(lbl1)] = VAR_TRUE;
				if (litValue(lbl2)== true) value[litVariable(lbl2)] = VAR_TRUE;
				else value[litVariable(lbl2)] = VAR_FALSE;
			}
		}
		else if(operations[i] == 5) {
			if (value[litVariable(data[i][0])] == VAR_UNDEFINED) {
				value[litVariable(data[i][0])] = VAR_TRUE;
			}
			if (litValue(data[i][0]) != litValue(data[i][1])) {
				if (value[litVariable(data[i][0])] == VAR_TRUE) {
					value[litVariable(data[i][1])] = VAR_FALSE;
				}
				else {
					value[litVariable(data[i][1])] = VAR_TRUE;
				}
			}
			else {
				if (value[litVariable(data[i][0])] == VAR_TRUE) {
					value[litVariable(data[i][1])] = VAR_TRUE;
				}
				else {
					value[litVariable(data[i][1])] = VAR_FALSE;
				}
			}
		}
		else if(operations[i] == 6) {
			if ((litValue(data[i][0]) == true && value[litVariable(data[i][0])] == VAR_TRUE) ||
				(litValue(data[i][0]) == false && value[litVariable(data[i][0])] == VAR_FALSE)) {
				bool sat = false;
				for (int j = 2; j < (int)data[i].size(); j++) {
					if (value[litVariable(data[i][j])] == VAR_UNDEFINED) {
						if (litValue(data[i][j]) == true) value[litVariable(data[i][j])] = VAR_TRUE;
						else value[litVariable(data[i][j])] = VAR_FALSE;
					}
					if ((litValue(data[i][j]) == true && value[litVariable(data[i][j])] == VAR_TRUE) || 
						(litValue(data[i][j]) == false && value[litVariable(data[i][j])] == VAR_FALSE)) {
						sat = true;
						break;
					}
				}
				if (!sat) {
					if (litValue(data[i][1]) == false) value[litVariable(data[i][1])] = VAR_FALSE;
					else value[litVariable(data[i][1])] = VAR_TRUE;
				}
			}
		}
		else if(operations[i] == 7) {
			if ((litValue(data[i][0]) == true && value[litVariable(data[i][0])] == VAR_FALSE) ||
				(litValue(data[i][0]) == false && value[litVariable(data[i][0])] == VAR_TRUE)) {
				if ((litValue(data[i][2]) == true && value[litVariable(data[i][2])] == VAR_TRUE) ||
				(litValue(data[i][2]) == false && value[litVariable(data[i][2])] == VAR_FALSE)) {
					if (litValue(data[i][1]) == false) {
						value[litVariable(data[i][1])] = VAR_FALSE;
					}
					else {
						value[litVariable(data[i][1])] = VAR_TRUE;
					}
					if (litValue(data[i][0]) == false) {
						value[litVariable(data[i][0])] = VAR_TRUE;
					}
					else {
						value[litVariable(data[i][0])] = VAR_FALSE;
					}
				}
				else {
					if (litValue(data[i][1]) == false) {
						value[litVariable(data[i][1])] = VAR_TRUE;
					}
					else {
						value[litVariable(data[i][1])] = VAR_FALSE;
					}
					if (litValue(data[i][0]) == false) {
						value[litVariable(data[i][0])] = VAR_FALSE;
					}
					else {
						value[litVariable(data[i][0])] = VAR_TRUE;
					}
				}
			}
		}
		else {
			assert(0);
		}
	}
	
	vector<int> retLit;
	for (int i = 0; i < originalVars; i++) {
		if (value[i] == VAR_FALSE) {
			retLit.push_back(-(i + 1));
		}
		else if(value[i] == VAR_TRUE) {
			retLit.push_back(i + 1);
		}
		else {
			retLit.push_back(i + 1);
		}
	}
	return {retLit, weight};
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x250, %rsp            # imm = 0x250
movq %rdi, -0xf8(%rbp)
movq %rdi, %rax
movq %rax, -0xf0(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movl %r8d, -0x24(%rbp)
movl %r9d, -0x28(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0xe8(%rbp)
movslq -0x24(%rbp), %rax
movq %rax, -0xe0(%rbp)
leaq -0x41(%rbp), %rdi
movq %rdi, -0xd8(%rbp)
callq 0xa710
movq -0xe0(%rbp), %rsi
movq -0xd8(%rbp), %rdx
leaq -0x40(%rbp), %rdi
callq 0xa730
jmp 0x5cb93
leaq -0x41(%rbp), %rdi
callq 0xa7a0
movq -0x18(%rbp), %rax
movq %rax, -0x60(%rbp)
movq -0x60(%rbp), %rdi
callq 0x3d080
movq %rax, -0x68(%rbp)
movq -0x60(%rbp), %rdi
callq 0x3d0b0
movq %rax, -0x70(%rbp)
leaq -0x68(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x3d0e0
testb $0x1, %al
jne 0x5cbd4
jmp 0x5cc57
leaq -0x68(%rbp), %rdi
callq 0x3d120
movl (%rax), %eax
movl %eax, -0x74(%rbp)
movl -0x74(%rbp), %eax
movl %eax, %ecx
negl %ecx
cmovnsl %ecx, %eax
cmpl -0x24(%rbp), %eax
jg 0x5cc47
cmpl $0x0, -0x74(%rbp)
jge 0x5cc2d
xorl %eax, %eax
subl -0x74(%rbp), %eax
subl $0x1, %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5cc45
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x41(%rbp), %rdi
callq 0xa7a0
jmp 0x5e7f4
movl -0x74(%rbp), %eax
subl $0x1, %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5cc47
jmp 0x5cc49
leaq -0x68(%rbp), %rdi
callq 0x3d160
jmp 0x5cbbe
movl $0x0, -0x78(%rbp)
movl -0x78(%rbp), %eax
cmpl -0x24(%rbp), %eax
jge 0x5cc98
movslq -0x78(%rbp), %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x0, (%rax)
jne 0x5cc8b
movslq -0x78(%rbp), %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5cc8d
movl -0x78(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x78(%rbp)
jmp 0x5cc5e
movq -0xe8(%rbp), %rdi
addq $0x8, %rdi
callq 0xf940
subl $0x1, %eax
movl %eax, -0x7c(%rbp)
cmpl $0x0, -0x7c(%rbp)
jl 0x5e6ba
movq -0xe8(%rbp), %rdi
addq $0x8, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xa7c0
cmpl $0x1, (%rax)
jne 0x5cdae
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %eax
cmpl -0x24(%rbp), %eax
jge 0x5ccfe
jmp 0x5cd1d
leaq 0x2a864(%rip), %rdi     # 0x87569
leaq 0x2a80b(%rip), %rsi     # 0x87517
movl $0x68, %edx
leaq 0x2a863(%rip), %rcx     # 0x8757b
callq 0x4260
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
cmpl $0x1, (%rax)
jne 0x5cd77
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movslq (%rax), %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5cda9
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movslq (%rax), %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5e6aa
movq -0xe8(%rbp), %rdi
addq $0x8, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xa7c0
cmpl $0x2, (%rax)
jne 0x5d120
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %eax
movl %eax, -0x80(%rbp)
movb $0x0, -0x81(%rbp)
movb $0x0, -0x82(%rbp)
movl $0x1, -0x88(%rbp)
movq -0xe8(%rbp), %rdi
movl -0x88(%rbp), %eax
movl %eax, -0xfc(%rbp)
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
callq 0xf940
movq %rax, %rcx
movl -0xfc(%rbp), %eax
cmpl %ecx, %eax
jge 0x5d0ff
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x88(%rbp), %rsi
callq 0xa7c0
cmpl $-0x1, (%rax)
jne 0x5ce9d
testb $0x1, -0x81(%rbp)
jne 0x5ce91
movslq -0x80(%rbp), %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
movb $0x1, -0x82(%rbp)
jmp 0x5d0ff
movb $0x0, -0x81(%rbp)
jmp 0x5d0e9
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x88(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x100(%rbp)
jmp 0x5cecf
movl -0x100(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x0, (%rax)
jne 0x5cfd0
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x88(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x104(%rbp)
jmp 0x5cf1c
movl -0x104(%rbp), %eax
cmpl $0x1, %eax
jne 0x5cf84
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x88(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x108(%rbp)
jmp 0x5cf59
movl -0x108(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5cfce
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x5e7eb
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x88(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x10c(%rbp)
jmp 0x5cfb6
movl -0x10c(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5cfd0
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x88(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x110(%rbp)
jmp 0x5d002
movl -0x110(%rbp), %eax
cmpl $0x1, %eax
jne 0x5d05a
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x88(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x114(%rbp)
jmp 0x5d03f
movl -0x114(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x1, (%rax)
je 0x5d0e0
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x88(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x118(%rbp)
jmp 0x5d08c
movl -0x118(%rbp), %eax
cmpl $0x0, %eax
jne 0x5d0e7
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x88(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x11c(%rbp)
jmp 0x5d0c9
movl -0x11c(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x2, (%rax)
jne 0x5d0e7
movb $0x1, -0x81(%rbp)
jmp 0x5d0e9
jmp 0x5d0eb
movl -0x88(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x88(%rbp)
jmp 0x5ce08
testb $0x1, -0x82(%rbp)
jne 0x5d11b
movslq -0x80(%rbp), %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5e6a8
movq -0xe8(%rbp), %rdi
addq $0x8, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xa7c0
cmpl $0x3, (%rax)
jne 0x5d4b6
movb $0x0, -0x89(%rbp)
movl $0x1, -0x90(%rbp)
movq -0xe8(%rbp), %rdi
movl -0x90(%rbp), %eax
movl %eax, -0x120(%rbp)
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
callq 0xf940
movq %rax, %rcx
movl -0x120(%rbp), %eax
cmpl %ecx, %eax
jge 0x5d3d8
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x90(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x124(%rbp)
jmp 0x5d1b9
movl -0x124(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x0, (%rax)
jne 0x5d2a9
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x90(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x128(%rbp)
jmp 0x5d206
movl -0x128(%rbp), %eax
cmpl $0x1, %eax
jne 0x5d25d
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x90(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x12c(%rbp)
jmp 0x5d243
movl -0x12c(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5d2a7
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x90(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x130(%rbp)
jmp 0x5d28f
movl -0x130(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5d2a9
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x90(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x134(%rbp)
jmp 0x5d2db
movl -0x134(%rbp), %eax
cmpl $0x1, %eax
jne 0x5d333
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x90(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x138(%rbp)
jmp 0x5d318
movl -0x138(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x1, (%rax)
je 0x5d3b9
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x90(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x13c(%rbp)
jmp 0x5d365
movl -0x13c(%rbp), %eax
cmpl $0x0, %eax
jne 0x5d3c2
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0x90(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x140(%rbp)
jmp 0x5d3a2
movl -0x140(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x2, (%rax)
jne 0x5d3c2
movb $0x1, -0x89(%rbp)
jmp 0x5d3d8
jmp 0x5d3c4
movl -0x90(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x90(%rbp)
jmp 0x5d14e
testb $0x1, -0x89(%rbp)
jne 0x5d4b1
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x144(%rbp)
jmp 0x5d414
movl -0x144(%rbp), %eax
cmpl $0x0, %eax
jne 0x5d468
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x148(%rbp)
jmp 0x5d44e
movl -0x148(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5d4af
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x14c(%rbp)
jmp 0x5d497
movl -0x14c(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5d4b1
jmp 0x5e6a6
movq -0xe8(%rbp), %rdi
addq $0x8, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xa7c0
cmpl $0x4, (%rax)
jne 0x5d98d
movq -0xe8(%rbp), %rdi
movb $0x0, -0x91(%rbp)
movb $0x0, -0x92(%rbp)
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movq -0xe8(%rbp), %rdi
movl (%rax), %eax
movl %eax, -0x98(%rbp)
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %eax
movl %eax, -0x9c(%rbp)
movl $0x2, -0xa0(%rbp)
movq -0xe8(%rbp), %rdi
movl -0xa0(%rbp), %eax
movl %eax, -0x150(%rbp)
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
callq 0xf940
movq %rax, %rcx
movl -0x150(%rbp), %eax
cmpl %ecx, %eax
jge 0x5d88d
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa0(%rbp), %rsi
callq 0xa7c0
cmpl $-0x1, (%rax)
jne 0x5d63c
testb $0x1, -0x91(%rbp)
jne 0x5d630
movl -0x98(%rbp), %edi
callq 0x3c890
movl %eax, -0x154(%rbp)
jmp 0x5d5c1
movl -0x154(%rbp), %eax
cmpl $0x1, %eax
jne 0x5d5f9
movl -0x98(%rbp), %edi
callq 0x3c880
movl %eax, -0x158(%rbp)
jmp 0x5d5df
movl -0x158(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5d624
movl -0x98(%rbp), %edi
callq 0x3c880
movl %eax, -0x15c(%rbp)
jmp 0x5d60c
movl -0x15c(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
movb $0x1, -0x92(%rbp)
jmp 0x5d88d
movb $0x0, -0x91(%rbp)
jmp 0x5d877
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa0(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x160(%rbp)
jmp 0x5d66e
movl -0x160(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x0, (%rax)
jne 0x5d75e
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa0(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x164(%rbp)
jmp 0x5d6bb
movl -0x164(%rbp), %eax
cmpl $0x1, %eax
jne 0x5d712
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa0(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x168(%rbp)
jmp 0x5d6f8
movl -0x168(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5d75c
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa0(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x16c(%rbp)
jmp 0x5d744
movl -0x16c(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5d75e
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa0(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x170(%rbp)
jmp 0x5d790
movl -0x170(%rbp), %eax
cmpl $0x1, %eax
jne 0x5d7e8
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa0(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x174(%rbp)
jmp 0x5d7cd
movl -0x174(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x1, (%rax)
je 0x5d86e
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa0(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x178(%rbp)
jmp 0x5d81a
movl -0x178(%rbp), %eax
cmpl $0x0, %eax
jne 0x5d875
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa0(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x17c(%rbp)
jmp 0x5d857
movl -0x17c(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x2, (%rax)
jne 0x5d875
movb $0x1, -0x91(%rbp)
jmp 0x5d877
jmp 0x5d879
movl -0xa0(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xa0(%rbp)
jmp 0x5d53c
testb $0x1, -0x92(%rbp)
jne 0x5d988
movl -0x98(%rbp), %edi
callq 0x3c890
movl %eax, -0x180(%rbp)
jmp 0x5d8ad
movl -0x180(%rbp), %eax
cmpl $0x1, %eax
jne 0x5d8e5
movl -0x98(%rbp), %edi
callq 0x3c880
movl %eax, -0x184(%rbp)
jmp 0x5d8cb
movl -0x184(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5d910
movl -0x98(%rbp), %edi
callq 0x3c880
movl %eax, -0x188(%rbp)
jmp 0x5d8f8
movl -0x188(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
movl -0x9c(%rbp), %edi
callq 0x3c890
movl %eax, -0x18c(%rbp)
jmp 0x5d923
movl -0x18c(%rbp), %eax
cmpl $0x1, %eax
jne 0x5d95b
movl -0x9c(%rbp), %edi
callq 0x3c880
movl %eax, -0x190(%rbp)
jmp 0x5d941
movl -0x190(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5d986
movl -0x9c(%rbp), %edi
callq 0x3c880
movl %eax, -0x194(%rbp)
jmp 0x5d96e
movl -0x194(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5d988
jmp 0x5e6a4
movq -0xe8(%rbp), %rdi
addq $0x8, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xa7c0
cmpl $0x5, (%rax)
jne 0x5dc66
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x198(%rbp)
jmp 0x5d9d9
movl -0x198(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x0, (%rax)
jne 0x5da37
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x19c(%rbp)
jmp 0x5da1f
movl -0x19c(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x1a0(%rbp)
jmp 0x5da66
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x1a4(%rbp)
jmp 0x5da96
movl -0x1a0(%rbp), %eax
movl -0x1a4(%rbp), %ecx
cmpl %ecx, %eax
je 0x5db87
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1a8(%rbp)
jmp 0x5dad9
movl -0x1a8(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x1, (%rax)
jne 0x5db3a
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1ac(%rbp)
jmp 0x5db20
movl -0x1ac(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5db82
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1b0(%rbp)
jmp 0x5db6a
movl -0x1b0(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5dc61
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1b4(%rbp)
jmp 0x5dbb6
movl -0x1b4(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x1, (%rax)
jne 0x5dc17
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1b8(%rbp)
jmp 0x5dbfd
movl -0x1b8(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5dc5f
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1bc(%rbp)
jmp 0x5dc47
movl -0x1bc(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5dc61
jmp 0x5e6a2
movq -0xe8(%rbp), %rdi
addq $0x8, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xa7c0
cmpl $0x6, (%rax)
jne 0x5e10d
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x1c0(%rbp)
jmp 0x5dcb2
movl -0x1c0(%rbp), %eax
cmpl $0x1, %eax
jne 0x5dd07
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1c4(%rbp)
jmp 0x5dcec
movl -0x1c4(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x1, (%rax)
je 0x5dd8f
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x1c8(%rbp)
jmp 0x5dd36
movl -0x1c8(%rbp), %eax
cmpl $0x0, %eax
jne 0x5e108
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1cc(%rbp)
jmp 0x5dd74
movl -0x1cc(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x2, (%rax)
jne 0x5e108
movb $0x0, -0xa1(%rbp)
movl $0x2, -0xa8(%rbp)
movq -0xe8(%rbp), %rdi
movl -0xa8(%rbp), %eax
movl %eax, -0x1d0(%rbp)
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
callq 0xf940
movq %rax, %rcx
movl -0x1d0(%rbp), %eax
cmpl %ecx, %eax
jge 0x5e02a
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa8(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1d4(%rbp)
jmp 0x5de0b
movl -0x1d4(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x0, (%rax)
jne 0x5defb
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa8(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x1d8(%rbp)
jmp 0x5de58
movl -0x1d8(%rbp), %eax
cmpl $0x1, %eax
jne 0x5deaf
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa8(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1dc(%rbp)
jmp 0x5de95
movl -0x1dc(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5def9
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa8(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1e0(%rbp)
jmp 0x5dee1
movl -0x1e0(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5defb
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa8(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x1e4(%rbp)
jmp 0x5df2d
movl -0x1e4(%rbp), %eax
cmpl $0x1, %eax
jne 0x5df85
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa8(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1e8(%rbp)
jmp 0x5df6a
movl -0x1e8(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x1, (%rax)
je 0x5e00b
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa8(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x1ec(%rbp)
jmp 0x5dfb7
movl -0x1ec(%rbp), %eax
cmpl $0x0, %eax
jne 0x5e014
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movslq -0xa8(%rbp), %rsi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1f0(%rbp)
jmp 0x5dff4
movl -0x1f0(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x2, (%rax)
jne 0x5e014
movb $0x1, -0xa1(%rbp)
jmp 0x5e02a
jmp 0x5e016
movl -0xa8(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xa8(%rbp)
jmp 0x5dda0
testb $0x1, -0xa1(%rbp)
jne 0x5e106
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x1f4(%rbp)
jmp 0x5e067
movl -0x1f4(%rbp), %eax
cmpl $0x0, %eax
jne 0x5e0bc
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1f8(%rbp)
jmp 0x5e0a2
movl -0x1f8(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5e104
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x1fc(%rbp)
jmp 0x5e0ec
movl -0x1fc(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5e106
jmp 0x5e108
jmp 0x5e6a0
movq -0xe8(%rbp), %rdi
addq $0x8, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xa7c0
cmpl $0x7, (%rax)
jne 0x5e67f
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x200(%rbp)
jmp 0x5e159
movl -0x200(%rbp), %eax
cmpl $0x1, %eax
jne 0x5e1ae
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x204(%rbp)
jmp 0x5e193
movl -0x204(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x2, (%rax)
je 0x5e236
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x208(%rbp)
jmp 0x5e1dd
movl -0x208(%rbp), %eax
cmpl $0x0, %eax
jne 0x5e67d
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x20c(%rbp)
jmp 0x5e21b
movl -0x20c(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x1, (%rax)
jne 0x5e67d
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x2, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x210(%rbp)
jmp 0x5e266
movl -0x210(%rbp), %eax
cmpl $0x1, %eax
jne 0x5e2bc
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x2, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x214(%rbp)
jmp 0x5e2a1
movl -0x214(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x1, (%rax)
je 0x5e346
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x2, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x218(%rbp)
jmp 0x5e2ec
movl -0x218(%rbp), %eax
cmpl $0x0, %eax
jne 0x5e4e2
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x2, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x21c(%rbp)
jmp 0x5e32b
movl -0x21c(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x2, (%rax)
jne 0x5e4e2
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x220(%rbp)
jmp 0x5e376
movl -0x220(%rbp), %eax
cmpl $0x0, %eax
jne 0x5e3cb
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x224(%rbp)
jmp 0x5e3b1
movl -0x224(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5e413
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x228(%rbp)
jmp 0x5e3fb
movl -0x228(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x22c(%rbp)
jmp 0x5e442
movl -0x22c(%rbp), %eax
cmpl $0x0, %eax
jne 0x5e496
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x230(%rbp)
jmp 0x5e47c
movl -0x230(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5e4dd
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x234(%rbp)
jmp 0x5e4c5
movl -0x234(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5e67b
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x238(%rbp)
jmp 0x5e512
movl -0x238(%rbp), %eax
cmpl $0x0, %eax
jne 0x5e567
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x23c(%rbp)
jmp 0x5e54d
movl -0x23c(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5e5af
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
movl $0x1, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x240(%rbp)
jmp 0x5e597
movl -0x240(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c890
movl %eax, -0x244(%rbp)
jmp 0x5e5de
movl -0x244(%rbp), %eax
cmpl $0x0, %eax
jne 0x5e632
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x248(%rbp)
jmp 0x5e618
movl -0x248(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x2, (%rax)
jmp 0x5e679
movq -0xe8(%rbp), %rdi
addq $0x20, %rdi
movslq -0x7c(%rbp), %rsi
callq 0xaab0
movq %rax, %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xa7c0
movl (%rax), %edi
callq 0x3c880
movl %eax, -0x24c(%rbp)
jmp 0x5e661
movl -0x24c(%rbp), %eax
movslq %eax, %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
movl $0x1, (%rax)
jmp 0x5e67b
jmp 0x5e67d
jmp 0x5e69e
leaq 0x2959c(%rip), %rdi     # 0x87c22
leaq 0x28e8a(%rip), %rsi     # 0x87517
movl $0x10b, %edx            # imm = 0x10B
leaq 0x28ee2(%rip), %rcx     # 0x8757b
callq 0x4260
jmp 0x5e6a0
jmp 0x5e6a2
jmp 0x5e6a4
jmp 0x5e6a6
jmp 0x5e6a8
jmp 0x5e6aa
jmp 0x5e6ac
movl -0x7c(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x7c(%rbp)
jmp 0x5ccae
leaq -0xc0(%rbp), %rdi
callq 0xa7e0
movl $0x0, -0xc4(%rbp)
movl -0xc4(%rbp), %eax
cmpl -0x28(%rbp), %eax
jge 0x5e7ad
movslq -0xc4(%rbp), %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x2, (%rax)
jne 0x5e736
movl -0xc4(%rbp), %eax
notl %eax
movl %eax, -0xc8(%rbp)
leaq -0xc0(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
callq 0x3c850
jmp 0x5e717
jmp 0x5e797
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0xc0(%rbp), %rdi
callq 0xab00
jmp 0x5e7eb
movslq -0xc4(%rbp), %rsi
leaq -0x40(%rbp), %rdi
callq 0xa7c0
cmpl $0x1, (%rax)
jne 0x5e770
movl -0xc4(%rbp), %eax
incl %eax
movl %eax, -0xcc(%rbp)
leaq -0xc0(%rbp), %rdi
leaq -0xcc(%rbp), %rsi
callq 0x3c850
jmp 0x5e76e
jmp 0x5e795
movl -0xc4(%rbp), %eax
incl %eax
movl %eax, -0xd0(%rbp)
leaq -0xc0(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
callq 0x3c850
jmp 0x5e793
jmp 0x5e795
jmp 0x5e797
jmp 0x5e799
movl -0xc4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xc4(%rbp)
jmp 0x5e6d0
movq -0xf8(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
leaq -0x20(%rbp), %rdx
callq 0x5ea50
jmp 0x5e7c6
leaq -0xc0(%rbp), %rdi
callq 0xab00
leaq -0x40(%rbp), %rdi
callq 0xab00
movq -0xf0(%rbp), %rax
addq $0x250, %rsp            # imm = 0x250
popq %rbp
retq
leaq -0x40(%rbp), %rdi
callq 0xab00
movq -0x50(%rbp), %rdi
callq 0x4610
nopl (%rax)