// File: /workspace/github_cpp_makefile_star2_O1/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 0x195fe
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
shlq $0x5, %rbx
addq %rsi, %rbx
leaq 0x58(%rsp), %rbp
xorl %r12d, %r12d
leaq 0x48(%rsp), %r13
leaq 0x78(%rsp), %rax
movq %rax, 0x68(%rsp)
movq (%r14), %rsi
movq 0x8(%r14), %rdx
addq %rsi, %rdx
leaq 0x68(%rsp), %rdi
callq 0x8df0
leaq 0x98(%rsp), %rax
movq %rax, 0x88(%rsp)
movq (%r15), %rsi
movq 0x8(%r15), %rdx
addq %rsi, %rdx
leaq 0x88(%rsp), %rdi
callq 0x8df0
movq %rbp, 0x48(%rsp)
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rdx
addq %rsi, %rdx
movq %r13, %rdi
callq 0x8df0
movq %r13, %rdi
leaq 0x1060b(%rip), %rsi     # 0x29ab5
callq 0x4610
leaq 0x28(%rsp), %rdi
movl %r12d, %esi
callq 0xd56b
movq 0x48(%rsp), %rcx
movl $0xf, %esi
cmpq %rbp, %rcx
je 0x194d0
movq 0x58(%rsp), %rsi
movq 0x50(%rsp), %r8
movq 0x30(%rsp), %rdx
leaq (%rdx,%r8), %rax
cmpq %rsi, %rax
jbe 0x194fe
movl $0xf, %esi
leaq 0x38(%rsp), %rdi
cmpq %rdi, 0x28(%rsp)
je 0x194f9
movq 0x38(%rsp), %rsi
cmpq %rsi, %rax
jbe 0x1950d
movq 0x28(%rsp), %rsi
movq %r13, %rdi
callq 0x40b0
jmp 0x1951b
leaq 0x28(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4330
leaq 0x18(%rsp), %rsi
movq %rsi, 0x8(%rsp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x19540
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x19548
vmovups (%rcx), %xmm0
vmovups %xmm0, (%rsi)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x10(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
leaq 0x88(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x1924c
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x1958b
callq 0x42b0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x1959f
callq 0x42b0
movq 0x48(%rsp), %rdi
cmpq %rbp, %rdi
je 0x195ae
callq 0x42b0
movq 0x88(%rsp), %rdi
leaq 0x98(%rsp), %rax
cmpq %rax, %rdi
je 0x195c8
callq 0x42b0
movq 0x68(%rsp), %rdi
leaq 0x78(%rsp), %rax
cmpq %rax, %rdi
je 0x195dc
callq 0x42b0
addq $0x20, %r14
incl %r12d
cmpq %rbx, %r14
jne 0x19441
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x12fc1(%rip), %rdi     # 0x2c5c6
leaq 0x12f0b(%rip), %rsi     # 0x2c517
leaq 0x12fc5(%rip), %rcx     # 0x2c5d8
movl $0x1f, %edx
callq 0x41b0
movq %rax, %r14
jmp 0x19687
movq %rax, %r14
jmp 0x1966d
jmp 0x19629
movq %rax, %r14
jmp 0x1965e
movq %rax, %r14
jmp 0x1964a
movq %rax, %r14
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x1964a
callq 0x42b0
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x1965e
callq 0x42b0
movq 0x48(%rsp), %rdi
cmpq %rbp, %rdi
je 0x1966d
callq 0x42b0
movq 0x88(%rsp), %rdi
leaq 0x98(%rsp), %rax
cmpq %rax, %rdi
je 0x19687
callq 0x42b0
movq 0x68(%rsp), %rdi
leaq 0x78(%rsp), %rax
cmpq %rax, %rdi
je 0x1969b
callq 0x42b0
movq %r14, %rdi
callq 0x45b0
nop