// File: bonetblai[P]mdp-engine/ctp3/../engine/uct.h
// Function: Online::Policy::UCT::uct_t<state_t>::name[abi:cxx11]() const
virtual std::string name() const {
        return std::string("uct(policy=") + (base_policy_ == 0 ? std::string("null") : base_policy_->name()) +
          std::string(",width=") + std::to_string(width_) +
          std::string(",horizon=") + std::to_string(horizon_) +
          std::string(",parameter=") + std::to_string(parameter_) +
          std::string(",random-ties=") + (random_ties_ ? "true" : "false") + ")";
    }

// Assembly:
subq $0x2d8, %rsp            # imm = 0x2D8
movq %rdi, 0x28(%rsp)
movq %rdi, %rax
movq %rax, 0x30(%rsp)
movq %rdi, 0x2d0(%rsp)
movq %rsi, 0x2c8(%rsp)
movq 0x2c8(%rsp), %rax
movq %rax, 0x38(%rsp)
leaq 0x187(%rsp), %rdi
movq %rdi, 0x40(%rsp)
callq 0x6530
movq 0x40(%rsp), %rdx
leaq 0x2136f(%rip), %rsi     # 0x5e4de
leaq 0x188(%rsp), %rdi
callq 0x6460
jmp 0x3d17e
movq 0x38(%rsp), %rax
movq 0x28(%rax), %rax
movb $0x0, 0x14e(%rsp)
cmpq $0x0, %rax
jne 0x3d1cc
leaq 0x14f(%rsp), %rdi
movq %rdi, 0x20(%rsp)
callq 0x6530
movq 0x20(%rsp), %rdx
movb $0x1, 0x14e(%rsp)
leaq 0x207c6(%rip), %rsi     # 0x5d981
leaq 0x150(%rsp), %rdi
callq 0x6460
jmp 0x3d1ca
jmp 0x3d1ea
movq 0x38(%rsp), %rax
movq 0x28(%rax), %rsi
movq (%rsi), %rax
movq 0x18(%rax), %rax
leaq 0x150(%rsp), %rdi
callq *%rax
jmp 0x3d1e8
jmp 0x3d1ea
leaq 0x1a8(%rsp), %rdi
leaq 0x188(%rsp), %rsi
leaq 0x150(%rsp), %rdx
callq 0x201f0
jmp 0x3d209
leaq 0x127(%rsp), %rdi
movq %rdi, 0x18(%rsp)
callq 0x6530
movq 0x18(%rsp), %rdx
leaq 0x20fa4(%rip), %rsi     # 0x5e1cb
leaq 0x128(%rsp), %rdi
callq 0x6460
jmp 0x3d236
leaq 0x1c8(%rsp), %rdi
leaq 0x1a8(%rsp), %rsi
leaq 0x128(%rsp), %rdx
callq 0x201f0
jmp 0x3d255
movq 0x38(%rsp), %rax
movl 0x30(%rax), %esi
leaq 0x100(%rsp), %rdi
callq 0x20330
jmp 0x3d26c
leaq 0x1e8(%rsp), %rdi
leaq 0x1c8(%rsp), %rsi
leaq 0x100(%rsp), %rdx
callq 0x201f0
jmp 0x3d28b
leaq 0xdf(%rsp), %rdi
movq %rdi, 0x10(%rsp)
callq 0x6530
movq 0x10(%rsp), %rdx
leaq 0x21241(%rip), %rsi     # 0x5e4ea
leaq 0xe0(%rsp), %rdi
callq 0x6460
jmp 0x3d2b8
leaq 0x208(%rsp), %rdi
leaq 0x1e8(%rsp), %rsi
leaq 0xe0(%rsp), %rdx
callq 0x201f0
jmp 0x3d2d7
movq 0x38(%rsp), %rax
movl 0x34(%rax), %esi
leaq 0xb8(%rsp), %rdi
callq 0x20330
jmp 0x3d2ee
leaq 0x228(%rsp), %rdi
leaq 0x208(%rsp), %rsi
leaq 0xb8(%rsp), %rdx
callq 0x201f0
jmp 0x3d30d
leaq 0x97(%rsp), %rdi
movq %rdi, 0x8(%rsp)
callq 0x6530
movq 0x8(%rsp), %rdx
leaq 0x211c9(%rip), %rsi     # 0x5e4f4
leaq 0x98(%rsp), %rdi
callq 0x6460
jmp 0x3d33a
leaq 0x248(%rsp), %rdi
leaq 0x228(%rsp), %rsi
leaq 0x98(%rsp), %rdx
callq 0x201f0
jmp 0x3d359
movq 0x38(%rsp), %rax
movss 0x38(%rax), %xmm0
leaq 0x70(%rsp), %rdi
callq 0x202e0
jmp 0x3d36f
leaq 0x268(%rsp), %rdi
leaq 0x248(%rsp), %rsi
leaq 0x70(%rsp), %rdx
callq 0x201f0
jmp 0x3d38b
leaq 0x4f(%rsp), %rdi
movq %rdi, (%rsp)
callq 0x6530
movq (%rsp), %rdx
leaq 0x20db3(%rip), %rsi     # 0x5e157
leaq 0x50(%rsp), %rdi
callq 0x6460
jmp 0x3d3b0
leaq 0x288(%rsp), %rdi
leaq 0x268(%rsp), %rsi
leaq 0x50(%rsp), %rdx
callq 0x201f0
jmp 0x3d3cc
movq 0x38(%rsp), %rax
movb 0x3c(%rax), %cl
leaq 0x20d71(%rip), %rax     # 0x5e14c
leaq 0x20d6f(%rip), %rdx     # 0x5e151
testb $0x1, %cl
cmovneq %rax, %rdx
leaq 0x2a8(%rsp), %rdi
leaq 0x288(%rsp), %rsi
callq 0x201a0
jmp 0x3d400
movq 0x28(%rsp), %rdi
leaq 0x1ffe1(%rip), %rdx     # 0x5d3ed
leaq 0x2a8(%rsp), %rsi
callq 0x201a0
jmp 0x3d41b
leaq 0x2a8(%rsp), %rdi
callq 0x61f0
leaq 0x288(%rsp), %rdi
callq 0x61f0
leaq 0x50(%rsp), %rdi
callq 0x61f0
leaq 0x4f(%rsp), %rdi
callq 0x6390
leaq 0x268(%rsp), %rdi
callq 0x61f0
leaq 0x70(%rsp), %rdi
callq 0x61f0
leaq 0x248(%rsp), %rdi
callq 0x61f0
leaq 0x98(%rsp), %rdi
callq 0x61f0
leaq 0x97(%rsp), %rdi
callq 0x6390
leaq 0x228(%rsp), %rdi
callq 0x61f0
leaq 0xb8(%rsp), %rdi
callq 0x61f0
leaq 0x208(%rsp), %rdi
callq 0x61f0
leaq 0xe0(%rsp), %rdi
callq 0x61f0
leaq 0xdf(%rsp), %rdi
callq 0x6390
leaq 0x1e8(%rsp), %rdi
callq 0x61f0
leaq 0x100(%rsp), %rdi
callq 0x61f0
leaq 0x1c8(%rsp), %rdi
callq 0x61f0
leaq 0x128(%rsp), %rdi
callq 0x61f0
leaq 0x127(%rsp), %rdi
callq 0x6390
leaq 0x1a8(%rsp), %rdi
callq 0x61f0
leaq 0x150(%rsp), %rdi
callq 0x61f0
testb $0x1, 0x14e(%rsp)
jne 0x3d52f
jmp 0x3d53c
leaq 0x14f(%rsp), %rdi
callq 0x6390
leaq 0x188(%rsp), %rdi
callq 0x61f0
leaq 0x187(%rsp), %rdi
callq 0x6390
movq 0x30(%rsp), %rax
addq $0x2d8, %rsp            # imm = 0x2D8
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d85e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d838
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d82b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d811
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d804
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d7f7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d7ea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d7d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d7c3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d7b6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d7a9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d78f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d782
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d775
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d76b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d754
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d74a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
jmp 0x3d73d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x178(%rsp)
movl %eax, 0x174(%rsp)
leaq 0x2a8(%rsp), %rdi
callq 0x61f0
leaq 0x288(%rsp), %rdi
callq 0x61f0
leaq 0x50(%rsp), %rdi
callq 0x61f0
leaq 0x4f(%rsp), %rdi
callq 0x6390
leaq 0x268(%rsp), %rdi
callq 0x61f0
leaq 0x70(%rsp), %rdi
callq 0x61f0
leaq 0x248(%rsp), %rdi
callq 0x61f0
leaq 0x98(%rsp), %rdi
callq 0x61f0
leaq 0x97(%rsp), %rdi
callq 0x6390
leaq 0x228(%rsp), %rdi
callq 0x61f0
leaq 0xb8(%rsp), %rdi
callq 0x61f0
leaq 0x208(%rsp), %rdi
callq 0x61f0
leaq 0xe0(%rsp), %rdi
callq 0x61f0
leaq 0xdf(%rsp), %rdi
callq 0x6390
leaq 0x1e8(%rsp), %rdi
callq 0x61f0
leaq 0x100(%rsp), %rdi
callq 0x61f0
leaq 0x1c8(%rsp), %rdi
callq 0x61f0
leaq 0x128(%rsp), %rdi
callq 0x61f0
leaq 0x127(%rsp), %rdi
callq 0x6390
leaq 0x1a8(%rsp), %rdi
callq 0x61f0
leaq 0x150(%rsp), %rdi
callq 0x61f0
testb $0x1, 0x14e(%rsp)
jne 0x3d844
jmp 0x3d851
leaq 0x14f(%rsp), %rdi
callq 0x6390
leaq 0x188(%rsp), %rdi
callq 0x61f0
leaq 0x187(%rsp), %rdi
callq 0x6390
movq 0x178(%rsp), %rdi
callq 0x6520
nopl (%rax,%rax)