// File: /workspace/github_cpp_makefile_star2_O3/tewalds[P]pentagod/move.cpp
// Function: check_many(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::initializer_list<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>)
void check_many(std::string in, std::initializer_list<std::string> moves){
	assert(moves.size() == 8);
	int r = 0;
	for(std::string out : moves){
		check(in, out + ":" + to_str(r));
		r++;
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
cmpq $0x8, %rdx
jne 0x19133
leaq 0x58(%rsp), %r12
leaq 0x48(%rsp), %rbp
movq %rsi, %rbx
movq %rdi, %r14
xorl %r15d, %r15d
xorl %r13d, %r13d
leaq 0x78(%rsp), %rax
leaq 0x68(%rsp), %rdi
movq %rax, 0x68(%rsp)
movq (%rbx,%r13), %rsi
movq 0x8(%rbx,%r13), %rdx
addq %rsi, %rdx
callq 0x8e30
leaq 0x98(%rsp), %rax
movq %rax, 0x88(%rsp)
movq (%r14), %rsi
movq 0x8(%r14), %rdx
addq %rsi, %rdx
leaq 0x88(%rsp), %rdi
callq 0x8e30
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rdx
movq %r12, 0x48(%rsp)
addq %rsi, %rdx
movq %rbp, %rdi
callq 0x8e30
leaq 0xfadb(%rip), %rsi      # 0x28ab5
movq %rbp, %rdi
callq 0x4610
leaq 0x28(%rsp), %rdi
movl %r15d, %esi
callq 0xd4eb
movq 0x48(%rsp), %rcx
movl $0xf, %edi
cmpq %r12, %rcx
je 0x19003
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %r8
movq 0x30(%rsp), %rdx
movq 0x28(%rsp), %rsi
leaq (%rdx,%r8), %rax
cmpq %rdi, %rax
jbe 0x19034
movl $0xf, %edi
leaq 0x38(%rsp), %r9
cmpq %r9, %rsi
je 0x1902f
movq 0x38(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x1903e
movq %rbp, %rdi
callq 0x40b0
jmp 0x1904c
leaq 0x28(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4330
leaq 0x18(%rsp), %rsi
leaq 0x10(%rax), %rcx
movq %rsi, 0x8(%rsp)
movq (%rax), %rdx
cmpq %rcx, %rdx
je 0x19071
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x19079
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rsi)
movq 0x8(%rax), %rsi
movq %rax, %rdx
addq $0x8, %rdx
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x88(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x18d84
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x190bc
callq 0x42b0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x190d0
callq 0x42b0
movq 0x48(%rsp), %rdi
cmpq %r12, %rdi
je 0x190df
callq 0x42b0
movq 0x88(%rsp), %rdi
leaq 0x98(%rsp), %rax
cmpq %rax, %rdi
je 0x190f9
callq 0x42b0
movq 0x68(%rsp), %rdi
leaq 0x78(%rsp), %rax
cmpq %rax, %rdi
je 0x1910d
callq 0x42b0
addq $0x20, %r13
incl %r15d
cmpq $0x100, %r13            # imm = 0x100
jne 0x18f72
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1248c(%rip), %rdi     # 0x2b5c6
leaq 0x123d6(%rip), %rsi     # 0x2b517
leaq 0x12490(%rip), %rcx     # 0x2b5d8
movl $0x1f, %edx
callq 0x41b0
movq %rax, %rbx
jmp 0x191bc
movq %rax, %rbx
jmp 0x191a2
jmp 0x1915e
movq %rax, %rbx
jmp 0x19193
movq %rax, %rbx
jmp 0x1917f
movq 0x8(%rsp), %rdi
movq %rax, %rbx
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x1917f
callq 0x42b0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x19193
callq 0x42b0
movq 0x48(%rsp), %rdi
cmpq %r12, %rdi
je 0x191a2
callq 0x42b0
movq 0x88(%rsp), %rdi
leaq 0x98(%rsp), %rax
cmpq %rax, %rdi
je 0x191bc
callq 0x42b0
movq 0x68(%rsp), %rdi
leaq 0x78(%rsp), %rax
cmpq %rax, %rdi
je 0x191d0
callq 0x42b0
movq %rbx, %rdi
callq 0x45b0