// File: /workspace/github_cpp_makefile_star2_O3/tewalds[P]morat/pentago/agentab.cpp
// Function: Morat::Pentago::AgentAB::search(double, unsigned long, int)
void AgentAB::search(double time, uint64_t maxiters, int verbose) {
	reset();
	if(rootboard.outcome() >= 0)
		return;

	if(TT == NULL)
		TT = new Node[maxnodes];

	Alarm timer;
	if (time > 0)
		timer(time/15, std::bind(&AgentAB::timedout, this));

	Time start;

	uint64_t nodes_start, seen, prev_nodes_seen = 0;
	for(unsigned int depth = 2; !timeout && depth < 36 && (maxiters == 0 || depth <= maxiters); depth++){
		maxdepth = depth;
		nodes_start = nodes_seen;
		Time start_depth;
		if (verbose)
			logerr("Depth " + to_str(depth) + "      ");
		negamax(rootboard, SCORE_LOSS, SCORE_WIN, depth);
		seen = nodes_seen - nodes_start;
		if (verbose) {
			logerr("time: " + to_str((Time() - start_depth)*1000, 0) + " msec, ");
			logerr("BF: " + to_str(prev_nodes_seen ? (double)(1.0*seen / prev_nodes_seen) : 0.0, 2) + ", Nodes: " + to_str(seen) + "\n");
		}
		prev_nodes_seen = seen;
	}

	time_used += Time() - start;

	if(verbose){
		logerr("Finished:    " + to_str(nodes_seen) + " nodes in " + to_str(time_used*1000, 0) + " msec: " + to_str((uint64_t)((double)nodes_seen/time_used)) + " Nodes/s\n");

		vecmove pv = get_pv();
		std::string pvstr;
		for(vecmove::iterator m = pv.begin(); m != pv.end(); ++m)
			pvstr += " " + m->to_s();
		logerr("PV:         " + pvstr + "\n");

		if(verbose >= 3)
			logerr("Move stats:\n" + move_stats(vecmove()));
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x238, %rsp            # imm = 0x238
vmovsd %xmm0, 0x70(%rsp)
vxorpd %xmm0, %xmm0, %xmm0
movl %edx, 0x48(%rsp)
movb $0x0, 0x8(%rdi)
movl $0x0, 0x50(%rdi)
leaq 0x10(%rdi), %rax
leaq 0x26cb4(%rip), %rcx     # 0x31da5
movq %rsi, %r14
movq %rdi, %rbx
vmovupd %xmm0, 0x58(%rdi)
movq %rax, 0x98(%rsp)
movb 0x2a(%rdi), %al
cmpb (%rcx), %al
jne 0xb11b
movq 0x98(%rsp), %rdi
callq 0xe2a8
movb %al, 0x2a(%rbx)
testb %al, %al
jns 0xb2cd
cmpq $0x0, 0x38(%rbx)
jne 0xb17a
movq 0x40(%rbx), %r12
movq %r12, %rax
shrq $0x3c, %rax
movq %r12, %r15
shlq $0x4, %r15
negq %rax
sbbq %rdi, %rdi
orq %r15, %rdi
callq 0x5030
testq %r12, %r12
je 0xb176
movq %rax, %rcx
addq %r15, %rcx
movabsq $-0x2152fffff1040000, %rdx # imm = 0xDEAD00000EFC0000
movq %rax, %rsi
movq $-0x1, (%rsi)
movq %rdx, 0x8(%rsi)
addq $0x10, %rsi
cmpq %rcx, %rsi
jne 0xb162
movq %rax, 0x38(%rbx)
vmovsd 0x70(%rsp), %xmm1
vxorpd %xmm0, %xmm0, %xmm0
movl $0xffffffff, 0x4c(%rsp) # imm = 0xFFFFFFFF
vucomisd %xmm0, %xmm1
jbe 0xb21b
vxorpd %xmm0, %xmm0, %xmm0
vmovupd %ymm0, 0x180(%rsp)
movl $0x18, %edi
vzeroupper
callq 0x5350
vmovsd 0x70(%rsp), %xmm0
leaq 0x180(%rsp), %rsi
movq $0x59, (%rax)
movq $0x0, 0x8(%rax)
movq %rbx, 0x10(%rax)
vdivsd 0x21f5f(%rip), %xmm0, %xmm0 # 0x2d138
movq %rax, (%rsi)
leaq 0x3705(%rip), %rax      # 0xe8e8
movq %rax, 0x18(%rsi)
leaq 0x3716(%rip), %rax      # 0xe904
movq %rax, 0x10(%rsi)
leaq 0x4c(%rsp), %rdi
callq 0xd0ea
movq 0x190(%rsp), %rax
testq %rax, %rax
je 0xb21b
leaq 0x180(%rsp), %rdi
movl $0x3, %edx
movq %rdi, %rsi
callq *%rax
leaq 0x58(%rbx), %rax
leaq 0x8(%rsp), %r12
xorl %esi, %esi
movq %r12, %rdi
movq %rax, 0x70(%rsp)
callq 0x5600
vcvtsi2sdq (%r12), %xmm2, %xmm0
vmovsd %xmm0, 0xd0(%rsp)
vcvtsi2sdq 0x8(%r12), %xmm2, %xmm0
vmovsd %xmm0, 0xc8(%rsp)
cmpb $0x0, 0x8(%rbx)
je 0xb2df
vmovsd 0xc8(%rsp), %xmm0
leaq 0x8(%rsp), %r14
xorl %esi, %esi
vdivsd 0x20d94(%rip), %xmm0, %xmm0 # 0x2c008
movq %r14, %rdi
vaddsd 0xd0(%rsp), %xmm0, %xmm0
vmovsd %xmm0, 0x98(%rsp)
callq 0x5600
vcvtsi2sdq (%r14), %xmm2, %xmm0
cmpl $0x0, 0x48(%rsp)
vcvtsi2sdq 0x8(%r14), %xmm2, %xmm1
vdivsd 0x20d62(%rip), %xmm1, %xmm1 # 0x2c008
vaddsd %xmm0, %xmm1, %xmm0
vsubsd 0x98(%rsp), %xmm0, %xmm0
vaddsd 0x60(%rbx), %xmm0, %xmm0
vmovsd %xmm0, 0x60(%rbx)
jne 0xb918
leaq 0x4c(%rsp), %rdi
callq 0xd6c8
addq $0x238, %rsp            # imm = 0x238
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x2, %r12d
xorl %ebp, %ebp
testq %r14, %r14
sete %al
cmpq %r14, %r12
setbe %cl
orb %al, %cl
je 0xb25c
movl %r12d, 0x50(%rbx)
leaq 0x8(%rsp), %rdi
xorl %esi, %esi
movq 0x58(%rbx), %r15
callq 0x5600
vcvtsi2sdq 0x8(%rsp), %xmm2, %xmm0
cmpl $0x0, 0x48(%rsp)
vmovsd %xmm0, 0xa0(%rsp)
vcvtsi2sdq 0x10(%rsp), %xmm2, %xmm0
vdivsd 0x20cd5(%rip), %xmm0, %xmm0 # 0x2c008
vmovsd %xmm0, 0xd8(%rsp)
jne 0xb391
movq 0x98(%rsp), %rsi
movl $0xffff8001, %edx       # imm = 0xFFFF8001
movl $0x7fff, %ecx           # imm = 0x7FFF
movq %rbx, %rdi
movl %r12d, %r8d
callq 0xc1ee
movq 0x70(%rsp), %rax
movq (%rax), %r13
subq %r15, %r13
cmpl $0x0, 0x48(%rsp)
jne 0xb3e6
cmpb $0x0, 0x8(%rbx)
jne 0xb25c
leaq 0x1(%r12), %rax
movq %r13, %rbp
cmpq $0x22, %r12
movq %rax, %r12
jbe 0xb2e7
jmp 0xb25c
leaq 0x28(%rsp), %r13
movl %r12d, %esi
movq %r13, %rdi
callq 0xd215
movl $0x6, %r8d
leaq 0x21dc2(%rip), %rcx     # 0x2d170
movq %r13, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x18(%rsp), %r13
movq %r13, 0x8(%rsp)
movq %rax, %rcx
addq $0x10, %rcx
movq (%rax), %rdx
cmpq %rcx, %rdx
jne 0xb483
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r13)
jmp 0xb490
vmovsd 0xd8(%rsp), %xmm0
leaq 0x50(%rsp), %rdi
xorl %esi, %esi
vaddsd 0xa0(%rsp), %xmm0, %xmm0
vmovsd %xmm0, 0xa0(%rsp)
callq 0x5600
vcvtsi2sdq 0x50(%rsp), %xmm2, %xmm0
vcvtsi2sdq 0x58(%rsp), %xmm2, %xmm1
vdivsd 0x20be5(%rip), %xmm1, %xmm1 # 0x2c008
vaddsd %xmm0, %xmm1, %xmm0
vsubsd 0xa0(%rsp), %xmm0, %xmm0
vmulsd 0x21d08(%rip), %xmm0, %xmm0 # 0x2d140
leaq 0x28(%rsp), %r15
xorl %esi, %esi
movq %r15, %rdi
callq 0x2a510
movl $0x6, %r8d
leaq 0x25bfc(%rip), %rcx     # 0x31050
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x18(%rsp), %rsi
movq %rax, %rcx
addq $0x10, %rcx
movq %rsi, 0x8(%rsp)
movq (%rax), %rdx
cmpq %rcx, %rdx
jne 0xb4e4
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rsi)
jmp 0xb4f1
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x8(%rsp), %rdi
leaq 0x21d0b(%rip), %rsi     # 0x2d1bf
callq 0x5720
leaq 0x170(%rsp), %r13
movq %rax, %rcx
addq $0x10, %rcx
movq %r13, 0x160(%rsp)
movq (%rax), %rdx
cmpq %rcx, %rdx
jne 0xb54b
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r13)
jmp 0xb55e
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x8(%rsp), %rdi
leaq 0x21c62(%rip), %rsi     # 0x2d177
callq 0x5720
leaq 0x150(%rsp), %r15
movq %rax, %rcx
addq $0x10, %rcx
movq %r15, 0x140(%rsp)
movq (%rax), %rdx
cmpq %rcx, %rdx
jne 0xb5d3
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r15)
jmp 0xb5e6
movq %rdx, 0x160(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x170(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x168(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x31a58(%rip), %rax     # 0x3cfd8
movq 0x160(%rsp), %rdi
movq (%rax), %rsi
callq 0x53b0
movq 0x160(%rsp), %rdi
cmpq %r13, %rdi
je 0xb5a2
callq 0x5310
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xb5b6
callq 0x5310
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xb33e
callq 0x5310
jmp 0xb33e
movq %rdx, 0x140(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x150(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x148(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x319d0(%rip), %rax     # 0x3cfd8
movq 0x140(%rsp), %rdi
movq (%rax), %rsi
callq 0x53b0
movq 0x140(%rsp), %rdi
cmpq %r15, %rdi
je 0xb62a
callq 0x5310
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
leaq 0x78(%rsp), %r15
cmpq %rax, %rdi
je 0xb643
callq 0x5310
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xb657
callq 0x5310
vcvtusi2sd %r13, %xmm2, %xmm0
testq %rbp, %rbp
sete %al
kmovd %eax, %k1
vcvtusi2sd %rbp, %xmm2, %xmm1
vdivsd %xmm1, %xmm0, %xmm0
vxorpd %xmm1, %xmm1, %xmm1
vmovsd %xmm1, %xmm0, %xmm0 {%k1}
movl $0x2, %esi
movq %r15, %rdi
callq 0x2a510
movl $0x4, %r8d
leaq 0x21aea(%rip), %rcx     # 0x2d17f
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x38(%rsp), %r15
leaq 0x60(%rsp), %rbp
movq %rbp, 0x50(%rsp)
movq %rax, %rcx
addq $0x10, %rcx
movq (%rax), %rdx
cmpq %rcx, %rdx
jne 0xb6ca
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rbp)
jmp 0xb6d7
movq %rdx, 0x50(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x60(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x58(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x50(%rsp), %rdi
leaq 0x21a89(%rip), %rsi     # 0x2d184
callq 0x5720
movq %r15, 0x28(%rsp)
movq %rax, %rcx
addq $0x10, %rcx
movq (%rax), %rdx
cmpq %rcx, %rdx
jne 0xb71f
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r15)
jmp 0xb72c
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0xa8(%rsp), %rdi
movq %r13, %rsi
callq 0xd33e
movq 0x28(%rsp), %rcx
movl $0xf, %edi
cmpq %r15, %rcx
je 0xb768
movq 0x38(%rsp), %rdi
movq 0x30(%rsp), %r8
movq 0xb0(%rsp), %rdx
movq 0xa8(%rsp), %rsi
leaq (%rdx,%r8), %rax
cmpq %rdi, %rax
jbe 0xb7a5
movl $0xf, %edi
leaq 0xb8(%rsp), %r9
cmpq %r9, %rsi
je 0xb7a0
movq 0xb8(%rsp), %rdi
cmpq %rdi, %rax
jbe 0xb7b1
leaq 0x28(%rsp), %rdi
callq 0x50e0
jmp 0xb7c2
leaq 0xa8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x18(%rsp), %rsi
leaq 0x10(%rax), %rcx
movq %rsi, 0x8(%rsp)
movq (%rax), %rdx
cmpq %rcx, %rdx
jne 0xb7e2
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rsi)
jmp 0xb7ef
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rsi
movq %rax, %rdx
addq $0x8, %rdx
movq %rbp, %r15
movq %r14, %rbp
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x8(%rsp), %rdi
leaq 0x21024(%rip), %rsi     # 0x2c842
callq 0x5720
leaq 0x130(%rsp), %r14
movq %rax, %rcx
addq $0x10, %rcx
movq %r14, 0x120(%rsp)
movq (%rax), %rdx
cmpq %rcx, %rdx
jne 0xb84d
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r14)
jmp 0xb860
movq %rdx, 0x120(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x130(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x128(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x31756(%rip), %rax     # 0x3cfd8
movq 0x120(%rsp), %rdi
movq (%rax), %rsi
callq 0x53b0
movq 0x120(%rsp), %rdi
cmpq %r14, %rdi
je 0xb8a4
callq 0x5310
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
movq %rbp, %r14
cmpq %rax, %rdi
je 0xb8bb
callq 0x5310
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0xb8d5
callq 0x5310
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xb8e9
callq 0x5310
movq 0x50(%rsp), %rdi
cmpq %r15, %rdi
je 0xb8f8
callq 0x5310
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0xb36d
callq 0x5310
jmp 0xb36d
movq 0x70(%rsp), %rax
movq (%rax), %rsi
leaq 0x1f8(%rsp), %rdi
callq 0xd33e
leaq 0x2185a(%rip), %rcx     # 0x2d18e
leaq 0x1f8(%rsp), %rdi
movl $0xd, %r8d
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0xb8(%rsp), %r14
movq %rax, %rcx
addq $0x10, %rcx
movq %r14, -0x10(%r14)
movq (%rax), %rdx
cmpq %rcx, %rdx
jne 0xb971
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r14)
jmp 0xb984
movq %rdx, 0xa8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xb8(%rsp)
movq 0x8(%rax), %rdx
leaq 0xa8(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x217f2(%rip), %rsi     # 0x2d19c
callq 0x5720
leaq 0x88(%rsp), %r15
movq %rax, %rcx
addq $0x10, %rcx
movq %r15, -0x10(%r15)
movq (%rax), %rdx
cmpq %rcx, %rdx
jne 0xb9d5
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r15)
jmp 0xb9e5
movq %rdx, 0x78(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x88(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x80(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
vmovsd 0x60(%rbx), %xmm0
vmulsd 0x21733(%rip), %xmm0, %xmm0 # 0x2d140
leaq 0x100(%rsp), %rdi
xorl %esi, %esi
callq 0x2a510
movq 0x80(%rsp), %r8
movq 0x108(%rsp), %rdx
movq 0x78(%rsp), %rcx
movl $0xf, %edi
leaq (%rdx,%r8), %rax
cmpq %r15, %rcx
je 0xba47
movq 0x88(%rsp), %rdi
movq 0x100(%rsp), %rsi
cmpq %rdi, %rax
jbe 0xba73
leaq 0x110(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0xba6e
movq 0x110(%rsp), %rdi
cmpq %rdi, %rax
jbe 0xba7f
leaq 0x78(%rsp), %rdi
callq 0x50e0
jmp 0xba90
leaq 0x100(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x60(%rsp), %rdx
leaq 0x10(%rax), %rcx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
cmpq %rcx, %rsi
jne 0xbaaf
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rdx)
jmp 0xbabc
movq %rsi, 0x50(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x60(%rsp)
movq 0x8(%rax), %rsi
movq %rax, %rdx
addq $0x8, %rdx
movq %rsi, 0x58(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x216c7(%rip), %rsi     # 0x2d1a7
leaq 0x50(%rsp), %rdi
callq 0x5720
leaq 0x38(%rsp), %rsi
movq %rax, %rcx
addq $0x10, %rcx
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
cmpq %rcx, %rdx
jne 0xbb0c
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rsi)
jmp 0xbb19
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
vcvtusi2sdq 0x58(%rbx), %xmm2, %xmm0
vdivsd 0x60(%rbx), %xmm0, %xmm0
vcvttsd2usi %xmm0, %rsi
leaq 0xe0(%rsp), %rdi
callq 0xd33e
movq 0x30(%rsp), %r8
movq 0xe8(%rsp), %rdx
movq 0x28(%rsp), %rcx
movl $0xf, %edi
leaq 0x38(%rsp), %rsi
leaq (%rdx,%r8), %rax
cmpq %rsi, %rcx
je 0xbb7a
movq 0x38(%rsp), %rdi
movq 0xe0(%rsp), %rsi
cmpq %rdi, %rax
jbe 0xbba6
leaq 0xf0(%rsp), %r9
movl $0xf, %edi
cmpq %r9, %rsi
je 0xbba1
movq 0xf0(%rsp), %rdi
cmpq %rdi, %rax
jbe 0xbbb2
leaq 0x28(%rsp), %rdi
callq 0x50e0
jmp 0xbbc3
leaq 0xe0(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x18(%rsp), %rdx
leaq 0x10(%rax), %rcx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
cmpq %rcx, %rsi
jne 0xbbe2
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rdx)
jmp 0xbbef
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rsi
movq %rax, %rdx
addq $0x8, %rdx
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x2159c(%rip), %rsi     # 0x2d1af
leaq 0x8(%rsp), %rdi
callq 0x5720
leaq 0x1d0(%rsp), %r12
movq %rax, %rcx
addq $0x10, %rcx
movq %r12, -0x10(%r12)
movq (%rax), %rdx
cmpq %rcx, %rdx
jne 0xbc45
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r12)
jmp 0xbc58
movq %rdx, 0x1c0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x1d0(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x1c8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x3135e(%rip), %rax     # 0x3cfd8
movq 0x1c0(%rsp), %rdi
movq (%rax), %rsi
callq 0x53b0
movq 0x1c0(%rsp), %rdi
cmpq %r12, %rdi
je 0xbc9c
callq 0x5310
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xbcaf
callq 0x5310
leaq 0xf0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xbcc5
callq 0x5310
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xbcd9
callq 0x5310
leaq 0x60(%rsp), %rbp
movq -0x10(%rbp), %rdi
cmpq %rbp, %rdi
je 0xbcec
callq 0x5310
leaq 0x110(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xbd02
callq 0x5310
movq 0x78(%rsp), %rdi
cmpq %r15, %rdi
je 0xbd11
callq 0x5310
movq 0xa8(%rsp), %rdi
cmpq %r14, %rdi
je 0xbd23
callq 0x5310
leaq 0x208(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xbd39
callq 0x5310
movq (%rbx), %rax
leaq 0x78(%rsp), %rdi
movq %rbx, %rsi
callq *0x40(%rax)
movq 0x78(%rsp), %r14
leaq 0x18(%rsp), %rax
movq %rax, 0x8(%rsp)
movq $0x0, 0x10(%rsp)
movb $0x0, 0x18(%rsp)
cmpq 0x80(%rsp), %r14
je 0xbe32
leaq 0x50(%rsp), %r15
leaq 0x252bb(%rip), %r12     # 0x31039
leaq 0x8(%rsp), %r13
movq %r15, %rdi
movq %r14, %rsi
callq 0xd3c2
movl $0x1, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
movq %r12, %rcx
callq 0x53c0
leaq 0x38(%rsp), %rsi
movq %rax, %rcx
addq $0x10, %rcx
movq %rsi, 0x28(%rsp)
movq (%rax), %rdx
cmpq %rcx, %rdx
je 0xbdcb
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xbdd3
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x30(%rsp), %rdx
movq 0x28(%rsp), %rsi
movq %r13, %rdi
callq 0x50e0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xbe11
callq 0x5310
movq 0x50(%rsp), %rdi
cmpq %rbp, %rdi
je 0xbe20
callq 0x5310
addq $0x2, %r14
cmpq 0x80(%rsp), %r14
jne 0xbd83
leaq 0x21380(%rip), %rsi     # 0x2d1b9
leaq 0x28(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x908f
leaq 0x209f3(%rip), %rsi     # 0x2c842
leaq 0x28(%rsp), %rdi
callq 0x5720
leaq 0x1b0(%rsp), %r14
movq %rax, %rcx
addq $0x10, %rcx
movq %r14, -0x10(%r14)
movq (%rax), %rdx
cmpq %rcx, %rdx
jne 0xbe7f
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r14)
jmp 0xbe92
movq %rdx, 0x1a0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x1b0(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x1a8(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x31124(%rip), %rax     # 0x3cfd8
movq 0x1a0(%rsp), %rdi
movq (%rax), %rsi
callq 0x53b0
movq 0x1a0(%rsp), %rdi
cmpq %r14, %rdi
je 0xbed6
callq 0x5310
movq 0x28(%rsp), %rdi
movl 0x48(%rsp), %ebp
leaq 0x38(%rsp), %r14
cmpq %r14, %rdi
je 0xbeee
callq 0x5310
cmpl $0x3, %ebp
jge 0xbf1f
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xbf07
callq 0x5310
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0xb2c3
callq 0x5310
jmp 0xb2c3
leaq 0x1e0(%rsp), %rdx
vxorpd %xmm0, %xmm0, %xmm0
vmovapd %xmm0, (%rdx)
movq $0x0, 0x10(%rdx)
movq (%rbx), %rax
leaq 0x28(%rsp), %rdi
movq %rbx, %rsi
callq *0x48(%rax)
leaq 0x2127a(%rip), %rcx     # 0x2d1c6
leaq 0x28(%rsp), %rdi
movl $0xc, %r8d
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x218(%rsp), %rdi
leaq 0x28(%rsp), %rdx
leaq 0x1e0(%rsp), %rcx
movq %rax, %rsi
callq 0x5850
jmp 0xbef3
movq 0x28(%rsp), %rdi
movq %rax, %rbx
cmpq %r14, %rdi
je 0xbf99
callq 0x5310
jmp 0xbf99
movq %rax, %rbx
movq 0x1e0(%rsp), %rdi
testq %rdi, %rdi
jne 0xc1af
jmp 0xc1b9
jmp 0xbfdc
movq %rax, %rbx
movq 0x190(%rsp), %rax
testq %rax, %rax
je 0xc1dc
leaq 0x180(%rsp), %rdi
movl $0x3, %edx
movq %rdi, %rsi
callq *%rax
jmp 0xc1dc
movq %rax, %rdi
callq 0x9eae
jmp 0xc184
movq 0x28(%rsp), %rdi
movq %rax, %rbx
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
jne 0xc1af
jmp 0xc1b9
jmp 0xc1b6
jmp 0xc184
leaq 0x18(%rsp), %rcx
movq %rax, %rbx
movq -0x10(%rcx), %rdi
cmpq %rcx, %rdi
je 0xc029
callq 0x5310
jmp 0xc029
movq %rax, %rbx
leaq 0xf0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc044
callq 0x5310
jmp 0xc044
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xc05d
callq 0x5310
jmp 0xc05d
movq %rax, %rbx
leaq 0x60(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc075
callq 0x5310
jmp 0xc075
movq %rax, %rbx
leaq 0x110(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc090
callq 0x5310
jmp 0xc090
movq %rax, %rbx
movq 0x78(%rsp), %rdi
cmpq %r15, %rdi
je 0xc0a4
callq 0x5310
jmp 0xc0a4
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
cmpq %r14, %rdi
je 0xc0bb
callq 0x5310
jmp 0xc0bb
movq %rax, %rbx
leaq 0x208(%rsp), %rax
movq -0x10(%rax), %rdi
jmp 0xc179
jmp 0xc184
movq %rax, %rbx
jmp 0xc0f2
movq %rax, %rbx
jmp 0xc10c
movq 0x8(%rsp), %rdi
movq %rax, %rbx
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xc0f2
callq 0x5310
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0xc10c
callq 0x5310
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xc12a
callq 0x5310
jmp 0xc12a
movq %rax, %rbx
jmp 0xc13e
movq %rax, %rbx
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0xc13e
callq 0x5310
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
jmp 0xc179
jmp 0xc151
jmp 0xc184
movq 0x8(%rsp), %rdi
movq %rax, %rbx
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xc16f
callq 0x5310
jmp 0xc16f
jmp 0xc16c
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
jne 0xc1d7
jmp 0xc1dc
jmp 0xc184
jmp 0xc184
movq %rax, %rbx
jmp 0xc1dc
movq 0x28(%rsp), %rdi
movq %rax, %rbx
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xc1a5
callq 0x5310
jmp 0xc1a5
movq %rax, %rbx
movq 0x50(%rsp), %rdi
cmpq %rbp, %rdi
je 0xc1b9
callq 0x5310
jmp 0xc1b9
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xc1cd
callq 0x5310
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0xc1dc
callq 0x5310
leaq 0x4c(%rsp), %rdi
callq 0xd6c8
movq %rbx, %rdi
callq 0x56c0