// File: /workspace/github_cpp_makefile_star2_O1/tewalds[P]pentagod/./agentpns.h
// Function: AgentPNS::Node::to_s[abi:cxx11]() const
string to_s() const {
			return "Node: move " + move.to_s() +
					", phi " + to_str(phi) +
					", delta " + to_str(delta) +
					", work " + to_str(work) +
//					", outcome " + to_str((int)outcome) + "/" + to_str((int)proofdepth) +
//					", best " + bestmove.to_s() +
					", children " + to_str(children.num());
		}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1a8, %rsp            # imm = 0x1A8
movq %rsi, %r14
movq %rdi, %rbx
addq $0x14, %rsi
leaq 0x188(%rsp), %r15
movq %r15, %rdi
xorl %edx, %edx
callq 0x99d8
leaq 0x899c(%rip), %rcx      # 0x2ccee
movl $0xb, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4330
leaq 0x178(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x24394
movq %rdx, 0x168(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x178(%rsp)
jmp 0x2439d
vmovups (%rcx), %xmm0
vmovups %xmm0, (%r15)
movq 0x8(%rax), %rdx
leaq 0x168(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x928f(%rip), %rsi      # 0x2d652
callq 0x4610
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x243f0
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x243fa
vmovups (%rcx), %xmm0
vmovups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movl (%r14), %esi
leaq 0x148(%rsp), %rdi
callq 0x9de2
movq 0x8(%rsp), %rcx
movq 0x10(%rsp), %r8
movq 0x150(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r12, %rcx
je 0x24447
movq 0x18(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x2446c
leaq 0x158(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x24467
movq 0x158(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x24480
movq 0x148(%rsp), %rsi
leaq 0x8(%rsp), %rdi
callq 0x40b0
jmp 0x24491
leaq 0x148(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4330
leaq 0x38(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x244b5
movq %rsi, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x244bd
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x9178(%rip), %rsi      # 0x2d659
leaq 0x28(%rsp), %rdi
callq 0x4610
leaq 0x98(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2451b
movq %rdx, 0x88(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x98(%rsp)
jmp 0x24525
vmovups (%rcx), %xmm0
vmovups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, 0x90(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movl 0x4(%r14), %esi
leaq 0x128(%rsp), %rdi
callq 0x9de2
movq 0x88(%rsp), %rcx
movq 0x90(%rsp), %r8
movq 0x130(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r13, %rcx
je 0x2457f
movq 0x98(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x245a4
leaq 0x138(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x2459f
movq 0x138(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x245bb
movq 0x128(%rsp), %rsi
leaq 0x88(%rsp), %rdi
callq 0x40b0
jmp 0x245cc
leaq 0x128(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4330
leaq 0x58(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x245f0
movq %rsi, 0x48(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x58(%rsp)
jmp 0x245f8
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x50(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x9046(%rip), %rsi      # 0x2d662
leaq 0x48(%rsp), %rdi
callq 0x4610
leaq 0xb8(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x24656
movq %rdx, 0xa8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xb8(%rsp)
jmp 0x2465f
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rbp)
movq 0x8(%rax), %rdx
movq %rdx, 0xb0(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x8(%r14), %rsi
leaq 0x108(%rsp), %rdi
callq 0xd669
movq 0xa8(%rsp), %rcx
movq 0xb0(%rsp), %r8
movq 0x110(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %rbp, %rcx
je 0x246b9
movq 0xb8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x246de
leaq 0x118(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x246d9
movq 0x118(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x246f5
movq 0x108(%rsp), %rsi
leaq 0xa8(%rsp), %rdi
callq 0x40b0
jmp 0x24706
leaq 0x108(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4330
leaq 0x78(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x2472a
movq %rsi, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0x24732
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x70(%rsp)
movq %rcx, (%rax)
movq %r15, %r12
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x85c5(%rip), %rsi      # 0x2cd1e
leaq 0x68(%rsp), %rdi
callq 0x4610
leaq 0xd8(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x24793
movq %rdx, 0xc8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xd8(%rsp)
jmp 0x2479c
vmovups (%rcx), %xmm0
vmovups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0xd0(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x18(%r14), %rax
xorl %esi, %esi
cmpq $0x2, %rax
jb 0x247c7
movzwl 0x6(%rax), %esi
leaq 0xe8(%rsp), %rdi
callq 0x9de2
movq 0xc8(%rsp), %rcx
movq 0xd0(%rsp), %r8
movq 0xf0(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r15, %rcx
je 0x24802
movq 0xd8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x24827
leaq 0xf8(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0x24822
movq 0xf8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x2483e
movq 0xe8(%rsp), %rsi
leaq 0xc8(%rsp), %rdi
callq 0x40b0
jmp 0x2484f
leaq 0xe8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4330
leaq 0x10(%rbx), %rdx
movq %rdx, (%rbx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0x2486e
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0x24876
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x8(%rbx)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x248a8
callq 0x42b0
movq 0xc8(%rsp), %rdi
cmpq %r15, %rdi
je 0x248ba
callq 0x42b0
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x248cd
callq 0x42b0
leaq 0x118(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x248e3
callq 0x42b0
movq 0xa8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x248f5
callq 0x42b0
leaq 0x58(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x24908
callq 0x42b0
leaq 0x138(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2491e
callq 0x42b0
movq 0x88(%rsp), %rdi
cmpq %r13, %rdi
je 0x24930
callq 0x42b0
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
leaq 0x18(%rsp), %r14
je 0x24948
callq 0x42b0
leaq 0x158(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2495e
callq 0x42b0
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2496d
callq 0x42b0
movq 0x168(%rsp), %rdi
cmpq %r12, %rdi
je 0x2497f
callq 0x42b0
leaq 0x198(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x24995
callq 0x42b0
movq %rbx, %rax
addq $0x1a8, %rsp            # imm = 0x1A8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x249c8
callq 0x42b0
jmp 0x249c8
movq %rax, %rbx
movq 0xc8(%rsp), %rdi
cmpq %r15, %rdi
je 0x249df
callq 0x42b0
jmp 0x249df
movq %rax, %rbx
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x249fa
callq 0x42b0
jmp 0x249fa
movq %r15, %r12
movq %rax, %rbx
leaq 0x118(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x24a18
callq 0x42b0
jmp 0x24a18
movq %r15, %r12
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
cmpq %rbp, %rdi
je 0x24a32
callq 0x42b0
jmp 0x24a32
movq %r15, %r12
movq %rax, %rbx
leaq 0x58(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x24a4d
callq 0x42b0
jmp 0x24a4d
movq %r15, %r12
movq %rax, %rbx
leaq 0x138(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x24a6b
callq 0x42b0
jmp 0x24a6b
movq %r15, %r12
movq %rax, %rbx
movq 0x88(%rsp), %rdi
cmpq %r13, %rdi
je 0x24a85
callq 0x42b0
jmp 0x24a85
movq %r15, %r12
movq %rax, %rbx
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x24a98
callq 0x42b0
leaq 0x158(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x24aae
callq 0x42b0
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x24ac2
callq 0x42b0
movq 0x168(%rsp), %rdi
cmpq %r12, %rdi
je 0x24ad4
callq 0x42b0
leaq 0x198(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x24aea
callq 0x42b0
movq %rbx, %rdi
callq 0x45b0
movq %r15, %r12
movq %rax, %rbx
jmp 0x24a98
movq %r15, %r12
movq %rax, %rbx
jmp 0x24aae
movq %r15, %r12
movq %rax, %rbx
jmp 0x24ac2
movq %rax, %rbx
jmp 0x24ad4
nop