// File: /workspace/github_cpp_makefile_star2_O2/tewalds[P]morat/hex/agentmcts.cpp
// Function: Morat::Hex::AgentMCTS::search(double, unsigned long, int)
void AgentMCTS::search(double time, uint64_t max_runs, int verbose){
	Side to_play = rootboard.to_play();

	if(rootboard.outcome() >= Outcome::DRAW || (time <= 0 && max_runs == 0))
		return;

	Time starttime;

	pool.pause();

	if(runs)
		logerr("Pondered " + to_str(runs) + " runs\n");

	runs = 0;
	maxruns = max_runs;
	pool.reset();

	//let them run!
	pool.resume();

	pool.wait_pause(time);

	double time_used = Time() - starttime;


	if(verbose){
		DepthStats gamelen, treelen;
		DepthStats win_types[2][Board::num_win_types];
		uint64_t games = 0, draws = 0;
		double times[4] = {0,0,0,0};
		for(auto & t : pool){
			gamelen += t->gamelen;
			treelen += t->treelen;

			for(int a = 0; a < 2; a++){
				for(int b = 0; b < Board::num_win_types; b++){
					win_types[a][b] += t->win_types[a][b];
					games += t->win_types[a][b].num;
				}
			}

			for(int a = 0; a < 4; a++)
				times[a] += t->times[a];
		}
		draws = gamelen.num - games;

		logerr("Finished:    " + to_str(runs) + " runs in " + to_str(time_used*1000, 0) + " msec: " + to_str(runs/time_used, 0) + " Games/s\n");
		if(gamelen.num > 0){
			logerr("Game length: " + gamelen.to_s() + "\n");
			logerr("Tree depth:  " + treelen.to_s() + "\n");
			if(profile)
				logerr("Times:       " + to_str(times[0], 3) + ", " + to_str(times[1], 3) + ", " + to_str(times[2], 3) + ", " + to_str(times[3], 3) + "\n");

			if (Board::num_win_types > 1 || verbose >= 2) {
				logerr("Win Types:   ");
				if (draws > 0)
					logerr("Draws: " + to_str(draws*100.0/gamelen.num, 0) + "%; ");
				for (int a = 0; a < 2; a++) {
					logerr((a == 0 ? Side::P1 : Side::P2).to_s_short() + ": ");
					for (int b = 0; b < Board::num_win_types; b++) {
						if (b != 0) logerr(", ");
						logerr(Board::win_names[b]);
						logerr(" " + to_str(win_types[a][b].num*100.0/gamelen.num, 0) + "%");
					}
					logerr((a == 0 ? "; " : "\n"));
				}

				if(verbose >= 2){
					for (int a = 0; a < 2; a++) {
						for (int b = 0; b < Board::num_win_types; b++) {
							logerr("  " + (a == 0 ? Side::P1 : Side::P2).to_s_short() + " ");
							logerr(Board::win_names[b]);
							logerr(": " + win_types[a][b].to_s() + "\n");
						}
					}
				}
			}
		}

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

		std::string pvstr;
		for(const 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()));
	}

	pool.reset();
	runs = 0;


	if(ponder && root.outcome < Outcome::DRAW)
		pool.resume();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x458, %rsp            # imm = 0x458
leaq 0x1c207(%rip), %rcx     # 0x26eb1
movb 0x19(%rdi), %al
movl %edx, 0x4c(%rsp)
cmpb (%rcx), %al
jge 0xb8ce
vxorpd %xmm1, %xmm1, %xmm1
movq %rsi, %rbx
vucomisd %xmm0, %xmm1
setae %al
testq %rsi, %rsi
sete %cl
testb %cl, %al
jne 0xb8ce
movq %rdi, %rbp
movb 0x18(%rbp), %r15b
leaq 0x108(%rsp), %rdi
vmovsd %xmm0, 0x58(%rsp)
callq 0x5ca0
leaq 0x54f0(%rbp), %rdi
movq %rdi, 0x50(%rsp)
callq 0xd3e6
movq 0x4120(%rbp), %rsi
testq %rsi, %rsi
je 0xad81
leaq 0xa8(%rsp), %r14
movq %r14, %rdi
callq 0xd463
leaq 0x18621(%rip), %rsi     # 0x23344
leaq 0x170(%rsp), %rdi
movq %r14, %rdx
callq 0xcf8b
leaq 0x18614(%rip), %rdx     # 0x2334e
leaq 0x358(%rsp), %rdi
leaq 0x170(%rsp), %rsi
callq 0x8051
leaq 0x358(%rsp), %r14
movq %r14, %rdi
callq 0xd451
movq %r14, %rdi
callq 0x5150
leaq 0x170(%rsp), %rdi
callq 0x5150
leaq 0xa8(%rsp), %rdi
callq 0x5150
andq $0x0, 0x4120(%rbp)
movq 0x50(%rsp), %r14
movq %rbx, 0x4128(%rbp)
movq %rbp, %rbx
movq %r14, %rdi
callq 0xd4be
movq %r14, %rdi
callq 0xd534
vmovsd 0x58(%rsp), %xmm0
movq %r14, %rdi
callq 0xd572
leaq 0x170(%rsp), %rdi
callq 0x5ca0
cmpl $0x0, 0x4c(%rsp)
je 0xb89b
vmovsd 0x170(%rsp), %xmm0
andl $0x0, 0xb0(%rsp)
andl $0x0, 0x1c0(%rsp)
movl $0x3b9aca00, %eax       # imm = 0x3B9ACA00
movb %r15b, 0x7(%rsp)
vsubsd 0x108(%rsp), %xmm0, %xmm0
movq %rax, 0xa8(%rsp)
movq %rax, 0x1b8(%rsp)
xorl %eax, %eax
vmovsd %xmm0, 0xa0(%rsp)
vxorpd %xmm0, %xmm0, %xmm0
vmovupd %xmm0, 0xb8(%rsp)
vmovupd %xmm0, 0x1c8(%rsp)
andl $0x0, 0x178(%rsp,%rax)
movq $0x3b9aca00, 0x170(%rsp,%rax) # imm = 0x3B9ACA00
vmovapd %xmm0, 0x180(%rsp,%rax)
addq $0x20, %rax
cmpq $0x40, %rax
jne 0xae2b
vxorpd %xmm0, %xmm0, %xmm0
xorl %r12d, %r12d
vmovupd %ymm0, 0x110(%rsp)
movq 0x54f8(%rbx), %r13
movq 0x5500(%rbx), %rax
movq %rax, 0x58(%rsp)
cmpq 0x58(%rsp), %r13
je 0xaf36
movq (%r13), %rsi
movl $0x12148, %eax          # imm = 0x12148
leaq 0xa8(%rsp), %rdi
addq %rax, %rsi
vzeroupper
callq 0xd63e
movq (%r13), %rsi
movl $0x12128, %eax          # imm = 0x12128
leaq 0x1b8(%rsp), %rdi
addq %rax, %rsi
callq 0xd63e
xorl %r14d, %r14d
cmpq $0x2, %r14
je 0xaf01
movq %r14, %rbx
shlq $0x5, %rbx
movb $0x1, %al
leaq 0x170(%rsp,%rbx), %r15
testb $0x1, %al
je 0xaef9
movq (%r13), %rax
movq %r15, %rdi
leaq 0x12168(%rax,%rbx), %rsi
callq 0xd63e
movq (%r13), %rax
movl 0x12170(%rax,%rbx), %eax
addq %rax, %r12
xorl %eax, %eax
jmp 0xaecf
incq %r14
movq %rbp, %rbx
jmp 0xaeb8
movq (%r13), %rax
xorl %ecx, %ecx
cmpq $0x4, %rcx
je 0xaf2d
vmovsd 0x121a8(%rax,%rcx,8), %xmm0
vaddsd 0x110(%rsp,%rcx,8), %xmm0, %xmm0
vmovsd %xmm0, 0x110(%rsp,%rcx,8)
incq %rcx
jmp 0xaf07
addq $0x8, %r13
jmp 0xae75
movq 0x4120(%rbx), %rsi
movl 0xb0(%rsp), %r14d
leaq 0x150(%rsp), %rbx
movq %rbx, %rdi
vzeroupper
callq 0xd463
leaq 0x183f6(%rip), %rsi     # 0x23355
leaq 0xe8(%rsp), %rdi
movq %rbx, %rdx
callq 0xcf8b
leaq 0x183ed(%rip), %rdx     # 0x23363
leaq 0x80(%rsp), %rdi
leaq 0xe8(%rsp), %rsi
callq 0x8051
vmovsd 0xa0(%rsp), %xmm0
vmulsd 0x18234(%rip), %xmm0, %xmm0 # 0x231d0
leaq 0xc8(%rsp), %rdi
xorl %esi, %esi
callq 0x20e6c
leaq 0x60(%rsp), %rdi
leaq 0x80(%rsp), %rsi
leaq 0xc8(%rsp), %rdx
movq %rbp, %rbx
callq 0xcf24
leaq 0x1839e(%rip), %rdx     # 0x2336d
leaq 0x8(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x8051
vcvtusi2sdq 0x4120(%rbx), %xmm2, %xmm0
vdivsd 0xa0(%rsp), %xmm0, %xmm0
leaq 0x130(%rsp), %rdi
xorl %esi, %esi
callq 0x20e6c
leaq 0x28(%rsp), %rdi
leaq 0x8(%rsp), %rsi
leaq 0x130(%rsp), %rdx
callq 0xcf24
leaq 0x18357(%rip), %rdx     # 0x23375
leaq 0x338(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x8051
leaq 0x338(%rsp), %rbx
movq %rbx, %rdi
callq 0xd451
movq %rbx, %rdi
callq 0x5150
leaq 0x28(%rsp), %rdi
callq 0x5150
leaq 0x130(%rsp), %rdi
callq 0x5150
leaq 0x8(%rsp), %rdi
callq 0x5150
leaq 0x60(%rsp), %rdi
callq 0x5150
leaq 0xc8(%rsp), %rdi
callq 0x5150
leaq 0x80(%rsp), %rdi
callq 0x5150
leaq 0xe8(%rsp), %rdi
callq 0x5150
leaq 0x150(%rsp), %rdi
callq 0x5150
cmpl $0x0, 0xb0(%rsp)
je 0xb6a4
leaq 0x8(%rsp), %rbx
leaq 0xa8(%rsp), %rsi
movq %rbx, %rdi
callq 0xd66a
leaq 0x182ae(%rip), %rsi     # 0x2337f
leaq 0x28(%rsp), %rdi
movq %rbx, %rdx
callq 0xcf8b
leaq 0x177f7(%rip), %rdx     # 0x228dc
leaq 0x318(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x8051
leaq 0x318(%rsp), %rbx
movq %rbx, %rdi
callq 0xd451
movq %rbx, %rdi
callq 0x5150
leaq 0x28(%rsp), %rdi
callq 0x5150
leaq 0x8(%rsp), %rdi
callq 0x5150
leaq 0x8(%rsp), %rbx
leaq 0x1b8(%rsp), %rsi
movq %rbx, %rdi
callq 0xd66a
leaq 0x1824e(%rip), %rsi     # 0x2338d
leaq 0x28(%rsp), %rdi
movq %rbx, %rdx
callq 0xcf8b
leaq 0x17789(%rip), %rdx     # 0x228dc
leaq 0x2f8(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x8051
leaq 0x2f8(%rsp), %rbx
movq %rbx, %rdi
callq 0xd451
movq %rbx, %rdi
callq 0x5150
leaq 0x28(%rsp), %rdi
callq 0x5150
leaq 0x8(%rsp), %rdi
callq 0x5150
cmpb $0x1, 0x68(%rbp)
jne 0xb36c
vmovsd 0x110(%rsp), %xmm0
leaq 0x130(%rsp), %rbx
pushq $0x3
popq %rsi
movq %rbx, %rdi
callq 0x20e6c
leaq 0x181dd(%rip), %rsi     # 0x2339b
leaq 0xc8(%rsp), %rdi
movq %rbx, %rdx
callq 0xcf8b
leaq 0x18f39(%rip), %rdx     # 0x2410e
leaq 0x150(%rsp), %rdi
leaq 0xc8(%rsp), %rsi
callq 0x8051
vmovsd 0x118(%rsp), %xmm0
leaq 0x218(%rsp), %rdi
pushq $0x3
popq %rsi
callq 0x20e6c
leaq 0xe8(%rsp), %rdi
leaq 0x150(%rsp), %rsi
leaq 0x218(%rsp), %rdx
callq 0xcf24
leaq 0x18ee7(%rip), %rdx     # 0x2410e
leaq 0x80(%rsp), %rdi
leaq 0xe8(%rsp), %rsi
callq 0x8051
vmovsd 0x120(%rsp), %xmm0
leaq 0x1f8(%rsp), %rdi
pushq $0x3
popq %rsi
callq 0x20e6c
leaq 0x60(%rsp), %rdi
leaq 0x80(%rsp), %rsi
leaq 0x1f8(%rsp), %rdx
callq 0xcf24
leaq 0x18e98(%rip), %rdx     # 0x2410e
leaq 0x8(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x8051
vmovsd 0x128(%rsp), %xmm0
leaq 0x1d8(%rsp), %rdi
pushq $0x3
popq %rsi
callq 0x20e6c
leaq 0x28(%rsp), %rdi
leaq 0x8(%rsp), %rsi
leaq 0x1d8(%rsp), %rdx
callq 0xcf24
leaq 0x17620(%rip), %rdx     # 0x228dc
leaq 0x2d8(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x8051
leaq 0x2d8(%rsp), %rbx
movq %rbx, %rdi
callq 0xd451
movq %rbx, %rdi
callq 0x5150
leaq 0x28(%rsp), %rdi
callq 0x5150
leaq 0x1d8(%rsp), %rdi
callq 0x5150
leaq 0x8(%rsp), %rdi
callq 0x5150
leaq 0x60(%rsp), %rdi
callq 0x5150
leaq 0x1f8(%rsp), %rdi
callq 0x5150
leaq 0x80(%rsp), %rdi
callq 0x5150
leaq 0xe8(%rsp), %rdi
callq 0x5150
leaq 0x218(%rsp), %rdi
callq 0x5150
leaq 0x150(%rsp), %rdi
callq 0x5150
leaq 0xc8(%rsp), %rdi
callq 0x5150
leaq 0x130(%rsp), %rdi
callq 0x5150
cmpl $0x2, 0x4c(%rsp)
jl 0xb6a4
leaq 0x1802b(%rip), %rsi     # 0x233a9
leaq 0x2b8(%rsp), %rdi
leaq 0x28(%rsp), %rdx
callq 0x5110
leaq 0x2b8(%rsp), %rbx
movq %rbx, %rdi
callq 0xd451
movq %rbx, %rdi
callq 0x5150
cmpq %r12, %r14
je 0xb436
subq %r12, %r14
leaq 0x8(%rsp), %rbx
xorl %esi, %esi
vcvtusi2sd %r14, %xmm1, %xmm0
vmulsd 0x17e0f(%rip), %xmm0, %xmm0 # 0x231d8
movq %rbx, %rdi
vcvtusi2sdl 0xb0(%rsp), %xmm1, %xmm1
vdivsd %xmm1, %xmm0, %xmm0
callq 0x20e6c
leaq 0x17fd3(%rip), %rsi     # 0x233b7
leaq 0x28(%rsp), %rdi
movq %rbx, %rdx
callq 0xcf8b
leaq 0x17fc7(%rip), %rdx     # 0x233bf
leaq 0x298(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x8051
leaq 0x298(%rsp), %rbx
movq %rbx, %rdi
callq 0xd451
movq %rbx, %rdi
callq 0x5150
leaq 0x28(%rsp), %rdi
callq 0x5150
leaq 0x8(%rsp), %rdi
callq 0x5150
leaq 0x28(%rsp), %r12
leaq 0x418(%rsp), %r15
xorl %eax, %eax
cmpq $0x40, %rax
je 0xb585
leaq 0x1ba55(%rip), %rsi     # 0x26eab
movq %r15, %r13
movq %rax, %rbx
testq %rax, %rax
jne 0xb468
leaq 0x1ba42(%rip), %rsi     # 0x26eaa
movq %r12, %rdi
callq 0x20d64
leaq 0x438(%rsp), %r15
leaq 0x17ef3(%rip), %rdx     # 0x23372
movq %r12, %rsi
movq %r15, %rdi
callq 0x8051
movq %r15, %rdi
callq 0xd451
movq %r15, %rdi
callq 0x5150
movq %r12, %rdi
callq 0x5150
leaq 0x30f07(%rip), %rax     # 0x3c3b0
movq (%rax), %rsi
movq %r13, %r15
movq %r13, %rdi
movq %r12, %rdx
callq 0x5110
movq %r15, %rdi
callq 0xd451
movq %r15, %rdi
callq 0x5150
vcvtusi2sdl 0x178(%rsp,%rbx), %xmm2, %xmm0
leaq 0x8(%rsp), %r13
xorl %esi, %esi
movq %r13, %rdi
vmulsd 0x17cf4(%rip), %xmm0, %xmm0 # 0x231d8
vcvtusi2sdl 0xb0(%rsp), %xmm2, %xmm1
vdivsd %xmm1, %xmm0, %xmm0
callq 0x20e6c
leaq 0x1b447(%rip), %rsi     # 0x26943
movq %r12, %rdi
movq %r13, %rdx
callq 0xcf8b
leaq 0x3f8(%rsp), %r14
leaq 0x17ead(%rip), %rdx     # 0x233c3
movq %r12, %rsi
movq %r14, %rdi
callq 0x8051
movq %r14, %rdi
callq 0xd451
movq %r14, %rdi
callq 0x5150
movq %r12, %rdi
callq 0x5150
movq %r13, %rdi
callq 0x5150
leaq 0x17e78(%rip), %rax     # 0x233c0
testq %rbx, %rbx
leaq 0x1738a(%rip), %rsi     # 0x228dc
cmoveq %rax, %rsi
leaq 0x3d8(%rsp), %r14
movq %r12, %rdx
movq %r14, %rdi
callq 0x5110
movq %r14, %rdi
callq 0xd451
movq %r14, %rdi
callq 0x5150
addq $0x20, %rbx
movq %rbx, %rax
jmp 0xb445
leaq 0x28(%rsp), %r12
leaq 0x3b8(%rsp), %r14
xorl %eax, %eax
cmpq $0x40, %rax
je 0xb6a4
leaq 0x1b906(%rip), %rsi     # 0x26eab
movq %rax, %rbx
testq %rax, %rax
jne 0xb5b4
leaq 0x1b8f6(%rip), %rsi     # 0x26eaa
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x20d64
leaq 0x17e14(%rip), %rsi     # 0x233dc
movq %r12, %rdi
movq %r15, %rdx
callq 0xcf8b
leaq 0x1b369(%rip), %rdx     # 0x26943
movq %r14, %r13
movq %r14, %rdi
movq %r12, %rsi
callq 0x8051
movq %r13, %rdi
callq 0xd451
movq %r13, %rdi
callq 0x5150
movq %r12, %rdi
callq 0x5150
leaq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x5150
leaq 0x30d9c(%rip), %rax     # 0x3c3b0
movq (%rax), %rsi
leaq 0x398(%rsp), %r13
movq %r12, %rdx
movq %r13, %rdi
callq 0x5110
movq %r13, %rdi
callq 0xd451
movq %r13, %rdi
callq 0x5150
leaq 0x170(%rsp,%rbx), %rsi
movq %r15, %rdi
callq 0xd66a
leaq 0x17d21(%rip), %rsi     # 0x23372
movq %r12, %rdi
movq %r15, %rdx
callq 0xcf8b
leaq 0x378(%rsp), %r15
leaq 0x17271(%rip), %rdx     # 0x228dc
movq %r12, %rsi
movq %r15, %rdi
callq 0x8051
movq %r15, %rdi
callq 0xd451
movq %r15, %rdi
callq 0x5150
movq %r12, %rdi
callq 0x5150
leaq 0x8(%rsp), %rdi
callq 0x5150
movq %rbx, %rax
addq $0x20, %rax
jmp 0xb594
leaq 0x1b803(%rip), %rcx     # 0x26eae
movb 0x4102(%rbp), %al
movq %rbp, %rsi
cmpb (%rcx), %al
je 0xb72d
movzbl 0x7(%rsp), %edx
leaq 0x8(%rsp), %rbx
addq $0x4102, %rsi           # imm = 0x4102
movq %rbx, %rdi
callq 0x20dc4
leaq 0x17ced(%rip), %rsi     # 0x233c5
leaq 0x28(%rsp), %rdi
movq %rbx, %rdx
callq 0xcf8b
leaq 0x171f0(%rip), %rdx     # 0x228dc
leaq 0x278(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x8051
leaq 0x278(%rsp), %rbx
movq %rbx, %rdi
callq 0xd451
movq %rbx, %rdi
callq 0x5150
leaq 0x28(%rsp), %rdi
callq 0x5150
leaq 0x8(%rsp), %rdi
callq 0x5150
movq %rbp, %rsi
leaq 0x38(%rsp), %rax
movq %rax, -0x10(%rax)
andq $0x0, -0x8(%rax)
movb $0x0, (%rax)
leaq 0x80(%rsp), %rdi
callq 0xd936
movq 0x80(%rsp), %rbx
movq 0x88(%rsp), %r15
leaq 0x60(%rsp), %r14
leaq 0x8(%rsp), %r12
leaq 0x28(%rsp), %r13
cmpq %r15, %rbx
je 0xb7ad
movq %r14, %rdi
movq %rbx, %rsi
callq 0xcfb0
leaq 0x1b1c2(%rip), %rsi     # 0x26943
movq %r12, %rdi
movq %r14, %rdx
callq 0xcf8b
movq %r13, %rdi
movq %r12, %rsi
callq 0x5700
movq %r12, %rdi
callq 0x5150
movq %r14, %rdi
callq 0x5150
addq $0x2, %rbx
jmp 0xb76a
leaq 0x80(%rsp), %rdi
callq 0x9a04
leaq 0x17c11(%rip), %rsi     # 0x233d2
leaq 0x8(%rsp), %rdi
leaq 0x28(%rsp), %rdx
callq 0x8070
leaq 0x17105(%rip), %rdx     # 0x228dc
leaq 0x258(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x8051
leaq 0x258(%rsp), %rbx
movq %rbx, %rdi
callq 0xd451
movq %rbx, %rdi
callq 0x5150
leaq 0x8(%rsp), %rdi
callq 0x5150
cmpl $0x3, 0x4c(%rsp)
movq %rbp, %rbx
jl 0xb891
movq 0x4108(%rbx), %rax
cmpq $0x2, %rax
jb 0xb891
cmpw $0x0, 0x6(%rax)
je 0xb891
leaq 0x60(%rsp), %rdx
vxorpd %xmm0, %xmm0, %xmm0
vmovapd %xmm0, (%rdx)
andq $0x0, 0x10(%rdx)
movq (%rbx), %rax
leaq 0x8(%rsp), %rdi
movq %rbx, %rsi
callq *0x48(%rax)
leaq 0x17b8f(%rip), %rsi     # 0x233df
leaq 0x238(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0xcf8b
leaq 0x238(%rsp), %rbx
movq %rbx, %rdi
callq 0xd451
movq %rbx, %rdi
callq 0x5150
leaq 0x8(%rsp), %rdi
callq 0x5150
leaq 0x60(%rsp), %rdi
callq 0x9a04
movq %rbp, %rbx
leaq 0x28(%rsp), %rdi
callq 0x5150
movq 0x50(%rsp), %rdi
callq 0xd4be
andq $0x0, 0x4120(%rbx)
cmpb $0x1, 0x58(%rbx)
jne 0xb8ce
leaq 0x1b5f7(%rip), %rcx     # 0x26eb1
movb 0x4102(%rbx), %al
cmpb (%rcx), %al
jge 0xb8ce
movq 0x50(%rsp), %rdi
callq 0xd534
addq $0x458, %rsp            # imm = 0x458
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x8(%rsp), %rdi
movq %rax, %rbx
callq 0x5150
jmp 0xb8f2
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
jmp 0xbafc
jmp 0xbab5
jmp 0xbab0
jmp 0xbac9
leaq 0x28(%rsp), %rdi
movq %rax, %rbx
callq 0x5150
jmp 0xb91d
movq %rax, %rbx
leaq 0x1d8(%rsp), %rdi
callq 0x5150
jmp 0xb92f
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x5150
jmp 0xb93e
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0x5150
jmp 0xb94d
movq %rax, %rbx
leaq 0x1f8(%rsp), %rdi
callq 0x5150
leaq 0x80(%rsp), %rdi
callq 0x5150
leaq 0xe8(%rsp), %rdi
callq 0x5150
leaq 0x218(%rsp), %rdi
callq 0x5150
leaq 0x150(%rsp), %rdi
callq 0x5150
leaq 0xc8(%rsp), %rdi
callq 0x5150
leaq 0x130(%rsp), %rdi
jmp 0xbb06
movq %rax, %rbx
jmp 0xb95a
movq %rax, %rbx
jmp 0xb967
movq %rax, %rbx
jmp 0xb974
movq %rax, %rbx
jmp 0xb981
movq %rax, %rbx
jmp 0xb98e
movq %rax, %rbx
jmp 0xb99b
jmp 0xbab5
jmp 0xbab0
jmp 0xbab5
jmp 0xbab0
jmp 0xbab5
jmp 0xbab0
leaq 0x8(%rsp), %rdi
movq %rax, %rbx
callq 0x5150
jmp 0xbb01
jmp 0xbace
jmp 0xbace
leaq 0x28(%rsp), %rdi
movq %rax, %rbx
callq 0x5150
jmp 0xba12
movq %rax, %rbx
leaq 0x130(%rsp), %rdi
callq 0x5150
jmp 0xba24
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x5150
jmp 0xba33
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0x5150
jmp 0xba42
movq %rax, %rbx
leaq 0xc8(%rsp), %rdi
callq 0x5150
leaq 0x80(%rsp), %rdi
callq 0x5150
leaq 0xe8(%rsp), %rdi
callq 0x5150
leaq 0x150(%rsp), %rdi
jmp 0xbb06
movq %rax, %rbx
jmp 0xba4f
movq %rax, %rbx
jmp 0xba5c
movq %rax, %rbx
jmp 0xba69
leaq 0x170(%rsp), %rdi
movq %rax, %rbx
callq 0x5150
jmp 0xba9a
movq %rax, %rbx
leaq 0xa8(%rsp), %rdi
jmp 0xbb06
jmp 0xbab5
jmp 0xbac9
jmp 0xbab0
jmp 0xbab5
jmp 0xbab0
jmp 0xbac9
movq %rax, %rbx
jmp 0xbac2
leaq 0x28(%rsp), %rdi
movq %rax, %rbx
callq 0x5150
leaq 0x8(%rsp), %rdi
jmp 0xbb06
movq %rax, %rbx
jmp 0xbb0b
movq %rax, %rbx
jmp 0xbb01
movq %rax, %rbx
jmp 0xbaf4
movq %rax, %rbx
jmp 0xbaea
leaq 0x8(%rsp), %rdi
movq %rax, %rbx
callq 0x5150
leaq 0x60(%rsp), %rdi
callq 0x5150
leaq 0x80(%rsp), %rdi
callq 0x9a04
leaq 0x28(%rsp), %rdi
callq 0x5150
movq %rbx, %rdi
callq 0x5650
nop