// File: /workspace/github_cpp_makefile_star2_O1/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
movl %edx, 0x48(%rsp)
movq %rsi, %r14
vmovsd %xmm0, 0x70(%rsp)
movq %rdi, %rbx
movb $0x0, 0x8(%rdi)
movl $0x0, 0x50(%rdi)
vxorpd %xmm0, %xmm0, %xmm0
vmovupd %xmm0, 0x58(%rdi)
leaq 0x10(%rdi), %rax
movq %rax, 0x98(%rsp)
movb 0x2a(%rdi), %al
leaq 0x26cce(%rip), %rcx     # 0x31da5
cmpb (%rcx), %al
jne 0xb0eb
movq 0x98(%rsp), %rdi
callq 0xe358
movb %al, 0x2a(%rbx)
cmpb $0x0, 0x2a(%rbx)
jns 0xb29f
cmpq $0x0, 0x38(%rbx)
jne 0xb14c
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 0xb148
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 0xb134
movq %rax, 0x38(%rbx)
movl $0xffffffff, 0x4c(%rsp) # imm = 0xFFFFFFFF
vxorpd %xmm0, %xmm0, %xmm0
vmovsd 0x70(%rsp), %xmm1
vucomisd %xmm0, %xmm1
jbe 0xb1ed
vxorpd %xmm0, %xmm0, %xmm0
vmovupd %ymm0, 0x180(%rsp)
movl $0x18, %edi
vzeroupper
callq 0x5350
vmovsd 0x70(%rsp), %xmm0
vdivsd 0x21fa8(%rip), %xmm0, %xmm0 # 0x2d138
movq $0x59, (%rax)
movq $0x0, 0x8(%rax)
movq %rbx, 0x10(%rax)
leaq 0x180(%rsp), %rsi
movq %rax, (%rsi)
leaq 0x37f3(%rip), %rax      # 0xe9a8
movq %rax, 0x18(%rsi)
leaq 0x3804(%rip), %rax      # 0xe9c4
movq %rax, 0x10(%rsi)
leaq 0x4c(%rsp), %rdi
callq 0xd13e
movq 0x190(%rsp), %rax
testq %rax, %rax
je 0xb1ed
leaq 0x180(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x58(%rbx), %rax
movq %rax, 0x70(%rsp)
leaq 0x8(%rsp), %r12
movq %r12, %rdi
xorl %esi, %esi
callq 0x5600
vcvtsi2sdq (%r12), %xmm2, %xmm0
vmovsd %xmm0, 0xd0(%rsp)
vcvtsi2sdq 0x8(%r12), %xmm2, %xmm0
vmovsd %xmm0, 0xc8(%rsp)
cmpb $0x0, 0x8(%rbx)
je 0xb2b1
vmovsd 0xc8(%rsp), %xmm0
vdivsd 0x20dc9(%rip), %xmm0, %xmm0 # 0x2c008
vaddsd 0xd0(%rsp), %xmm0, %xmm0
vmovsd %xmm0, 0x98(%rsp)
leaq 0x8(%rsp), %r14
movq %r14, %rdi
xorl %esi, %esi
callq 0x5600
vcvtsi2sdq (%r14), %xmm2, %xmm0
vcvtsi2sdq 0x8(%r14), %xmm2, %xmm1
vdivsd 0x20d95(%rip), %xmm1, %xmm1 # 0x2c008
vaddsd %xmm0, %xmm1, %xmm0
vsubsd 0x98(%rsp), %xmm0, %xmm0
vaddsd 0x60(%rbx), %xmm0, %xmm0
vmovsd %xmm0, 0x60(%rbx)
cmpl $0x0, 0x48(%rsp)
jne 0xb8ef
leaq 0x4c(%rsp), %rdi
callq 0xd72a
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 0xb22e
movl %r12d, 0x50(%rbx)
movq 0x58(%rbx), %r15
leaq 0x8(%rsp), %rdi
xorl %esi, %esi
callq 0x5600
vcvtsi2sdq 0x8(%rsp), %xmm2, %xmm0
vmovsd %xmm0, 0xc0(%rsp)
vcvtsi2sdq 0x10(%rsp), %xmm2, %xmm0
vdivsd 0x20d08(%rip), %xmm0, %xmm0 # 0x2c008
vmovsd %xmm0, 0xd8(%rsp)
cmpl $0x0, 0x48(%rsp)
jne 0xb363
movq %rbx, %rdi
movq 0x98(%rsp), %rsi
movl $0xffff8001, %edx       # imm = 0xFFFF8001
movl $0x7fff, %ecx           # imm = 0x7FFF
movl %r12d, %r8d
callq 0xc1c8
movq 0x70(%rsp), %rax
movq (%rax), %r13
subq %r15, %r13
cmpl $0x0, 0x48(%rsp)
jne 0xb3b8
cmpb $0x0, 0x8(%rbx)
jne 0xb22e
leaq 0x1(%r12), %rax
movq %r13, %rbp
cmpq $0x22, %r12
movq %rax, %r12
jbe 0xb2b9
jmp 0xb22e
leaq 0x28(%rsp), %r13
movq %r13, %rdi
movl %r12d, %esi
callq 0xd269
movl $0x6, %r8d
movq %r13, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x21de9(%rip), %rcx     # 0x2d170
callq 0x53c0
leaq 0x18(%rsp), %r13
movq %r13, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0xb455
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r13)
jmp 0xb462
vmovsd 0xd8(%rsp), %xmm0
vaddsd 0xc0(%rsp), %xmm0, %xmm0
vmovsd %xmm0, 0xc0(%rsp)
leaq 0x50(%rsp), %rdi
xorl %esi, %esi
callq 0x5600
vcvtsi2sdq 0x50(%rsp), %xmm2, %xmm0
vcvtsi2sdq 0x58(%rsp), %xmm2, %xmm1
vdivsd 0x20c13(%rip), %xmm1, %xmm1 # 0x2c008
vaddsd %xmm0, %xmm1, %xmm0
vsubsd 0xc0(%rsp), %xmm0, %xmm0
vmulsd 0x21d36(%rip), %xmm0, %xmm0 # 0x2d140
leaq 0x28(%rsp), %r15
movq %r15, %rdi
xorl %esi, %esi
callq 0x2a99c
movl $0x6, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x25c23(%rip), %rcx     # 0x31050
callq 0x53c0
leaq 0x18(%rsp), %rsi
movq %rsi, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0xb4b6
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rsi)
jmp 0xb4c3
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 0x21d39(%rip), %rsi     # 0x2d1bf
callq 0x5720
leaq 0x170(%rsp), %r13
movq %r13, 0x160(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0xb51d
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r13)
jmp 0xb530
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 0x21c90(%rip), %rsi     # 0x2d177
callq 0x5720
leaq 0x150(%rsp), %r15
movq %r15, 0x140(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0xb5a5
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r15)
jmp 0xb5b8
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 0x31a86(%rip), %rax     # 0x3cfd8
movq (%rax), %rsi
movq 0x160(%rsp), %rdi
callq 0x53b0
movq 0x160(%rsp), %rdi
cmpq %r13, %rdi
je 0xb574
callq 0x5310
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xb588
callq 0x5310
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xb310
callq 0x5310
jmp 0xb310
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 0x319fe(%rip), %rax     # 0x3cfd8
movq (%rax), %rsi
movq 0x140(%rsp), %rdi
callq 0x53b0
movq 0x140(%rsp), %rdi
cmpq %r15, %rdi
je 0xb5fc
callq 0x5310
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
leaq 0x78(%rsp), %r15
je 0xb615
callq 0x5310
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xb629
callq 0x5310
testq %rbp, %rbp
vcvtusi2sd %r13, %xmm2, %xmm0
sete %al
vcvtusi2sd %rbp, %xmm2, %xmm1
vdivsd %xmm1, %xmm0, %xmm0
kmovd %eax, %k1
vxorpd %xmm1, %xmm1, %xmm1
vmovsd %xmm1, %xmm0, %xmm0 {%k1}
movq %r15, %rdi
movl $0x2, %esi
callq 0x2a99c
movl $0x4, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x21b11(%rip), %rcx     # 0x2d17f
callq 0x53c0
leaq 0x38(%rsp), %r15
leaq 0x60(%rsp), %rbp
movq %rbp, 0x50(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0xb69c
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rbp)
jmp 0xb6a9
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 0x21ab7(%rip), %rsi     # 0x2d184
callq 0x5720
movq %r15, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0xb6f1
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r15)
jmp 0xb6fe
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 0xa0(%rsp), %rdi
movq %r13, %rsi
callq 0xd392
movq 0x28(%rsp), %rcx
movl $0xf, %esi
cmpq %r15, %rcx
je 0xb73a
movq 0x38(%rsp), %rsi
movq 0x30(%rsp), %r8
movq 0xa8(%rsp), %rdx
leaq (%rdx,%r8), %rax
cmpq %rsi, %rax
jbe 0xb774
movl $0xf, %esi
leaq 0xb0(%rsp), %rdi
cmpq %rdi, 0xa0(%rsp)
je 0xb76f
movq 0xb0(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xb788
movq 0xa0(%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0x50e0
jmp 0xb799
leaq 0xa0(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x18(%rsp), %rsi
movq %rsi, 0x8(%rsp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
jne 0xb7b9
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rsi)
jmp 0xb7c6
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq %rbp, %r15
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq %r14, %rbp
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x8(%rsp), %rdi
leaq 0x2104d(%rip), %rsi     # 0x2c842
callq 0x5720
leaq 0x130(%rsp), %r14
movq %r14, 0x120(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0xb824
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r14)
jmp 0xb837
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 0x3177f(%rip), %rax     # 0x3cfd8
movq (%rax), %rsi
movq 0x120(%rsp), %rdi
callq 0x53b0
movq 0x120(%rsp), %rdi
cmpq %r14, %rdi
je 0xb87b
callq 0x5310
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
movq %rbp, %r14
je 0xb892
callq 0x5310
movq 0xa0(%rsp), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0xb8ac
callq 0x5310
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xb8c0
callq 0x5310
movq 0x50(%rsp), %rdi
cmpq %r15, %rdi
je 0xb8cf
callq 0x5310
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0xb33f
callq 0x5310
jmp 0xb33f
movq 0x70(%rsp), %rax
movq (%rax), %rsi
leaq 0x1f8(%rsp), %rdi
callq 0xd392
leaq 0x21883(%rip), %rcx     # 0x2d18e
leaq 0x1f8(%rsp), %rdi
movl $0xd, %r8d
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0xb0(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0xb948
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r14)
jmp 0xb95b
movq %rdx, 0xa0(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xb0(%rsp)
movq 0x8(%rax), %rdx
leaq 0xa0(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x2181b(%rip), %rsi     # 0x2d19c
callq 0x5720
leaq 0x88(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0xb9ac
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r15)
jmp 0xb9bc
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 0x2175c(%rip), %xmm0, %xmm0 # 0x2d140
leaq 0x100(%rsp), %rdi
xorl %esi, %esi
callq 0x2a99c
movq 0x78(%rsp), %rcx
movq 0x80(%rsp), %r8
movq 0x108(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r15, %rcx
je 0xba1e
movq 0x88(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xba43
leaq 0x110(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0xba3e
movq 0x110(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xba57
movq 0x100(%rsp), %rsi
leaq 0x78(%rsp), %rdi
callq 0x50e0
jmp 0xba68
leaq 0x100(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x60(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
jne 0xba87
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rdx)
jmp 0xba94
movq %rsi, 0x50(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x60(%rsp)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x58(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x216ef(%rip), %rsi     # 0x2d1a7
leaq 0x50(%rsp), %rdi
callq 0x5720
leaq 0x38(%rsp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0xbae4
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rsi)
jmp 0xbaf1
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 0xd392
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0xe8(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
leaq 0x38(%rsp), %rdi
cmpq %rdi, %rcx
je 0xbb52
movq 0x38(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xbb77
leaq 0xf0(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0xbb72
movq 0xf0(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xbb8b
movq 0xe0(%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0x50e0
jmp 0xbb9c
leaq 0xe0(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x18(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
jne 0xbbbb
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rdx)
jmp 0xbbc8
movq %rsi, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x215c3(%rip), %rsi     # 0x2d1af
leaq 0x8(%rsp), %rdi
callq 0x5720
leaq 0x1d0(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0xbc1e
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r12)
jmp 0xbc31
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 0x31385(%rip), %rax     # 0x3cfd8
movq (%rax), %rsi
movq 0x1c0(%rsp), %rdi
callq 0x53b0
movq 0x1c0(%rsp), %rdi
cmpq %r12, %rdi
je 0xbc75
callq 0x5310
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xbc88
callq 0x5310
leaq 0xf0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xbc9e
callq 0x5310
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xbcb2
callq 0x5310
leaq 0x60(%rsp), %rbp
movq -0x10(%rbp), %rdi
cmpq %rbp, %rdi
je 0xbcc5
callq 0x5310
leaq 0x110(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xbcdb
callq 0x5310
movq 0x78(%rsp), %rdi
cmpq %r15, %rdi
je 0xbcea
callq 0x5310
movq 0xa0(%rsp), %rdi
cmpq %r14, %rdi
je 0xbcfc
callq 0x5310
leaq 0x208(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xbd12
callq 0x5310
movq (%rbx), %rax
leaq 0x78(%rsp), %rdi
movq %rbx, %rsi
callq *0x40(%rax)
leaq 0x18(%rsp), %rax
movq %rax, 0x8(%rsp)
movq $0x0, 0x10(%rsp)
movb $0x0, 0x18(%rsp)
movq 0x78(%rsp), %r14
cmpq 0x80(%rsp), %r14
je 0xbe0b
leaq 0x50(%rsp), %r15
leaq 0x252e2(%rip), %r12     # 0x31039
leaq 0x8(%rsp), %r13
movq %r15, %rdi
movq %r14, %rsi
callq 0xd416
movl $0x1, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
movq %r12, %rcx
callq 0x53c0
leaq 0x38(%rsp), %rsi
movq %rsi, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xbda4
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xbdac
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 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
movq %r13, %rdi
callq 0x50e0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xbdea
callq 0x5310
movq 0x50(%rsp), %rdi
cmpq %rbp, %rdi
je 0xbdf9
callq 0x5310
addq $0x2, %r14
cmpq 0x80(%rsp), %r14
jne 0xbd5c
leaq 0x213a7(%rip), %rsi     # 0x2d1b9
leaq 0x28(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x9073
leaq 0x20a1a(%rip), %rsi     # 0x2c842
leaq 0x28(%rsp), %rdi
callq 0x5720
leaq 0x1b0(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0xbe58
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r14)
jmp 0xbe6b
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 0x3114b(%rip), %rax     # 0x3cfd8
movq (%rax), %rsi
movq 0x1a0(%rsp), %rdi
callq 0x53b0
movq 0x1a0(%rsp), %rdi
cmpq %r14, %rdi
je 0xbeaf
callq 0x5310
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %r14
cmpq %r14, %rdi
movl 0x48(%rsp), %ebp
je 0xbec7
callq 0x5310
cmpl $0x3, %ebp
jge 0xbef8
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xbee0
callq 0x5310
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0xb295
callq 0x5310
jmp 0xb295
vxorpd %xmm0, %xmm0, %xmm0
leaq 0x1e0(%rsp), %rdx
vmovapd %xmm0, (%rdx)
movq $0x0, 0x10(%rdx)
movq (%rbx), %rax
leaq 0x28(%rsp), %rdi
movq %rbx, %rsi
callq *0x48(%rax)
leaq 0x212a1(%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 0xbecc
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r14, %rdi
je 0xbf72
callq 0x5310
jmp 0xbf72
movq %rax, %rbx
movq 0x1e0(%rsp), %rdi
testq %rdi, %rdi
jne 0xc188
jmp 0xc192
jmp 0xbfb5
movq %rax, %rbx
movq 0x190(%rsp), %rax
testq %rax, %rax
je 0xc1b5
leaq 0x180(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
jmp 0xc1b5
movq %rax, %rdi
callq 0x9e76
jmp 0xc15d
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
jne 0xc188
jmp 0xc192
jmp 0xc18f
jmp 0xc15d
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc002
callq 0x5310
jmp 0xc002
movq %rax, %rbx
leaq 0xf0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc01d
callq 0x5310
jmp 0xc01d
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xc036
callq 0x5310
jmp 0xc036
movq %rax, %rbx
leaq 0x60(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc04e
callq 0x5310
jmp 0xc04e
movq %rax, %rbx
leaq 0x110(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xc069
callq 0x5310
jmp 0xc069
movq %rax, %rbx
movq 0x78(%rsp), %rdi
cmpq %r15, %rdi
je 0xc07d
callq 0x5310
jmp 0xc07d
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
cmpq %r14, %rdi
je 0xc094
callq 0x5310
jmp 0xc094
movq %rax, %rbx
leaq 0x208(%rsp), %rax
movq -0x10(%rax), %rdi
jmp 0xc152
jmp 0xc15d
movq %rax, %rbx
jmp 0xc0cb
movq %rax, %rbx
jmp 0xc0e5
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xc0cb
callq 0x5310
movq 0xa0(%rsp), %rdi
leaq 0xb0(%rsp), %rax
cmpq %rax, %rdi
je 0xc0e5
callq 0x5310
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xc103
callq 0x5310
jmp 0xc103
movq %rax, %rbx
jmp 0xc117
movq %rax, %rbx
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0xc117
callq 0x5310
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
jmp 0xc152
jmp 0xc12a
jmp 0xc15d
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xc148
callq 0x5310
jmp 0xc148
jmp 0xc145
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
jne 0xc1b0
jmp 0xc1b5
jmp 0xc15d
jmp 0xc15d
movq %rax, %rbx
jmp 0xc1b5
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xc17e
callq 0x5310
jmp 0xc17e
movq %rax, %rbx
movq 0x50(%rsp), %rdi
cmpq %rbp, %rdi
je 0xc192
callq 0x5310
jmp 0xc192
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xc1a6
callq 0x5310
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0xc1b5
callq 0x5310
leaq 0x4c(%rsp), %rdi
callq 0xd72a
movq %rbx, %rdi
callq 0x56c0
nop