// File: bonetblai[P]mdp-engine/ctp3/../engine/ldfs.h
// Function: Algorithm::ldfs_base_t<state_t>::name[abi:cxx11]() const
virtual std::string name() const {
        return std::string("ldfs(heuristic=") + (heuristic_ == 0 ? std::string("null") : heuristic_->name()) +
          std::string(",epsilon=") + std::to_string(epsilon_) +
          std::string(",type=") + (type_ == 0 ? "regular" : "plus") +
          std::string(",seed=") + std::to_string(seed_) + ")";
    }

// Assembly:
subq $0x248, %rsp            # imm = 0x248
movq %rdi, 0x20(%rsp)
movq %rdi, %rax
movq %rax, 0x28(%rsp)
movq %rdi, 0x240(%rsp)
movq %rsi, 0x238(%rsp)
movq 0x238(%rsp), %rax
movq %rax, 0x30(%rsp)
leaq 0x137(%rsp), %rdi
movq %rdi, 0x38(%rsp)
callq 0x6530
movq 0x38(%rsp), %rdx
leaq 0x36a21(%rip), %rsi     # 0x5dbf0
leaq 0x138(%rsp), %rdi
callq 0x6460
jmp 0x271de
movq 0x30(%rsp), %rax
movq 0x10(%rax), %rax
movb $0x0, 0xfe(%rsp)
cmpq $0x0, %rax
jne 0x2722c
leaq 0xff(%rsp), %rdi
movq %rdi, 0x18(%rsp)
callq 0x6530
movq 0x18(%rsp), %rdx
movb $0x1, 0xfe(%rsp)
leaq 0x36766(%rip), %rsi     # 0x5d981
leaq 0x100(%rsp), %rdi
callq 0x6460
jmp 0x2722a
jmp 0x2724a
movq 0x30(%rsp), %rax
movq 0x10(%rax), %rsi
movq (%rsi), %rax
movq 0x18(%rax), %rax
leaq 0x100(%rsp), %rdi
callq *%rax
jmp 0x27248
jmp 0x2724a
leaq 0x158(%rsp), %rdi
leaq 0x138(%rsp), %rsi
leaq 0x100(%rsp), %rdx
callq 0x201f0
jmp 0x27269
leaq 0xd7(%rsp), %rdi
movq %rdi, 0x10(%rsp)
callq 0x6530
movq 0x10(%rsp), %rdx
leaq 0x366ff(%rip), %rsi     # 0x5d986
leaq 0xd8(%rsp), %rdi
callq 0x6460
jmp 0x27296
leaq 0x178(%rsp), %rdi
leaq 0x158(%rsp), %rsi
leaq 0xd8(%rsp), %rdx
callq 0x201f0
jmp 0x272b5
movq 0x30(%rsp), %rax
movss 0x20(%rax), %xmm0
leaq 0xb0(%rsp), %rdi
callq 0x202e0
jmp 0x272ce
leaq 0x198(%rsp), %rdi
leaq 0x178(%rsp), %rsi
leaq 0xb0(%rsp), %rdx
callq 0x201f0
jmp 0x272ed
leaq 0x8f(%rsp), %rdi
movq %rdi, 0x8(%rsp)
callq 0x6530
movq 0x8(%rsp), %rdx
leaq 0x368f5(%rip), %rsi     # 0x5dc00
leaq 0x90(%rsp), %rdi
callq 0x6460
jmp 0x2731a
leaq 0x1b8(%rsp), %rdi
leaq 0x198(%rsp), %rsi
leaq 0x90(%rsp), %rdx
callq 0x201f0
jmp 0x27339
movq 0x30(%rsp), %rax
movl 0x1c(%rax), %eax
testl %eax, %eax
leaq 0x368bd(%rip), %rax     # 0x5dc07
leaq 0x3647e(%rip), %rdx     # 0x5d7cf
cmoveq %rax, %rdx
leaq 0x1d8(%rsp), %rdi
leaq 0x1b8(%rsp), %rsi
callq 0x201a0
jmp 0x2736c
leaq 0x67(%rsp), %rdi
movq %rdi, (%rsp)
callq 0x6530
movq (%rsp), %rdx
leaq 0x3660b(%rip), %rsi     # 0x5d990
leaq 0x68(%rsp), %rdi
callq 0x6460
jmp 0x27391
leaq 0x1f8(%rsp), %rdi
leaq 0x1d8(%rsp), %rsi
leaq 0x68(%rsp), %rdx
callq 0x201f0
jmp 0x273ad
movq 0x30(%rsp), %rax
movl 0x18(%rax), %esi
leaq 0x40(%rsp), %rdi
callq 0x20330
jmp 0x273c1
leaq 0x218(%rsp), %rdi
leaq 0x1f8(%rsp), %rsi
leaq 0x40(%rsp), %rdx
callq 0x201f0
jmp 0x273dd
movq 0x20(%rsp), %rdi
leaq 0x36004(%rip), %rdx     # 0x5d3ed
leaq 0x218(%rsp), %rsi
callq 0x201a0
jmp 0x273f8
leaq 0x218(%rsp), %rdi
callq 0x61f0
leaq 0x40(%rsp), %rdi
callq 0x61f0
leaq 0x1f8(%rsp), %rdi
callq 0x61f0
leaq 0x68(%rsp), %rdi
callq 0x61f0
leaq 0x67(%rsp), %rdi
callq 0x6390
leaq 0x1d8(%rsp), %rdi
callq 0x61f0
leaq 0x1b8(%rsp), %rdi
callq 0x61f0
leaq 0x90(%rsp), %rdi
callq 0x61f0
leaq 0x8f(%rsp), %rdi
callq 0x6390
leaq 0x198(%rsp), %rdi
callq 0x61f0
leaq 0xb0(%rsp), %rdi
callq 0x61f0
leaq 0x178(%rsp), %rdi
callq 0x61f0
leaq 0xd8(%rsp), %rdi
callq 0x61f0
leaq 0xd7(%rsp), %rdi
callq 0x6390
leaq 0x158(%rsp), %rdi
callq 0x61f0
leaq 0x100(%rsp), %rdi
callq 0x61f0
testb $0x1, 0xfe(%rsp)
jne 0x274cb
jmp 0x274d8
leaq 0xff(%rsp), %rdi
callq 0x6390
leaq 0x138(%rsp), %rdi
callq 0x61f0
leaq 0x137(%rsp), %rdi
callq 0x6390
movq 0x28(%rsp), %rax
addq $0x248, %rsp            # imm = 0x248
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x27755
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x2772f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x27722
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x27708
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x276fb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x276ee
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x276e1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x276c7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x276ba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x276ad
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x27696
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x2768c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x2767f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
jmp 0x27675
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x128(%rsp)
movl %eax, 0x124(%rsp)
leaq 0x218(%rsp), %rdi
callq 0x61f0
leaq 0x40(%rsp), %rdi
callq 0x61f0
leaq 0x1f8(%rsp), %rdi
callq 0x61f0
leaq 0x68(%rsp), %rdi
callq 0x61f0
leaq 0x67(%rsp), %rdi
callq 0x6390
leaq 0x1d8(%rsp), %rdi
callq 0x61f0
leaq 0x1b8(%rsp), %rdi
callq 0x61f0
leaq 0x90(%rsp), %rdi
callq 0x61f0
leaq 0x8f(%rsp), %rdi
callq 0x6390
leaq 0x198(%rsp), %rdi
callq 0x61f0
leaq 0xb0(%rsp), %rdi
callq 0x61f0
leaq 0x178(%rsp), %rdi
callq 0x61f0
leaq 0xd8(%rsp), %rdi
callq 0x61f0
leaq 0xd7(%rsp), %rdi
callq 0x6390
leaq 0x158(%rsp), %rdi
callq 0x61f0
leaq 0x100(%rsp), %rdi
callq 0x61f0
testb $0x1, 0xfe(%rsp)
jne 0x2773b
jmp 0x27748
leaq 0xff(%rsp), %rdi
callq 0x6390
leaq 0x138(%rsp), %rdi
callq 0x61f0
leaq 0x137(%rsp), %rdi
callq 0x6390
movq 0x128(%rsp), %rdi
callq 0x6520
nop