// File: bonetblai[P]mdp-engine/ctp3/../engine/base_policies.h
// Function: Online::Policy::base_greedy_t<state_t>::name[abi:cxx11]() const
virtual std::string name() const {
        return std::string("greedy(") +
          std::string("heuristic=") + (heuristic_ == 0 ? std::string("null") : heuristic_->name()) +
          std::string(",optimistic=") + (optimistic_ ? "true" : "false") +
          std::string(",random-ties=") + (random_ties_ ? "true" : "false") +
          std::string(",caching=") + (caching_ ? "true" : "false") + ")";
    }

// Assembly:
subq $0x258, %rsp            # imm = 0x258
movq %rdi, 0x28(%rsp)
movq %rdi, %rax
movq %rax, 0x30(%rsp)
movq %rdi, 0x250(%rsp)
movq %rsi, 0x248(%rsp)
movq 0x248(%rsp), %rax
movq %rax, 0x38(%rsp)
leaq 0x127(%rsp), %rdi
movq %rdi, 0x40(%rsp)
callq 0x6530
movq 0x40(%rsp), %rdx
leaq 0x27878(%rip), %rsi     # 0x5e137
leaq 0x128(%rsp), %rdi
callq 0x6460
jmp 0x368ce
leaq 0xef(%rsp), %rdi
movq %rdi, 0x20(%rsp)
callq 0x6530
movq 0x20(%rsp), %rdx
leaq 0x274d9(%rip), %rsi     # 0x5ddc5
leaq 0xf0(%rsp), %rdi
callq 0x6460
jmp 0x368fb
leaq 0x148(%rsp), %rdi
leaq 0x128(%rsp), %rsi
leaq 0xf0(%rsp), %rdx
callq 0x201f0
jmp 0x3691a
movq 0x38(%rsp), %rax
movq 0x28(%rax), %rax
movb $0x0, 0xc6(%rsp)
cmpq $0x0, %rax
jne 0x36968
leaq 0xc7(%rsp), %rdi
movq %rdi, 0x18(%rsp)
callq 0x6530
movq 0x18(%rsp), %rdx
movb $0x1, 0xc6(%rsp)
leaq 0x2702a(%rip), %rsi     # 0x5d981
leaq 0xc8(%rsp), %rdi
callq 0x6460
jmp 0x36966
jmp 0x36986
movq 0x38(%rsp), %rax
movq 0x28(%rax), %rsi
movq (%rsi), %rax
movq 0x18(%rax), %rax
leaq 0xc8(%rsp), %rdi
callq *%rax
jmp 0x36984
jmp 0x36986
leaq 0x168(%rsp), %rdi
leaq 0x148(%rsp), %rsi
leaq 0xc8(%rsp), %rdx
callq 0x201f0
jmp 0x369a5
leaq 0x9f(%rsp), %rdi
movq %rdi, 0x10(%rsp)
callq 0x6530
movq 0x10(%rsp), %rdx
leaq 0x2777c(%rip), %rsi     # 0x5e13f
leaq 0xa0(%rsp), %rdi
callq 0x6460
jmp 0x369d2
leaq 0x188(%rsp), %rdi
leaq 0x168(%rsp), %rsi
leaq 0xa0(%rsp), %rdx
callq 0x201f0
jmp 0x369f1
movq 0x38(%rsp), %rax
movb 0x30(%rax), %cl
leaq 0x2774c(%rip), %rax     # 0x5e14c
leaq 0x2774a(%rip), %rdx     # 0x5e151
testb $0x1, %cl
cmovneq %rax, %rdx
leaq 0x1a8(%rsp), %rdi
leaq 0x188(%rsp), %rsi
callq 0x201a0
jmp 0x36a25
leaq 0x77(%rsp), %rdi
movq %rdi, 0x8(%rsp)
callq 0x6530
movq 0x8(%rsp), %rdx
leaq 0x27717(%rip), %rsi     # 0x5e157
leaq 0x78(%rsp), %rdi
callq 0x6460
jmp 0x36a4c
leaq 0x1c8(%rsp), %rdi
leaq 0x1a8(%rsp), %rsi
leaq 0x78(%rsp), %rdx
callq 0x201f0
jmp 0x36a68
movq 0x38(%rsp), %rax
movb 0x31(%rax), %cl
leaq 0x276d5(%rip), %rax     # 0x5e14c
leaq 0x276d3(%rip), %rdx     # 0x5e151
testb $0x1, %cl
cmovneq %rax, %rdx
leaq 0x1e8(%rsp), %rdi
leaq 0x1c8(%rsp), %rsi
callq 0x201a0
jmp 0x36a9c
leaq 0x4f(%rsp), %rdi
movq %rdi, (%rsp)
callq 0x6530
movq (%rsp), %rdx
leaq 0x276b0(%rip), %rsi     # 0x5e165
leaq 0x50(%rsp), %rdi
callq 0x6460
jmp 0x36ac1
leaq 0x208(%rsp), %rdi
leaq 0x1e8(%rsp), %rsi
leaq 0x50(%rsp), %rdx
callq 0x201f0
jmp 0x36add
movq 0x38(%rsp), %rax
movb 0x32(%rax), %cl
leaq 0x27660(%rip), %rax     # 0x5e14c
leaq 0x2765e(%rip), %rdx     # 0x5e151
testb $0x1, %cl
cmovneq %rax, %rdx
leaq 0x228(%rsp), %rdi
leaq 0x208(%rsp), %rsi
callq 0x201a0
jmp 0x36b11
movq 0x28(%rsp), %rdi
leaq 0x268d0(%rip), %rdx     # 0x5d3ed
leaq 0x228(%rsp), %rsi
callq 0x201a0
jmp 0x36b2c
leaq 0x228(%rsp), %rdi
callq 0x61f0
leaq 0x208(%rsp), %rdi
callq 0x61f0
leaq 0x50(%rsp), %rdi
callq 0x61f0
leaq 0x4f(%rsp), %rdi
callq 0x6390
leaq 0x1e8(%rsp), %rdi
callq 0x61f0
leaq 0x1c8(%rsp), %rdi
callq 0x61f0
leaq 0x78(%rsp), %rdi
callq 0x61f0
leaq 0x77(%rsp), %rdi
callq 0x6390
leaq 0x1a8(%rsp), %rdi
callq 0x61f0
leaq 0x188(%rsp), %rdi
callq 0x61f0
leaq 0xa0(%rsp), %rdi
callq 0x61f0
leaq 0x9f(%rsp), %rdi
callq 0x6390
leaq 0x168(%rsp), %rdi
callq 0x61f0
leaq 0xc8(%rsp), %rdi
callq 0x61f0
testb $0x1, 0xc6(%rsp)
jne 0x36be2
jmp 0x36bef
leaq 0xc7(%rsp), %rdi
callq 0x6390
leaq 0x148(%rsp), %rdi
callq 0x61f0
leaq 0xf0(%rsp), %rdi
callq 0x61f0
leaq 0xef(%rsp), %rdi
callq 0x6390
leaq 0x128(%rsp), %rdi
callq 0x61f0
leaq 0x127(%rsp), %rdi
callq 0x6390
movq 0x30(%rsp), %rax
addq $0x258, %rsp            # imm = 0x258
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36e9d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36e83
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36e76
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36e50
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36e43
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36e29
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36e1c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36e0f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36df8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36dee
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36de1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36dca
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36dc0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
jmp 0x36db3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x118(%rsp)
movl %eax, 0x114(%rsp)
leaq 0x228(%rsp), %rdi
callq 0x61f0
leaq 0x208(%rsp), %rdi
callq 0x61f0
leaq 0x50(%rsp), %rdi
callq 0x61f0
leaq 0x4f(%rsp), %rdi
callq 0x6390
leaq 0x1e8(%rsp), %rdi
callq 0x61f0
leaq 0x1c8(%rsp), %rdi
callq 0x61f0
leaq 0x78(%rsp), %rdi
callq 0x61f0
leaq 0x77(%rsp), %rdi
callq 0x6390
leaq 0x1a8(%rsp), %rdi
callq 0x61f0
leaq 0x188(%rsp), %rdi
callq 0x61f0
leaq 0xa0(%rsp), %rdi
callq 0x61f0
leaq 0x9f(%rsp), %rdi
callq 0x6390
leaq 0x168(%rsp), %rdi
callq 0x61f0
leaq 0xc8(%rsp), %rdi
callq 0x61f0
testb $0x1, 0xc6(%rsp)
jne 0x36e5c
jmp 0x36e69
leaq 0xc7(%rsp), %rdi
callq 0x6390
leaq 0x148(%rsp), %rdi
callq 0x61f0
leaq 0xf0(%rsp), %rdi
callq 0x61f0
leaq 0xef(%rsp), %rdi
callq 0x6390
leaq 0x128(%rsp), %rdi
callq 0x61f0
leaq 0x127(%rsp), %rdi
callq 0x6390
movq 0x118(%rsp), %rdi
callq 0x6520
nopw (%rax,%rax)