// File: /workspace/github_cpp_makefile_star2_O1/tewalds[P]morat/hex/agentpns.cpp
// Function: Morat::Hex::AgentPNS::search(double, unsigned long, int)
void AgentPNS::search(double time, uint64_t maxiters, int verbose){
	max_nodes_seen = maxiters;

	if(rootboard.outcome() >= 0)
		return;

	Time starttime;

	pool.reset();
	pool.resume();

	pool.wait_pause(time);


	double time_used = Time() - starttime;


	if(verbose){
		DepthStats treelen;
		for(auto & t : pool)
			treelen += t->treelen;

		logerr("Finished:    " + to_str(nodes_seen) + " nodes created in " + to_str(time_used*1000, 0) + " msec: " + to_str(nodes_seen/time_used, 0) + " Nodes/s\n");
		if(nodes_seen > 0){
			logerr("Tree depth:  " + treelen.to_s() + "\n");
		}

		Side to_play = rootboard.to_play();

		logerr("Root:        " + root.to_s() + "\n");
		Outcome outcome = root.to_outcome(~to_play);
		if(outcome != Outcome::UNKNOWN)
			logerr("Solved as a " + outcome.to_s_rel(to_play) + "\n");

		std::string pvstr;
		for(auto m : Agent::get_pv())
			pvstr += " " + m.to_s();
		logerr("PV:         " + pvstr + "\n");

		if(verbose >= 3 && !root.children.empty())
			logerr("Move stats:\n" + move_stats(vecmove()));
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x208, %rsp            # imm = 0x208
movq %rsi, 0x1520(%rdi)
cmpb $0x0, 0x19(%rdi)
jns 0x19bdd
movl %edx, %ebp
movq %rdi, %r13
leaq 0x78(%rsp), %r14
movq %r14, %rdi
xorl %esi, %esi
vmovsd %xmm0, 0x48(%rsp)
callq 0x55b0
vcvtsi2sdq (%r14), %xmm1, %xmm0
vmovsd %xmm0, 0x70(%rsp)
vcvtsi2sdq 0x8(%r14), %xmm1, %xmm0
vmovsd %xmm0, 0xc0(%rsp)
leaq 0x1430(%r13), %r14
movq %r14, %rdi
callq 0x1c076
movq %r14, %rdi
callq 0x1c0ec
movq %r14, %rdi
vmovsd 0x48(%rsp), %xmm0
callq 0x1c130
leaq 0x78(%rsp), %rdi
xorl %esi, %esi
callq 0x55b0
testl %ebp, %ebp
jne 0x19bef
addq $0x208, %rsp            # imm = 0x208
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
vcvtsi2sdq 0x78(%rsp), %xmm1, %xmm0
vmovsd %xmm0, 0x48(%rsp)
vcvtsi2sdq 0x80(%rsp), %xmm1, %xmm0
vmovsd %xmm0, 0xb8(%rsp)
movl $0x0, 0x80(%rsp)
movq $0x3b9aca00, 0x78(%rsp) # imm = 0x3B9ACA00
vxorpd %xmm0, %xmm0, %xmm0
vmovupd %xmm0, 0x88(%rsp)
movq 0x1438(%r13), %rax
movq 0x1440(%r13), %rcx
cmpq %rcx, %rax
je 0x19caf
movl 0x78(%rsp), %esi
movl 0x7c(%rsp), %edi
movl 0x80(%rsp), %edx
vmovdqu 0x88(%rsp), %xmm0
movq (%rax), %r8
movl 0x9ca8(%r8), %r9d
cmpl %r9d, %esi
jbe 0x19c72
movl %r9d, 0x78(%rsp)
movl %r9d, %esi
movl 0x9cac(%r8), %r9d
cmpl %r9d, %edi
jae 0x19c86
movl %r9d, 0x7c(%rsp)
movl %r9d, %edi
addl 0x9cb0(%r8), %edx
vpaddq 0x9cb8(%r8), %xmm0, %xmm0
addq $0x8, %rax
cmpq %rcx, %rax
jne 0x19c5b
movl %edx, 0x80(%rsp)
vmovdqu %xmm0, 0x88(%rsp)
movq 0x1518(%r13), %rsi
leaq 0x1c8(%rsp), %r14
movq %r14, %rdi
callq 0x1148d
leaq 0x1882c(%rip), %rcx     # 0x324f9
movl $0xd, %r8d
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5380
leaq 0x118(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x19d05
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r15)
jmp 0x19d18
movq %rdx, 0x108(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x118(%rsp)
movq 0x8(%rax), %rdx
leaq 0x108(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x19e64(%rip), %rsi     # 0x33ba2
callq 0x56e0
vmovsd 0x172bd(%rip), %xmm0    # 0x31008
vmovsd 0xc0(%rsp), %xmm1
vdivsd %xmm0, %xmm1, %xmm1
vaddsd 0x70(%rsp), %xmm1, %xmm1
vmovsd 0xb8(%rsp), %xmm2
vdivsd %xmm0, %xmm2, %xmm0
vaddsd 0x48(%rsp), %xmm0, %xmm0
vsubsd %xmm1, %xmm0, %xmm1
leaq 0xa8(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x19d9d
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r12)
jmp 0x19db0
movq %rdx, 0x98(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xa8(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0xa0(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
vmovsd %xmm1, 0x48(%rsp)
vmulsd 0x1843f(%rip), %xmm1, %xmm0 # 0x32218
leaq 0xe8(%rsp), %rdi
xorl %esi, %esi
callq 0x2f81c
movq 0x98(%rsp), %rcx
movq 0xa0(%rsp), %r8
movq 0xf0(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r12, %rcx
je 0x19e16
movq 0xa8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x19e3b
leaq 0xf8(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x19e36
movq 0xf8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x19e52
movq 0xe8(%rsp), %rsi
leaq 0x98(%rsp), %rdi
callq 0x50c0
jmp 0x19e63
leaq 0xe8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5380
leaq 0x60(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
jne 0x19e82
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rdx)
jmp 0x19e8f
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 0x1865e(%rip), %rsi     # 0x32511
leaq 0x50(%rsp), %rdi
callq 0x56e0
leaq 0x18(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
vmovsd 0x48(%rsp), %xmm1
jne 0x19ee5
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rbx)
jmp 0x19ef2
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)
vcvtusi2sdq 0x1518(%r13), %xmm3, %xmm0
vdivsd %xmm1, %xmm0, %xmm0
leaq 0xc8(%rsp), %rdi
xorl %esi, %esi
callq 0x2f81c
movq 0x8(%rsp), %rcx
movq 0x10(%rsp), %r8
movq 0xd0(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %rbx, %rcx
je 0x19f4c
movq 0x18(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x19f71
leaq 0xd8(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x19f6c
movq 0xd8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x19f85
movq 0xc8(%rsp), %rsi
leaq 0x8(%rsp), %rdi
callq 0x50c0
jmp 0x19f96
leaq 0xc8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5380
leaq 0x38(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
jne 0x19fb5
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rdx)
jmp 0x19fc2
movq %rsi, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x19bcf(%rip), %rsi     # 0x33bb5
leaq 0x28(%rsp), %rdi
callq 0x56e0
leaq 0x1b8(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x1a015
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rbx)
jmp 0x1a028
movq %rdx, 0x1a8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x1b8(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x1b0(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x2ff86(%rip), %rax     # 0x49fd0
movq (%rax), %rsi
movq 0x1a8(%rsp), %rdi
callq 0x5370
movq 0x1a8(%rsp), %rdi
cmpq %rbx, %rdi
je 0x1a06c
callq 0x52e0
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
leaq 0x18(%rsp), %rbx
je 0x1a084
callq 0x52e0
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1a09a
callq 0x52e0
movq 0x8(%rsp), %rdi
cmpq %rbx, %rdi
je 0x1a0a9
callq 0x52e0
leaq 0x60(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1a0bc
callq 0x52e0
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1a0d2
callq 0x52e0
movq 0x98(%rsp), %rdi
cmpq %r12, %rdi
je 0x1a0e4
callq 0x52e0
movq 0x108(%rsp), %rdi
cmpq %r15, %rdi
je 0x1a0f6
callq 0x52e0
leaq 0x1d8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1a10c
callq 0x52e0
cmpq $0x0, 0x1518(%r13)
je 0x1a23d
leaq 0x8(%rsp), %r14
leaq 0x78(%rsp), %rsi
movq %r14, %rdi
callq 0x11716
leaq 0x183fe(%rip), %rcx     # 0x32531
movl $0xd, %r8d
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5380
leaq 0x38(%rsp), %r15
movq %r15, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x1a169
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r15)
jmp 0x1a176
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1776d(%rip), %rsi     # 0x31906
callq 0x56e0
leaq 0x198(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x1a1c3
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rbx)
jmp 0x1a1d6
movq %rdx, 0x188(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x198(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x190(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x2fdd8(%rip), %rax     # 0x49fd0
movq (%rax), %rsi
movq 0x188(%rsp), %rdi
callq 0x5370
movq 0x188(%rsp), %rdi
cmpq %rbx, %rdi
je 0x1a21a
callq 0x52e0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
leaq 0x18(%rsp), %rbx
je 0x1a22e
callq 0x52e0
movq 0x8(%rsp), %rdi
cmpq %rbx, %rdi
je 0x1a23d
callq 0x52e0
movb 0x18(%r13), %r12b
leaq 0x1540(%r13), %r14
leaq 0x8(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x18fd0
leaq 0x19960(%rip), %rcx     # 0x33bbf
movl $0xd, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5380
leaq 0x38(%rsp), %r15
movq %r15, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x1a295
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r15)
jmp 0x1a2a2
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x17641(%rip), %rsi     # 0x31906
callq 0x56e0
leaq 0x178(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x1a2ef
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rbx)
jmp 0x1a302
movq %rdx, 0x168(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x178(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x170(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x2fcac(%rip), %rax     # 0x49fd0
movq (%rax), %rsi
movq 0x168(%rsp), %rdi
callq 0x5370
movq 0x168(%rsp), %rdi
cmpq %rbx, %rdi
je 0x1a346
callq 0x52e0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
leaq 0x18(%rsp), %rbx
je 0x1a35a
callq 0x52e0
movq 0x8(%rsp), %rdi
cmpq %rbx, %rdi
je 0x1a369
callq 0x52e0
cmpl $0x3fffffff, (%r14)     # imm = 0x3FFFFFFF
jne 0x1a379
movb $0x3, %al
subb %r12b, %al
jmp 0x1a3a5
movl 0x1544(%r13), %ecx
movl %r12d, %eax
cmpl $0x3fffffff, %ecx       # imm = 0x3FFFFFFF
je 0x1a3a5
cmpl $0x3ffffffe, %ecx       # imm = 0x3FFFFFFE
jne 0x1a39c
leaq 0x1c017(%rip), %rax     # 0x363b1
jmp 0x1a3a3
leaq 0x1c00b(%rip), %rax     # 0x363ae
movb (%rax), %al
movb %al, 0x1c8(%rsp)
leaq 0x1bffb(%rip), %rcx     # 0x363ae
cmpb (%rcx), %al
je 0x1a4e0
movzbl %r12b, %edx
leaq 0x8(%rsp), %r14
leaq 0x1c8(%rsp), %rsi
movq %r14, %rdi
callq 0x2f73c
leaq 0x1818e(%rip), %rcx     # 0x32569
movl $0xc, %r8d
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x5380
movq %r15, 0x28(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x1a40c
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%r15)
jmp 0x1a419
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
movq 0x8(%rax), %rdx
leaq 0x28(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x174ca(%rip), %rsi     # 0x31906
callq 0x56e0
leaq 0x158(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x1a466
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rbx)
jmp 0x1a479
movq %rdx, 0x148(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x158(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x150(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x2fb35(%rip), %rax     # 0x49fd0
movq (%rax), %rsi
movq 0x148(%rsp), %rdi
callq 0x5370
movq 0x148(%rsp), %rdi
cmpq %rbx, %rdi
je 0x1a4bd
callq 0x52e0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
leaq 0x18(%rsp), %rbx
je 0x1a4d1
callq 0x52e0
movq 0x8(%rsp), %rdi
cmpq %rbx, %rdi
je 0x1a4e0
callq 0x52e0
movl %ebp, 0x48(%rsp)
movq %r15, 0x28(%rsp)
movq $0x0, 0x30(%rsp)
movb $0x0, 0x38(%rsp)
leaq 0x98(%rsp), %rdi
movq %r13, 0x70(%rsp)
movq %r13, %rsi
callq 0x11eba
movq 0x98(%rsp), %rbx
movq 0xa0(%rsp), %rbp
cmpq %rbp, %rbx
je 0x1a5f8
leaq 0x50(%rsp), %r14
leaq 0x108(%rsp), %r15
leaq 0x1b90a(%rip), %r12     # 0x35e43
leaq 0x28(%rsp), %r13
movzwl (%rbx), %eax
movw %ax, 0x108(%rsp)
movq %r14, %rdi
movq %r15, %rsi
callq 0x10cdc
movl $0x1, %r8d
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movq %r12, %rcx
callq 0x5380
leaq 0x18(%rsp), %rsi
movq %rsi, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x1a591
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x1a599
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %r13, %rdi
callq 0x50c0
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x1a5d7
callq 0x52e0
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x1a5eb
callq 0x52e0
addq $0x2, %rbx
cmpq %rbp, %rbx
jne 0x1a53e
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x1a60a
callq 0x52e0
leaq 0x17f65(%rip), %rsi     # 0x32576
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %rdx
callq 0x9805
movl 0x48(%rsp), %ebp
leaq 0x172db(%rip), %rsi     # 0x31906
leaq 0x8(%rsp), %rdi
callq 0x56e0
leaq 0x138(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
movq 0x70(%rsp), %r14
leaq 0x38(%rsp), %r15
jne 0x1a664
vmovupd (%rcx), %xmm0
vmovupd %xmm0, (%rbx)
jmp 0x1a677
movq %rdx, 0x128(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x138(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x130(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x2f937(%rip), %rax     # 0x49fd0
movq (%rax), %rsi
movq 0x128(%rsp), %rdi
callq 0x5370
movq 0x128(%rsp), %rdi
cmpq %rbx, %rdi
je 0x1a6bb
callq 0x52e0
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rbx
cmpq %rbx, %rdi
je 0x1a6cf
callq 0x52e0
cmpl $0x3, %ebp
jl 0x1a6e8
movq 0x1558(%r14), %rax
cmpq $0x2, %rax
jb 0x1a6e8
cmpw $0x0, 0x6(%rax)
jne 0x1a700
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x19bdd
callq 0x52e0
jmp 0x19bdd
vxorpd %xmm0, %xmm0, %xmm0
leaq 0x50(%rsp), %rdx
vmovapd %xmm0, (%rdx)
movq $0x0, 0x10(%rdx)
movq (%r14), %rax
leaq 0x8(%rsp), %rdi
movq %r14, %rsi
callq *0x48(%rax)
leaq 0x17e59(%rip), %rcx     # 0x32583
leaq 0x8(%rsp), %rdi
movl $0xc, %r8d
xorl %esi, %esi
xorl %edx, %edx
callq 0x5380
leaq 0x1e8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
leaq 0x50(%rsp), %rcx
movq %rax, %rsi
callq 0x594a
jmp 0x1a6e8
movq %rax, %r14
movq 0x8(%rsp), %rdi
cmpq %rbx, %rdi
je 0x1a771
callq 0x52e0
jmp 0x1a771
movq %rax, %r14
movq 0x50(%rsp), %rdi
jmp 0x1a8c9
jmp 0x1a7a8
jmp 0x1a7bc
jmp 0x1a7a8
jmp 0x1a7bc
movq %rax, %r14
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
jne 0x1a8ce
jmp 0x1a8d3
jmp 0x1a7a0
movq %rax, %r14
jmp 0x1a8d3
movq %rax, %r14
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x1a7bf
callq 0x52e0
jmp 0x1a7bf
movq %rax, %r14
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
jmp 0x1a8dd
movq %rax, %r14
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1a7e9
callq 0x52e0
jmp 0x1a7e9
movq %rax, %r14
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1a804
callq 0x52e0
jmp 0x1a804
movq %rax, %r14
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x1a81d
callq 0x52e0
jmp 0x1a81d
movq %rax, %r14
leaq 0x60(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1a835
callq 0x52e0
jmp 0x1a835
movq %rax, %r14
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1a850
callq 0x52e0
jmp 0x1a850
movq %rax, %r14
movq 0x98(%rsp), %rdi
cmpq %r12, %rdi
je 0x1a867
callq 0x52e0
jmp 0x1a867
movq %rax, %r14
movq 0x108(%rsp), %rdi
cmpq %r15, %rdi
je 0x1a87e
callq 0x52e0
jmp 0x1a87e
movq %rax, %r14
leaq 0x1d8(%rsp), %rax
movq -0x10(%rax), %rdi
jmp 0x1a8dd
movq %rax, %r14
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x1a8a8
callq 0x52e0
jmp 0x1a8a8
movq %rax, %r14
movq 0x50(%rsp), %rdi
leaq 0x60(%rsp), %rax
cmpq %rax, %rdi
je 0x1a8c1
callq 0x52e0
jmp 0x1a8c1
movq %rax, %r14
movq 0x98(%rsp), %rdi
testq %rdi, %rdi
je 0x1a8d3
callq 0x52e0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x1a8e7
callq 0x52e0
movq %r14, %rdi
callq 0x5670
nop