// File: /workspace/github_cpp_makefile_star2_O2/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:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x4b0, %rsp            # imm = 0x4B0
movq %rsi, %r15
movq %rdi, %r14
leaq 0xa918(%rip), %rsi      # 0x22929
leaq 0x230(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x50e0
movq 0x28(%r15), %rbx
testq %rbx, %rbx
je 0x1803c
movq (%rbx), %rax
leaq 0x10(%rsp), %rdi
movq %rbx, %rsi
callq *0x18(%rax)
jmp 0x18052
leaq 0x8993(%rip), %rsi      # 0x209d6
leaq 0x10(%rsp), %rdi
leaq 0xe(%rsp), %rdx
callq 0x50e0
leaq 0x250(%rsp), %rdi
leaq 0x230(%rsp), %rsi
leaq 0x10(%rsp), %rdx
callq 0xcc8d
leaq 0x9145(%rip), %rsi      # 0x211b8
leaq 0x210(%rsp), %rdi
leaq 0xd(%rsp), %rdx
callq 0x50e0
leaq 0x270(%rsp), %rdi
leaq 0x250(%rsp), %rsi
leaq 0x210(%rsp), %rdx
callq 0xcc8d
movl 0x30(%r15), %esi
leaq 0x1f0(%rsp), %rdi
callq 0xcd19
leaq 0x290(%rsp), %rdi
leaq 0x270(%rsp), %rsi
leaq 0x1f0(%rsp), %rdx
callq 0xcc8d
leaq 0x9400(%rip), %rsi      # 0x214d7
leaq 0x1d0(%rsp), %rdi
leaq 0xc(%rsp), %rdx
callq 0x50e0
leaq 0x2b0(%rsp), %rdi
leaq 0x290(%rsp), %rsi
leaq 0x1d0(%rsp), %rdx
callq 0xcc8d
movl 0x34(%r15), %esi
leaq 0x1b0(%rsp), %rdi
callq 0xcd19
leaq 0x2d0(%rsp), %rdi
leaq 0x2b0(%rsp), %rsi
leaq 0x1b0(%rsp), %rdx
callq 0xcc8d
leaq 0xa7fa(%rip), %rsi      # 0x22935
leaq 0x190(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0x50e0
leaq 0x2f0(%rsp), %rdi
leaq 0x2d0(%rsp), %rsi
leaq 0x190(%rsp), %rdx
callq 0xcc8d
movss 0x38(%r15), %xmm0
leaq 0x170(%rsp), %rdi
callq 0xccf4
leaq 0x310(%rsp), %rdi
leaq 0x2f0(%rsp), %rsi
leaq 0x170(%rsp), %rdx
callq 0xcc8d
leaq 0x8fa3(%rip), %rsi      # 0x21144
leaq 0x150(%rsp), %rdi
leaq 0xa(%rsp), %rdx
callq 0x50e0
leaq 0x330(%rsp), %rdi
leaq 0x310(%rsp), %rsi
leaq 0x150(%rsp), %rdx
callq 0xcc8d
leaq 0x8f62(%rip), %r13      # 0x21139
cmpb $0x0, 0x3c(%r15)
leaq 0x8f5b(%rip), %r12      # 0x2113e
movq %r12, %rdx
cmovneq %r13, %rdx
leaq 0x350(%rsp), %rdi
leaq 0x330(%rsp), %rsi
callq 0xcc6e
leaq 0xa73d(%rip), %rsi      # 0x22943
leaq 0x130(%rsp), %rdi
leaq 0x9(%rsp), %rdx
callq 0x50e0
leaq 0x370(%rsp), %rdi
leaq 0x350(%rsp), %rsi
leaq 0x130(%rsp), %rdx
callq 0xcc8d
cmpb $0x0, 0x3d(%r15)
cmovneq %r13, %r12
leaq 0x390(%rsp), %rdi
leaq 0x370(%rsp), %rsi
movq %r12, %rdx
callq 0xcc6e
leaq 0xa6f5(%rip), %rsi      # 0x22952
leaq 0x110(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x50e0
leaq 0x3b0(%rsp), %rdi
leaq 0x390(%rsp), %rsi
leaq 0x110(%rsp), %rdx
callq 0xcc8d
movl 0x40(%r15), %esi
leaq 0xf0(%rsp), %rdi
callq 0xcd19
leaq 0x3d0(%rsp), %rdi
leaq 0x3b0(%rsp), %rsi
leaq 0xf0(%rsp), %rdx
callq 0xcc8d
leaq 0xa6a7(%rip), %rsi      # 0x22968
leaq 0xd0(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x50e0
leaq 0x3f0(%rsp), %rdi
leaq 0x3d0(%rsp), %rsi
leaq 0xd0(%rsp), %rdx
callq 0xcc8d
movl 0x44(%r15), %esi
leaq 0xb0(%rsp), %rdi
callq 0xcd19
leaq 0x410(%rsp), %rdi
leaq 0x3f0(%rsp), %rsi
leaq 0xb0(%rsp), %rdx
callq 0xcc8d
leaq 0xa653(%rip), %rsi      # 0x22978
leaq 0x90(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x50e0
leaq 0x430(%rsp), %rdi
leaq 0x410(%rsp), %rsi
leaq 0x90(%rsp), %rdx
callq 0xcc8d
movl 0x48(%r15), %esi
leaq 0x70(%rsp), %rdi
callq 0xcd19
leaq 0x450(%rsp), %rdi
leaq 0x430(%rsp), %rsi
leaq 0x70(%rsp), %rdx
callq 0xcc8d
leaq 0xa60d(%rip), %rsi      # 0x22990
leaq 0x50(%rsp), %rdi
leaq 0x5(%rsp), %rdx
callq 0x50e0
leaq 0x470(%rsp), %rdi
leaq 0x450(%rsp), %rsi
leaq 0x50(%rsp), %rdx
callq 0xcc8d
movl 0x4c(%r15), %esi
leaq 0x30(%rsp), %rdi
callq 0x1b4e5
leaq 0x490(%rsp), %rdi
leaq 0x470(%rsp), %rsi
leaq 0x30(%rsp), %rdx
callq 0xcc8d
leaq 0x8052(%rip), %rdx      # 0x2042d
leaq 0x490(%rsp), %rsi
movq %r14, %rdi
callq 0xcc6e
leaq 0x490(%rsp), %rdi
callq 0x5120
leaq 0x30(%rsp), %rdi
callq 0x5120
leaq 0x470(%rsp), %rdi
callq 0x5120
leaq 0x50(%rsp), %rdi
callq 0x5120
leaq 0x450(%rsp), %rdi
callq 0x5120
leaq 0x70(%rsp), %rdi
callq 0x5120
leaq 0x430(%rsp), %rdi
callq 0x5120
leaq 0x90(%rsp), %rdi
callq 0x5120
leaq 0x410(%rsp), %rdi
callq 0x5120
leaq 0xb0(%rsp), %rdi
callq 0x5120
leaq 0x3f0(%rsp), %rdi
callq 0x5120
leaq 0xd0(%rsp), %rdi
callq 0x5120
leaq 0x3d0(%rsp), %rdi
callq 0x5120
leaq 0xf0(%rsp), %rdi
callq 0x5120
leaq 0x3b0(%rsp), %rdi
callq 0x5120
leaq 0x110(%rsp), %rdi
callq 0x5120
leaq 0x390(%rsp), %rdi
callq 0x5120
leaq 0x370(%rsp), %rdi
callq 0x5120
leaq 0x130(%rsp), %rdi
callq 0x5120
leaq 0x350(%rsp), %rdi
callq 0x5120
leaq 0x330(%rsp), %rdi
callq 0x5120
leaq 0x150(%rsp), %rdi
callq 0x5120
leaq 0x310(%rsp), %rdi
callq 0x5120
leaq 0x170(%rsp), %rdi
callq 0x5120
leaq 0x2f0(%rsp), %rdi
callq 0x5120
leaq 0x190(%rsp), %rdi
callq 0x5120
leaq 0x2d0(%rsp), %rdi
callq 0x5120
leaq 0x1b0(%rsp), %rdi
callq 0x5120
leaq 0x2b0(%rsp), %rdi
callq 0x5120
leaq 0x1d0(%rsp), %rdi
callq 0x5120
leaq 0x290(%rsp), %rdi
callq 0x5120
leaq 0x1f0(%rsp), %rdi
callq 0x5120
leaq 0x270(%rsp), %rdi
callq 0x5120
leaq 0x210(%rsp), %rdi
callq 0x5120
leaq 0x250(%rsp), %rdi
callq 0x5120
leaq 0x10(%rsp), %rdi
callq 0x5120
testq %rbx, %rbx
leaq 0x230(%rsp), %rdi
callq 0x5120
movq %r14, %rax
addq $0x4b0, %rsp            # imm = 0x4B0
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq %rax, %r14
leaq 0x490(%rsp), %rdi
callq 0x5120
jmp 0x185ec
movq %rax, %r14
leaq 0x30(%rsp), %rdi
callq 0x5120
jmp 0x185fb
movq %rax, %r14
leaq 0x470(%rsp), %rdi
callq 0x5120
jmp 0x1860d
movq %rax, %r14
leaq 0x50(%rsp), %rdi
callq 0x5120
jmp 0x1861c
movq %rax, %r14
leaq 0x450(%rsp), %rdi
callq 0x5120
leaq 0x70(%rsp), %rdi
callq 0x5120
leaq 0x430(%rsp), %rdi
callq 0x5120
leaq 0x90(%rsp), %rdi
callq 0x5120
leaq 0x410(%rsp), %rdi
callq 0x5120
leaq 0xb0(%rsp), %rdi
callq 0x5120
leaq 0x3f0(%rsp), %rdi
callq 0x5120
leaq 0xd0(%rsp), %rdi
callq 0x5120
leaq 0x3d0(%rsp), %rdi
callq 0x5120
leaq 0xf0(%rsp), %rdi
callq 0x5120
leaq 0x3b0(%rsp), %rdi
callq 0x5120
leaq 0x110(%rsp), %rdi
callq 0x5120
leaq 0x390(%rsp), %rdi
callq 0x5120
leaq 0x370(%rsp), %rdi
callq 0x5120
leaq 0x130(%rsp), %rdi
callq 0x5120
leaq 0x350(%rsp), %rdi
callq 0x5120
leaq 0x330(%rsp), %rdi
callq 0x5120
leaq 0x150(%rsp), %rdi
callq 0x5120
leaq 0x310(%rsp), %rdi
callq 0x5120
leaq 0x170(%rsp), %rdi
callq 0x5120
leaq 0x2f0(%rsp), %rdi
callq 0x5120
leaq 0x190(%rsp), %rdi
callq 0x5120
leaq 0x2d0(%rsp), %rdi
callq 0x5120
leaq 0x1b0(%rsp), %rdi
callq 0x5120
leaq 0x2b0(%rsp), %rdi
callq 0x5120
leaq 0x1d0(%rsp), %rdi
callq 0x5120
leaq 0x290(%rsp), %rdi
callq 0x5120
leaq 0x1f0(%rsp), %rdi
callq 0x5120
leaq 0x270(%rsp), %rdi
callq 0x5120
leaq 0x210(%rsp), %rdi
callq 0x5120
leaq 0x250(%rsp), %rdi
callq 0x5120
leaq 0x10(%rsp), %rdi
callq 0x5120
testq %rbx, %rbx
leaq 0x230(%rsp), %rdi
callq 0x5120
movq %r14, %rdi
callq 0x5410
movq %rax, %r14
jmp 0x18629
movq %rax, %r14
jmp 0x18633
movq %rax, %r14
jmp 0x18640
movq %rax, %r14
jmp 0x1864d
movq %rax, %r14
jmp 0x1865a
movq %rax, %r14
jmp 0x18667
movq %rax, %r14
jmp 0x18674
movq %rax, %r14
jmp 0x18681
movq %rax, %r14
jmp 0x1868e
movq %rax, %r14
jmp 0x1869b
movq %rax, %r14
jmp 0x186a8
movq %rax, %r14
jmp 0x186b5
movq %rax, %r14
jmp 0x186c2
movq %rax, %r14
jmp 0x186cf
movq %rax, %r14
jmp 0x186dc
movq %rax, %r14
jmp 0x186e9
movq %rax, %r14
jmp 0x186f6
movq %rax, %r14
jmp 0x18703
movq %rax, %r14
jmp 0x18710
movq %rax, %r14
jmp 0x1871d
movq %rax, %r14
jmp 0x1872a
movq %rax, %r14
jmp 0x18737
movq %rax, %r14
jmp 0x18744
movq %rax, %r14
jmp 0x18751
movq %rax, %r14
jmp 0x1875e
movq %rax, %r14
jmp 0x1876b
movq %rax, %r14
jmp 0x18778
movq %rax, %r14
jmp 0x18785
movq %rax, %r14
jmp 0x18792
movq %rax, %r14
jmp 0x1879f
movq %rax, %r14
jmp 0x187ac
movq %rax, %r14
jmp 0x187b6