// File: /workspace/github_cpp_makefile_star2_O1/tewalds[P]morat/pentago/agentmcts.cpp
// Function: Morat::Pentago::AgentMCTS::Node::to_s[abi:cxx11]() const
std::string AgentMCTS::Node::to_s() const {
	return "AgentMCTS::Node"
	       ", move " + move.to_s() +
	       ", exp " + exp.to_s() +
	       ", know " + to_str(know) +
	       ", outcome " + to_str((int)outcome.to_i()) +
	       ", depth " + 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 $0x268, %rsp            # imm = 0x268
movq %rsi, %r14
movq %rdi, %rbx
addq $0x14, %rsi
leaq 0x248(%rsp), %r15
movq %r15, %rdi
callq 0xd416
leaq 0x1e9da(%rip), %rcx     # 0x2d66c
movl $0x16, %r8d
movq %r15, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x238(%rsp), %rbp
movq %rbp, -0x10(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xecd4
movq %rdx, 0x228(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x238(%rsp)
jmp 0xecdd
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rbp)
movq 0x8(%rax), %rdx
leaq 0x228(%rsp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x1e980(%rip), %rsi     # 0x2d683
callq 0x5720
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xed2f
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0xed38
vmovups (%rcx), %xmm0
vmovups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x208(%rsp), %rdi
movq %r14, %rsi
callq 0x12dbe
movq 0x8(%rsp), %rcx
movq 0x10(%rsp), %r8
movq 0x210(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r15, %rcx
je 0xed85
movq 0x18(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xedaa
leaq 0x218(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0xeda5
movq 0x218(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xedbe
movq 0x208(%rsp), %rsi
leaq 0x8(%rsp), %rdi
callq 0x50e0
jmp 0xedcf
leaq 0x208(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x78(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0xedf3
movq %rsi, 0x68(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x78(%rsp)
jmp 0xedfb
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x70(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x1e86b(%rip), %rsi     # 0x2d68a
leaq 0x68(%rsp), %rdi
callq 0x5720
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xee50
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0xee59
vmovups (%rcx), %xmm0
vmovups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movswl 0x10(%r14), %esi
leaq 0x1e8(%rsp), %rdi
callq 0xe5aa
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %r8
movq 0x1f0(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r15, %rcx
je 0xeea8
movq 0x38(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xeecd
leaq 0x1f8(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0xeec8
movq 0x1f8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xeee1
movq 0x1e8(%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0x50e0
jmp 0xeef2
leaq 0x1e8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x98(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0xef1f
movq %rsi, 0x88(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x98(%rsp)
jmp 0xef27
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x90(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x1e744(%rip), %rsi     # 0x2d692
leaq 0x88(%rsp), %rdi
callq 0x5720
leaq 0x118(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xef8b
movq %rdx, 0x108(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x118(%rsp)
jmp 0xef94
vmovups (%rcx), %xmm0
vmovups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0x110(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movsbl 0x12(%r14), %esi
leaq 0x1c8(%rsp), %rdi
callq 0xe629
movq 0x108(%rsp), %rcx
movq 0x110(%rsp), %r8
movq 0x1d0(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r15, %rcx
je 0xefef
movq 0x118(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xf014
leaq 0x1d8(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0xf00f
movq 0x1d8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xf02b
movq 0x1c8(%rsp), %rsi
leaq 0x108(%rsp), %rdi
callq 0x50e0
jmp 0xf03c
leaq 0x1c8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0xb8(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0xf069
movq %rsi, 0xa8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xb8(%rsp)
jmp 0xf071
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0xb0(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x1e293(%rip), %rsi     # 0x2d32b
leaq 0xa8(%rsp), %rdi
callq 0x5720
leaq 0x58(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xf0cd
movq %rdx, 0x48(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x58(%rsp)
jmp 0xf0d7
vmovups (%rcx), %xmm0
vmovups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x50(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movzbl 0x13(%r14), %esi
leaq 0x1a8(%rsp), %rdi
callq 0xe629
movq 0x48(%rsp), %rcx
movq 0x50(%rsp), %r8
movq 0x1b0(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r12, %rcx
je 0xf126
movq 0x58(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xf14b
leaq 0x1b8(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0xf146
movq 0x1b8(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xf15f
movq 0x1a8(%rsp), %rsi
leaq 0x48(%rsp), %rdi
callq 0x50e0
jmp 0xf170
leaq 0x1a8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0xd8(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0xf19d
movq %rsi, 0xc8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xd8(%rsp)
jmp 0xf1a5
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0xd0(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x1e170(%rip), %rsi     # 0x2d33c
leaq 0xc8(%rsp), %rdi
callq 0x5720
leaq 0x138(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xf20a
movq %rdx, 0x128(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x138(%rsp)
jmp 0xf214
vmovups (%rcx), %xmm0
vmovups %xmm0, (%r12)
movq 0x8(%rax), %rdx
movq %rdx, 0x130(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x16(%r14), %rsi
leaq 0x188(%rsp), %rdi
callq 0xd416
movq 0x128(%rsp), %rcx
movq 0x130(%rsp), %r8
movq 0x190(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r12, %rcx
je 0xf26e
movq 0x138(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xf293
leaq 0x198(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0xf28e
movq 0x198(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xf2aa
movq 0x188(%rsp), %rsi
leaq 0x128(%rsp), %rdi
callq 0x50e0
jmp 0xf2bb
leaq 0x188(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0xf8(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0xf2e8
movq %rsi, 0xe8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0xf8(%rsp)
jmp 0xf2f0
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rdx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0xf0(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x1e386(%rip), %rsi     # 0x2d69d
leaq 0xe8(%rsp), %rdi
callq 0x5720
leaq 0x158(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0xf354
movq %rdx, 0x148(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x158(%rsp)
jmp 0xf35e
vmovups (%rcx), %xmm0
vmovups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, 0x150(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x18(%r14), %rax
xorl %esi, %esi
cmpq $0x2, %rax
jb 0xf389
movzwl 0x6(%rax), %esi
leaq 0x168(%rsp), %rdi
callq 0xd269
movq 0x148(%rsp), %rcx
movq 0x150(%rsp), %r8
movq 0x170(%rsp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r13, %rcx
je 0xf3c4
movq 0x158(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xf3e9
leaq 0x178(%rsp), %rdi
movl $0xf, %esi
cmpq %rdi, -0x10(%rdi)
je 0xf3e4
movq 0x178(%rsp), %rsi
cmpq %rsi, %rax
jbe 0xf400
movq 0x168(%rsp), %rsi
leaq 0x148(%rsp), %rdi
callq 0x50e0
jmp 0xf411
leaq 0x168(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x53c0
leaq 0x10(%rbx), %rdx
movq %rdx, (%rbx)
movq (%rax), %rsi
leaq 0x10(%rax), %rcx
cmpq %rcx, %rsi
je 0xf430
movq %rsi, (%rbx)
movq (%rcx), %rdx
movq %rdx, 0x10(%rbx)
jmp 0xf438
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 0x178(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf46a
callq 0x5310
movq 0x148(%rsp), %rdi
cmpq %r13, %rdi
je 0xf47c
callq 0x5310
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf492
callq 0x5310
leaq 0x198(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf4a8
callq 0x5310
movq 0x128(%rsp), %rdi
cmpq %r12, %rdi
je 0xf4ba
callq 0x5310
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
leaq 0x18(%rsp), %r14
leaq 0x38(%rsp), %r12
je 0xf4da
callq 0x5310
leaq 0x1b8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf4f0
callq 0x5310
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0xf504
callq 0x5310
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf51a
callq 0x5310
leaq 0x1d8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf530
callq 0x5310
movq 0x108(%rsp), %rdi
cmpq %r15, %rdi
je 0xf542
callq 0x5310
leaq 0x98(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf558
callq 0x5310
leaq 0x1f8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf56e
callq 0x5310
movq 0x28(%rsp), %rdi
cmpq %r12, %rdi
je 0xf57d
callq 0x5310
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf590
callq 0x5310
leaq 0x218(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf5a6
callq 0x5310
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0xf5b5
callq 0x5310
movq 0x228(%rsp), %rdi
cmpq %rbp, %rdi
je 0xf5c7
callq 0x5310
leaq 0x258(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf5dd
callq 0x5310
movq %rbx, %rax
addq $0x268, %rsp            # imm = 0x268
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x178(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf610
callq 0x5310
jmp 0xf610
movq %rax, %rbx
movq 0x148(%rsp), %rdi
cmpq %r13, %rdi
je 0xf627
callq 0x5310
jmp 0xf627
movq %rax, %rbx
leaq 0xf8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf642
callq 0x5310
jmp 0xf642
movq %rax, %rbx
leaq 0x198(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf65d
callq 0x5310
jmp 0xf65d
movq %rax, %rbx
movq 0x128(%rsp), %rdi
cmpq %r12, %rdi
je 0xf674
callq 0x5310
jmp 0xf674
movq %rax, %rbx
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf68f
callq 0x5310
jmp 0xf68f
movq %rax, %rbx
leaq 0x1b8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf6aa
callq 0x5310
jmp 0xf6aa
movq %rax, %rbx
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0xf6c3
callq 0x5310
jmp 0xf6c3
movq %rax, %rbx
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf6d9
callq 0x5310
leaq 0x1d8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf6ef
callq 0x5310
movq 0x108(%rsp), %rdi
cmpq %r15, %rdi
je 0xf701
callq 0x5310
leaq 0x98(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf717
callq 0x5310
leaq 0x1f8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf72d
callq 0x5310
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0xf741
callq 0x5310
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf754
callq 0x5310
leaq 0x218(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf76a
callq 0x5310
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0xf77e
callq 0x5310
movq 0x228(%rsp), %rdi
cmpq %rbp, %rdi
je 0xf790
callq 0x5310
leaq 0x258(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf7a6
callq 0x5310
movq %rbx, %rdi
callq 0x56c0
movq %rax, %rbx
jmp 0xf6d9
movq %rax, %rbx
jmp 0xf6ef
movq %rax, %rbx
jmp 0xf701
movq %rax, %rbx
jmp 0xf717
movq %rax, %rbx
jmp 0xf72d
movq %rax, %rbx
jmp 0xf741
movq %rax, %rbx
jmp 0xf754
movq %rax, %rbx
jmp 0xf76a
movq %rax, %rbx
jmp 0xf77e
movq %rax, %rbx
jmp 0xf790