// File: bonetblai[P]mdp-engine/ctp3/../engine/aot.h
// Function: Online::Policy::AOT::aot_t<state_t>::name[abi:cxx11]() const
virtual std::string name() const {
        return std::string("aot(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(",probability=") + std::to_string(probability_) +
          std::string(",random-ties=") + (random_ties_ ? "true" : "false") +
          std::string(",delayed-eval=") + (delayed_evaluation_ ? "true" : "false") +
          std::string(",expansions-per-iter=") + std::to_string(expansions_per_iteration_) +
          std::string(",leaf-nsamples=") + std::to_string(leaf_nsamples_) +
          std::string(",delayed-eval-nsamples=") + std::to_string(delayed_evaluation_nsamples_) +
          std::string(",leaf-selection=") + std::to_string(leaf_selection_strategy_) + ")";
    }

// Assembly:
subq $0x588, %rsp            # imm = 0x588
movq %rdi, 0x50(%rsp)
movq %rdi, %rax
movq %rax, 0x58(%rsp)
movq %rdi, 0x580(%rsp)
movq %rsi, 0x578(%rsp)
movq 0x578(%rsp), %rax
movq %rax, 0x60(%rsp)
leaq 0x2f7(%rsp), %rdi
movq %rdi, 0x68(%rsp)
callq 0x6530
movq 0x68(%rsp), %rdx
leaq 0x1d181(%rip), %rsi     # 0x5f970
leaq 0x2f8(%rsp), %rdi
callq 0x6460
jmp 0x427fe
movq 0x60(%rsp), %rax
movq 0x28(%rax), %rax
movb $0x0, 0x2be(%rsp)
cmpq $0x0, %rax
jne 0x4284c
leaq 0x2bf(%rsp), %rdi
movq %rdi, 0x48(%rsp)
callq 0x6530
movq 0x48(%rsp), %rdx
movb $0x1, 0x2be(%rsp)
leaq 0x1b146(%rip), %rsi     # 0x5d981
leaq 0x2c0(%rsp), %rdi
callq 0x6460
jmp 0x4284a
jmp 0x4286a
movq 0x60(%rsp), %rax
movq 0x28(%rax), %rsi
movq (%rsi), %rax
movq 0x18(%rax), %rax
leaq 0x2c0(%rsp), %rdi
callq *%rax
jmp 0x42868
jmp 0x4286a
leaq 0x318(%rsp), %rdi
leaq 0x2f8(%rsp), %rsi
leaq 0x2c0(%rsp), %rdx
callq 0x201f0
jmp 0x42889
leaq 0x297(%rsp), %rdi
movq %rdi, 0x40(%rsp)
callq 0x6530
movq 0x40(%rsp), %rdx
leaq 0x1b924(%rip), %rsi     # 0x5e1cb
leaq 0x298(%rsp), %rdi
callq 0x6460
jmp 0x428b6
leaq 0x338(%rsp), %rdi
leaq 0x318(%rsp), %rsi
leaq 0x298(%rsp), %rdx
callq 0x201f0
jmp 0x428d5
movq 0x60(%rsp), %rax
movl 0x30(%rax), %esi
leaq 0x270(%rsp), %rdi
callq 0x20330
jmp 0x428ec
leaq 0x358(%rsp), %rdi
leaq 0x338(%rsp), %rsi
leaq 0x270(%rsp), %rdx
callq 0x201f0
jmp 0x4290b
leaq 0x24f(%rsp), %rdi
movq %rdi, 0x38(%rsp)
callq 0x6530
movq 0x38(%rsp), %rdx
leaq 0x1bbc1(%rip), %rsi     # 0x5e4ea
leaq 0x250(%rsp), %rdi
callq 0x6460
jmp 0x42938
leaq 0x378(%rsp), %rdi
leaq 0x358(%rsp), %rsi
leaq 0x250(%rsp), %rdx
callq 0x201f0
jmp 0x42957
movq 0x60(%rsp), %rax
movl 0x34(%rax), %esi
leaq 0x228(%rsp), %rdi
callq 0x20330
jmp 0x4296e
leaq 0x398(%rsp), %rdi
leaq 0x378(%rsp), %rsi
leaq 0x228(%rsp), %rdx
callq 0x201f0
jmp 0x4298d
leaq 0x207(%rsp), %rdi
movq %rdi, 0x30(%rsp)
callq 0x6530
movq 0x30(%rsp), %rdx
leaq 0x1cfd1(%rip), %rsi     # 0x5f97c
leaq 0x208(%rsp), %rdi
callq 0x6460
jmp 0x429ba
leaq 0x3b8(%rsp), %rdi
leaq 0x398(%rsp), %rsi
leaq 0x208(%rsp), %rdx
callq 0x201f0
jmp 0x429d9
movq 0x60(%rsp), %rax
movss 0x38(%rax), %xmm0
leaq 0x1e0(%rsp), %rdi
callq 0x202e0
jmp 0x429f2
leaq 0x3d8(%rsp), %rdi
leaq 0x3b8(%rsp), %rsi
leaq 0x1e0(%rsp), %rdx
callq 0x201f0
jmp 0x42a11
leaq 0x1bf(%rsp), %rdi
movq %rdi, 0x28(%rsp)
callq 0x6530
movq 0x28(%rsp), %rdx
leaq 0x1b728(%rip), %rsi     # 0x5e157
leaq 0x1c0(%rsp), %rdi
callq 0x6460
jmp 0x42a3e
leaq 0x3f8(%rsp), %rdi
leaq 0x3d8(%rsp), %rsi
leaq 0x1c0(%rsp), %rdx
callq 0x201f0
jmp 0x42a5d
movq 0x60(%rsp), %rax
movb 0x3c(%rax), %cl
leaq 0x1b6e0(%rip), %rax     # 0x5e14c
leaq 0x1b6de(%rip), %rdx     # 0x5e151
testb $0x1, %cl
cmovneq %rax, %rdx
leaq 0x418(%rsp), %rdi
leaq 0x3f8(%rsp), %rsi
callq 0x201a0
jmp 0x42a91
leaq 0x197(%rsp), %rdi
movq %rdi, 0x20(%rsp)
callq 0x6530
movq 0x20(%rsp), %rdx
leaq 0x1cedb(%rip), %rsi     # 0x5f98a
leaq 0x198(%rsp), %rdi
callq 0x6460
jmp 0x42abe
leaq 0x438(%rsp), %rdi
leaq 0x418(%rsp), %rsi
leaq 0x198(%rsp), %rdx
callq 0x201f0
jmp 0x42add
movq 0x60(%rsp), %rax
movb 0x3d(%rax), %cl
leaq 0x1b660(%rip), %rax     # 0x5e14c
leaq 0x1b65e(%rip), %rdx     # 0x5e151
testb $0x1, %cl
cmovneq %rax, %rdx
leaq 0x458(%rsp), %rdi
leaq 0x438(%rsp), %rsi
callq 0x201a0
jmp 0x42b11
leaq 0x16f(%rsp), %rdi
movq %rdi, 0x18(%rsp)
callq 0x6530
movq 0x18(%rsp), %rdx
leaq 0x1ce6a(%rip), %rsi     # 0x5f999
leaq 0x170(%rsp), %rdi
callq 0x6460
jmp 0x42b3e
leaq 0x478(%rsp), %rdi
leaq 0x458(%rsp), %rsi
leaq 0x170(%rsp), %rdx
callq 0x201f0
jmp 0x42b5d
movq 0x60(%rsp), %rax
movl 0x40(%rax), %esi
leaq 0x148(%rsp), %rdi
callq 0x20330
jmp 0x42b74
leaq 0x498(%rsp), %rdi
leaq 0x478(%rsp), %rsi
leaq 0x148(%rsp), %rdx
callq 0x201f0
jmp 0x42b93
leaq 0x127(%rsp), %rdi
movq %rdi, 0x10(%rsp)
callq 0x6530
movq 0x10(%rsp), %rdx
leaq 0x1cdfe(%rip), %rsi     # 0x5f9af
leaq 0x128(%rsp), %rdi
callq 0x6460
jmp 0x42bc0
leaq 0x4b8(%rsp), %rdi
leaq 0x498(%rsp), %rsi
leaq 0x128(%rsp), %rdx
callq 0x201f0
jmp 0x42bdf
movq 0x60(%rsp), %rax
movl 0x44(%rax), %esi
leaq 0x100(%rsp), %rdi
callq 0x20330
jmp 0x42bf6
leaq 0x4d8(%rsp), %rdi
leaq 0x4b8(%rsp), %rsi
leaq 0x100(%rsp), %rdx
callq 0x201f0
jmp 0x42c15
leaq 0xdf(%rsp), %rdi
movq %rdi, 0x8(%rsp)
callq 0x6530
movq 0x8(%rsp), %rdx
leaq 0x1cd8c(%rip), %rsi     # 0x5f9bf
leaq 0xe0(%rsp), %rdi
callq 0x6460
jmp 0x42c42
leaq 0x4f8(%rsp), %rdi
leaq 0x4d8(%rsp), %rsi
leaq 0xe0(%rsp), %rdx
callq 0x201f0
jmp 0x42c61
movq 0x60(%rsp), %rax
movl 0x48(%rax), %esi
leaq 0xb8(%rsp), %rdi
callq 0x20330
jmp 0x42c78
leaq 0x518(%rsp), %rdi
leaq 0x4f8(%rsp), %rsi
leaq 0xb8(%rsp), %rdx
callq 0x201f0
jmp 0x42c97
leaq 0x97(%rsp), %rdi
movq %rdi, (%rsp)
callq 0x6530
movq (%rsp), %rdx
leaq 0x1cd24(%rip), %rsi     # 0x5f9d7
leaq 0x98(%rsp), %rdi
callq 0x6460
jmp 0x42cc2
leaq 0x538(%rsp), %rdi
leaq 0x518(%rsp), %rsi
leaq 0x98(%rsp), %rdx
callq 0x201f0
jmp 0x42ce1
movq 0x60(%rsp), %rax
movl 0x4c(%rax), %esi
leaq 0x70(%rsp), %rdi
callq 0x4c7d0
jmp 0x42cf5
leaq 0x558(%rsp), %rdi
leaq 0x538(%rsp), %rsi
leaq 0x70(%rsp), %rdx
callq 0x201f0
jmp 0x42d11
movq 0x50(%rsp), %rdi
leaq 0x1a6d0(%rip), %rdx     # 0x5d3ed
leaq 0x558(%rsp), %rsi
callq 0x201a0
jmp 0x42d2c
leaq 0x558(%rsp), %rdi
callq 0x61f0
leaq 0x70(%rsp), %rdi
callq 0x61f0
leaq 0x538(%rsp), %rdi
callq 0x61f0
leaq 0x98(%rsp), %rdi
callq 0x61f0
leaq 0x97(%rsp), %rdi
callq 0x6390
leaq 0x518(%rsp), %rdi
callq 0x61f0
leaq 0xb8(%rsp), %rdi
callq 0x61f0
leaq 0x4f8(%rsp), %rdi
callq 0x61f0
leaq 0xe0(%rsp), %rdi
callq 0x61f0
leaq 0xdf(%rsp), %rdi
callq 0x6390
leaq 0x4d8(%rsp), %rdi
callq 0x61f0
leaq 0x100(%rsp), %rdi
callq 0x61f0
leaq 0x4b8(%rsp), %rdi
callq 0x61f0
leaq 0x128(%rsp), %rdi
callq 0x61f0
leaq 0x127(%rsp), %rdi
callq 0x6390
leaq 0x498(%rsp), %rdi
callq 0x61f0
leaq 0x148(%rsp), %rdi
callq 0x61f0
leaq 0x478(%rsp), %rdi
callq 0x61f0
leaq 0x170(%rsp), %rdi
callq 0x61f0
leaq 0x16f(%rsp), %rdi
callq 0x6390
leaq 0x458(%rsp), %rdi
callq 0x61f0
leaq 0x438(%rsp), %rdi
callq 0x61f0
leaq 0x198(%rsp), %rdi
callq 0x61f0
leaq 0x197(%rsp), %rdi
callq 0x6390
leaq 0x418(%rsp), %rdi
callq 0x61f0
leaq 0x3f8(%rsp), %rdi
callq 0x61f0
leaq 0x1c0(%rsp), %rdi
callq 0x61f0
leaq 0x1bf(%rsp), %rdi
callq 0x6390
leaq 0x3d8(%rsp), %rdi
callq 0x61f0
leaq 0x1e0(%rsp), %rdi
callq 0x61f0
leaq 0x3b8(%rsp), %rdi
callq 0x61f0
leaq 0x208(%rsp), %rdi
callq 0x61f0
leaq 0x207(%rsp), %rdi
callq 0x6390
leaq 0x398(%rsp), %rdi
callq 0x61f0
leaq 0x228(%rsp), %rdi
callq 0x61f0
leaq 0x378(%rsp), %rdi
callq 0x61f0
leaq 0x250(%rsp), %rdi
callq 0x61f0
leaq 0x24f(%rsp), %rdi
callq 0x6390
leaq 0x358(%rsp), %rdi
callq 0x61f0
leaq 0x270(%rsp), %rdi
callq 0x61f0
leaq 0x338(%rsp), %rdi
callq 0x61f0
leaq 0x298(%rsp), %rdi
callq 0x61f0
leaq 0x297(%rsp), %rdi
callq 0x6390
leaq 0x318(%rsp), %rdi
callq 0x61f0
leaq 0x2c0(%rsp), %rdi
callq 0x61f0
testb $0x1, 0x2be(%rsp)
jne 0x42f7e
jmp 0x42f8b
leaq 0x2bf(%rsp), %rdi
callq 0x6390
leaq 0x2f8(%rsp), %rdi
callq 0x61f0
leaq 0x2f7(%rsp), %rdi
callq 0x6390
movq 0x58(%rsp), %rax
addq $0x588, %rsp            # imm = 0x588
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x435c6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x435a0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43593
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43579
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x4356c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x4355f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43552
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43538
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x4352b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x4351e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43511
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x434f7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x434ea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x434dd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x434d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x434b6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x434a9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x4349c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43482
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43475
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43468
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x4344e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43441
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43434
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x4340d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43400
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x433f3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x433e6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x433cc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x433bf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x433b2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x433a5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x4338b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x4337e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43371
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
jmp 0x43367
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x2e8(%rsp)
movl %eax, 0x2e4(%rsp)
leaq 0x558(%rsp), %rdi
callq 0x61f0
leaq 0x70(%rsp), %rdi
callq 0x61f0
leaq 0x538(%rsp), %rdi
callq 0x61f0
leaq 0x98(%rsp), %rdi
callq 0x61f0
leaq 0x97(%rsp), %rdi
callq 0x6390
leaq 0x518(%rsp), %rdi
callq 0x61f0
leaq 0xb8(%rsp), %rdi
callq 0x61f0
leaq 0x4f8(%rsp), %rdi
callq 0x61f0
leaq 0xe0(%rsp), %rdi
callq 0x61f0
leaq 0xdf(%rsp), %rdi
callq 0x6390
leaq 0x4d8(%rsp), %rdi
callq 0x61f0
leaq 0x100(%rsp), %rdi
callq 0x61f0
leaq 0x4b8(%rsp), %rdi
callq 0x61f0
leaq 0x128(%rsp), %rdi
callq 0x61f0
leaq 0x127(%rsp), %rdi
callq 0x6390
leaq 0x498(%rsp), %rdi
callq 0x61f0
leaq 0x148(%rsp), %rdi
callq 0x61f0
leaq 0x478(%rsp), %rdi
callq 0x61f0
leaq 0x170(%rsp), %rdi
callq 0x61f0
leaq 0x16f(%rsp), %rdi
callq 0x6390
leaq 0x458(%rsp), %rdi
callq 0x61f0
leaq 0x438(%rsp), %rdi
callq 0x61f0
leaq 0x198(%rsp), %rdi
callq 0x61f0
leaq 0x197(%rsp), %rdi
callq 0x6390
leaq 0x418(%rsp), %rdi
callq 0x61f0
leaq 0x3f8(%rsp), %rdi
callq 0x61f0
leaq 0x1c0(%rsp), %rdi
callq 0x61f0
leaq 0x1bf(%rsp), %rdi
callq 0x6390
leaq 0x3d8(%rsp), %rdi
callq 0x61f0
leaq 0x1e0(%rsp), %rdi
callq 0x61f0
leaq 0x3b8(%rsp), %rdi
callq 0x61f0
leaq 0x208(%rsp), %rdi
callq 0x61f0
leaq 0x207(%rsp), %rdi
callq 0x6390
leaq 0x398(%rsp), %rdi
callq 0x61f0
leaq 0x228(%rsp), %rdi
callq 0x61f0
leaq 0x378(%rsp), %rdi
callq 0x61f0
leaq 0x250(%rsp), %rdi
callq 0x61f0
leaq 0x24f(%rsp), %rdi
callq 0x6390
leaq 0x358(%rsp), %rdi
callq 0x61f0
leaq 0x270(%rsp), %rdi
callq 0x61f0
leaq 0x338(%rsp), %rdi
callq 0x61f0
leaq 0x298(%rsp), %rdi
callq 0x61f0
leaq 0x297(%rsp), %rdi
callq 0x6390
leaq 0x318(%rsp), %rdi
callq 0x61f0
leaq 0x2c0(%rsp), %rdi
callq 0x61f0
testb $0x1, 0x2be(%rsp)
jne 0x435ac
jmp 0x435b9
leaq 0x2bf(%rsp), %rdi
callq 0x6390
leaq 0x2f8(%rsp), %rdi
callq 0x61f0
leaq 0x2f7(%rsp), %rdi
callq 0x6390
movq 0x2e8(%rsp), %rdi
callq 0x6520