// File: /workspace/github_cpp_makefile_star2_O2/tewalds[P]pentagod/move.cpp
// Function: Move::test()
void Move::test() {
//	printf("move tests\n");

	//                     0      1      2      3      4      5      6      7
	check_many("a2z:0", {"a2z", "b6t", "f5v", "e1x", "b1u", "f2s", "e6y", "a5w"});
	check_many("a2z:1", {"e1x", "a2z", "b6t", "f5v", "a5w", "b1u", "f2s", "e6y"});
	check_many("a2z:2", {"f5v", "e1x", "a2z", "b6t", "e6y", "a5w", "b1u", "f2s"});
	check_many("a2z:3", {"b6t", "f5v", "e1x", "a2z", "f2s", "e6y", "a5w", "b1u"});
	check_many("a2z:4", {"b1u", "a5w", "e6y", "f2s", "a2z", "e1x", "f5v" ,"b6t"});
	check_many("a2z:5", {"f2s", "b1u", "a5w", "e6y", "b6t", "a2z", "e1x", "f5v"});
	check_many("a2z:6", {"e6y", "f2s", "b1u", "a5w", "f5v", "b6t", "a2z", "e1x"});
	check_many("a2z:7", {"a5w", "e6y", "f2s", "b1u", "e1x", "f5v", "b6t", "a2z"});
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x218, %rsp            # imm = 0x218
leaq 0xd309(%rip), %rsi      # 0x1f36a
leaq 0x1f8(%rsp), %rdi
leaq 0x17(%rsp), %rdx
callq 0x40f0
leaq 0x18(%rsp), %r14
leaq 0xd29b(%rip), %rsi      # 0x1f31a
leaq 0x16(%rsp), %rdx
movq %r14, %rdi
callq 0x40f0
leaq 0x38(%rsp), %r15
leaq 0xd286(%rip), %rsi      # 0x1f31e
leaq 0x15(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x58(%rsp), %r15
leaq 0xd271(%rip), %rsi      # 0x1f322
leaq 0x14(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x78(%rsp), %r15
leaq 0xd25c(%rip), %rsi      # 0x1f326
leaq 0x13(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x98(%rsp), %r15
leaq 0xd244(%rip), %rsi      # 0x1f32a
leaq 0x12(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xb8(%rsp), %r15
leaq 0xd22c(%rip), %rsi      # 0x1f32e
leaq 0x11(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xd8(%rsp), %r15
leaq 0xd214(%rip), %rsi      # 0x1f332
leaq 0x10(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xf8(%rsp), %r15
leaq 0xd1fc(%rip), %rsi      # 0x1f336
leaq 0xf(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x1f8(%rsp), %rdi
leaq 0x18(%rsp), %rsi
pushq $0x8
popq %rdx
callq 0x11ee8
movl $0xe0, %ebx
leaq 0x18(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x12161
leaq 0x1f8(%rsp), %rdi
callq 0x4130
leaq 0xd1e7(%rip), %rsi      # 0x1f370
leaq 0x1d8(%rsp), %rdi
leaq 0x17(%rsp), %rdx
callq 0x40f0
leaq 0x18(%rsp), %r14
leaq 0xd17f(%rip), %rsi      # 0x1f326
leaq 0x16(%rsp), %rdx
movq %r14, %rdi
callq 0x40f0
leaq 0x38(%rsp), %r15
leaq 0xd15a(%rip), %rsi      # 0x1f31a
leaq 0x15(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x58(%rsp), %r15
leaq 0xd145(%rip), %rsi      # 0x1f31e
leaq 0x14(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x78(%rsp), %r15
leaq 0xd130(%rip), %rsi      # 0x1f322
leaq 0x13(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x98(%rsp), %r15
leaq 0xd128(%rip), %rsi      # 0x1f336
leaq 0x12(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xb8(%rsp), %r15
leaq 0xd100(%rip), %rsi      # 0x1f32a
leaq 0x11(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xd8(%rsp), %r15
leaq 0xd0e8(%rip), %rsi      # 0x1f32e
leaq 0x10(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xf8(%rsp), %r15
leaq 0xd0d0(%rip), %rsi      # 0x1f332
leaq 0xf(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x1d8(%rsp), %rdi
leaq 0x18(%rsp), %rsi
pushq $0x8
popq %rdx
callq 0x11ee8
movl $0xe0, %ebx
leaq 0x18(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x12289
leaq 0x1d8(%rsp), %rdi
callq 0x4130
leaq 0xd0c5(%rip), %rsi      # 0x1f376
leaq 0x1b8(%rsp), %rdi
leaq 0x17(%rsp), %rdx
callq 0x40f0
leaq 0x18(%rsp), %r14
leaq 0xd053(%rip), %rsi      # 0x1f322
leaq 0x16(%rsp), %rdx
movq %r14, %rdi
callq 0x40f0
leaq 0x38(%rsp), %r15
leaq 0xd03e(%rip), %rsi      # 0x1f326
leaq 0x15(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x58(%rsp), %r15
leaq 0xd019(%rip), %rsi      # 0x1f31a
leaq 0x14(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x78(%rsp), %r15
leaq 0xd004(%rip), %rsi      # 0x1f31e
leaq 0x13(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x98(%rsp), %r15
leaq 0xcffc(%rip), %rsi      # 0x1f332
leaq 0x12(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xb8(%rsp), %r15
leaq 0xcfe4(%rip), %rsi      # 0x1f336
leaq 0x11(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xd8(%rsp), %r15
leaq 0xcfbc(%rip), %rsi      # 0x1f32a
leaq 0x10(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xf8(%rsp), %r15
leaq 0xcfa4(%rip), %rsi      # 0x1f32e
leaq 0xf(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x1b8(%rsp), %rdi
leaq 0x18(%rsp), %rsi
pushq $0x8
popq %rdx
callq 0x11ee8
movl $0xe0, %ebx
leaq 0x18(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x123b1
leaq 0x1b8(%rsp), %rdi
callq 0x4130
leaq 0xcfa3(%rip), %rsi      # 0x1f37c
leaq 0x198(%rsp), %rdi
leaq 0x17(%rsp), %rdx
callq 0x40f0
leaq 0x18(%rsp), %r14
leaq 0xcf27(%rip), %rsi      # 0x1f31e
leaq 0x16(%rsp), %rdx
movq %r14, %rdi
callq 0x40f0
leaq 0x38(%rsp), %r15
leaq 0xcf12(%rip), %rsi      # 0x1f322
leaq 0x15(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x58(%rsp), %r15
leaq 0xcefd(%rip), %rsi      # 0x1f326
leaq 0x14(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x78(%rsp), %r15
leaq 0xced8(%rip), %rsi      # 0x1f31a
leaq 0x13(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x98(%rsp), %r15
leaq 0xced0(%rip), %rsi      # 0x1f32e
leaq 0x12(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xb8(%rsp), %r15
leaq 0xceb8(%rip), %rsi      # 0x1f332
leaq 0x11(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xd8(%rsp), %r15
leaq 0xcea0(%rip), %rsi      # 0x1f336
leaq 0x10(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xf8(%rsp), %r15
leaq 0xce78(%rip), %rsi      # 0x1f32a
leaq 0xf(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x198(%rsp), %rdi
leaq 0x18(%rsp), %rsi
pushq $0x8
popq %rdx
callq 0x11ee8
movl $0xe0, %ebx
leaq 0x18(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x124d9
leaq 0x198(%rsp), %rdi
callq 0x4130
leaq 0xce81(%rip), %rsi      # 0x1f382
leaq 0x178(%rsp), %rdi
leaq 0x17(%rsp), %rdx
callq 0x40f0
leaq 0x18(%rsp), %r14
leaq 0xce0b(%rip), %rsi      # 0x1f32a
leaq 0x16(%rsp), %rdx
movq %r14, %rdi
callq 0x40f0
leaq 0x38(%rsp), %r15
leaq 0xcdfe(%rip), %rsi      # 0x1f336
leaq 0x15(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x58(%rsp), %r15
leaq 0xcde1(%rip), %rsi      # 0x1f332
leaq 0x14(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x78(%rsp), %r15
leaq 0xcdc4(%rip), %rsi      # 0x1f32e
leaq 0x13(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x98(%rsp), %r15
leaq 0xcd94(%rip), %rsi      # 0x1f31a
leaq 0x12(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xb8(%rsp), %r15
leaq 0xcd84(%rip), %rsi      # 0x1f326
leaq 0x11(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xd8(%rsp), %r15
leaq 0xcd64(%rip), %rsi      # 0x1f322
leaq 0x10(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xf8(%rsp), %r15
leaq 0xcd44(%rip), %rsi      # 0x1f31e
leaq 0xf(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x178(%rsp), %rdi
leaq 0x18(%rsp), %rsi
pushq $0x8
popq %rdx
callq 0x11ee8
movl $0xe0, %ebx
leaq 0x18(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x12601
leaq 0x178(%rsp), %rdi
callq 0x4130
leaq 0xcd5f(%rip), %rsi      # 0x1f388
leaq 0x158(%rsp), %rdi
leaq 0x17(%rsp), %rdx
callq 0x40f0
leaq 0x18(%rsp), %r14
leaq 0xcce7(%rip), %rsi      # 0x1f32e
leaq 0x16(%rsp), %rdx
movq %r14, %rdi
callq 0x40f0
leaq 0x38(%rsp), %r15
leaq 0xccca(%rip), %rsi      # 0x1f32a
leaq 0x15(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x58(%rsp), %r15
leaq 0xccbd(%rip), %rsi      # 0x1f336
leaq 0x14(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x78(%rsp), %r15
leaq 0xcca0(%rip), %rsi      # 0x1f332
leaq 0x13(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x98(%rsp), %r15
leaq 0xcc70(%rip), %rsi      # 0x1f31e
leaq 0x12(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xb8(%rsp), %r15
leaq 0xcc50(%rip), %rsi      # 0x1f31a
leaq 0x11(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xd8(%rsp), %r15
leaq 0xcc40(%rip), %rsi      # 0x1f326
leaq 0x10(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xf8(%rsp), %r15
leaq 0xcc20(%rip), %rsi      # 0x1f322
leaq 0xf(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x158(%rsp), %rdi
leaq 0x18(%rsp), %rsi
pushq $0x8
popq %rdx
callq 0x11ee8
movl $0xe0, %ebx
leaq 0x18(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x12729
leaq 0x158(%rsp), %rdi
callq 0x4130
leaq 0xcc3d(%rip), %rsi      # 0x1f38e
leaq 0x138(%rsp), %rdi
leaq 0x17(%rsp), %rdx
callq 0x40f0
leaq 0x18(%rsp), %r14
leaq 0xcbc3(%rip), %rsi      # 0x1f332
leaq 0x16(%rsp), %rdx
movq %r14, %rdi
callq 0x40f0
leaq 0x38(%rsp), %r15
leaq 0xcba6(%rip), %rsi      # 0x1f32e
leaq 0x15(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x58(%rsp), %r15
leaq 0xcb89(%rip), %rsi      # 0x1f32a
leaq 0x14(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x78(%rsp), %r15
leaq 0xcb7c(%rip), %rsi      # 0x1f336
leaq 0x13(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x98(%rsp), %r15
leaq 0xcb4c(%rip), %rsi      # 0x1f322
leaq 0x12(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xb8(%rsp), %r15
leaq 0xcb2c(%rip), %rsi      # 0x1f31e
leaq 0x11(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xd8(%rsp), %r15
leaq 0xcb0c(%rip), %rsi      # 0x1f31a
leaq 0x10(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xf8(%rsp), %r15
leaq 0xcafc(%rip), %rsi      # 0x1f326
leaq 0xf(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x138(%rsp), %rdi
leaq 0x18(%rsp), %rsi
pushq $0x8
popq %rdx
callq 0x11ee8
movl $0xe0, %ebx
leaq 0x18(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x12851
leaq 0x138(%rsp), %rdi
callq 0x4130
leaq 0xcb1b(%rip), %rsi      # 0x1f394
leaq 0x118(%rsp), %rdi
leaq 0x17(%rsp), %rdx
callq 0x40f0
leaq 0x18(%rsp), %r14
leaq 0xca9f(%rip), %rsi      # 0x1f336
leaq 0x16(%rsp), %rdx
movq %r14, %rdi
callq 0x40f0
leaq 0x38(%rsp), %r15
leaq 0xca82(%rip), %rsi      # 0x1f332
leaq 0x15(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x58(%rsp), %r15
leaq 0xca65(%rip), %rsi      # 0x1f32e
leaq 0x14(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x78(%rsp), %r15
leaq 0xca48(%rip), %rsi      # 0x1f32a
leaq 0x13(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x98(%rsp), %r15
leaq 0xca28(%rip), %rsi      # 0x1f326
leaq 0x12(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xb8(%rsp), %r15
leaq 0xca08(%rip), %rsi      # 0x1f322
leaq 0x11(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xd8(%rsp), %r15
leaq 0xc9e8(%rip), %rsi      # 0x1f31e
leaq 0x10(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0xf8(%rsp), %r15
leaq 0xc9c8(%rip), %rsi      # 0x1f31a
leaq 0xf(%rsp), %rdx
movq %r15, %rdi
callq 0x40f0
leaq 0x118(%rsp), %rdi
leaq 0x18(%rsp), %rsi
pushq $0x8
popq %rdx
callq 0x11ee8
movl $0xe0, %ebx
leaq 0x18(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x12979
leaq 0x118(%rsp), %rdi
callq 0x4130
addq $0x218, %rsp            # imm = 0x218
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movl $0xe0, %r12d
movq %rax, %rbx
leaq 0x18(%rsp,%r12), %rdi
callq 0x4130
addq $-0x20, %r12
cmpq $-0x20, %r12
jne 0x129b2
movb $0x1, %al
jmp 0x129db
jmp 0x129d6
jmp 0x129d6
jmp 0x129d6
jmp 0x129d6
jmp 0x129d6
jmp 0x129d6
movq %rax, %rbx
xorl %eax, %eax
cmpq %r15, %r14
sete %cl
testb %al, %al
jne 0x129ff
testb %cl, %cl
jne 0x129ff
addq $-0x20, %r15
movq %r15, %rdi
callq 0x4130
cmpq %r14, %r15
jne 0x129e9
jmp 0x129ff
movq %rax, %rbx
leaq 0x118(%rsp), %rdi
jmp 0x12cd9
jmp 0x12ce6
movl $0xe0, %r12d
movq %rax, %rbx
leaq 0x18(%rsp,%r12), %rdi
callq 0x4130
addq $-0x20, %r12
cmpq $-0x20, %r12
jne 0x12a1a
movb $0x1, %al
jmp 0x12a43
jmp 0x12a3e
jmp 0x12a3e
jmp 0x12a3e
jmp 0x12a3e
jmp 0x12a3e
jmp 0x12a3e
movq %rax, %rbx
xorl %eax, %eax
cmpq %r15, %r14
sete %cl
testb %al, %al
jne 0x12a67
testb %cl, %cl
jne 0x12a67
addq $-0x20, %r15
movq %r15, %rdi
callq 0x4130
cmpq %r14, %r15
jne 0x12a51
jmp 0x12a67
movq %rax, %rbx
leaq 0x138(%rsp), %rdi
jmp 0x12cd9
jmp 0x12ce6
movl $0xe0, %r12d
movq %rax, %rbx
leaq 0x18(%rsp,%r12), %rdi
callq 0x4130
addq $-0x20, %r12
cmpq $-0x20, %r12
jne 0x12a82
movb $0x1, %al
jmp 0x12aab
jmp 0x12aa6
jmp 0x12aa6
jmp 0x12aa6
jmp 0x12aa6
jmp 0x12aa6
jmp 0x12aa6
movq %rax, %rbx
xorl %eax, %eax
cmpq %r15, %r14
sete %cl
testb %al, %al
jne 0x12acf
testb %cl, %cl
jne 0x12acf
addq $-0x20, %r15
movq %r15, %rdi
callq 0x4130
cmpq %r14, %r15
jne 0x12ab9
jmp 0x12acf
movq %rax, %rbx
leaq 0x158(%rsp), %rdi
jmp 0x12cd9
jmp 0x12ce6
movl $0xe0, %r12d
movq %rax, %rbx
leaq 0x18(%rsp,%r12), %rdi
callq 0x4130
addq $-0x20, %r12
cmpq $-0x20, %r12
jne 0x12aea
movb $0x1, %al
jmp 0x12b13
jmp 0x12b0e
jmp 0x12b0e
jmp 0x12b0e
jmp 0x12b0e
jmp 0x12b0e
jmp 0x12b0e
movq %rax, %rbx
xorl %eax, %eax
cmpq %r15, %r14
sete %cl
testb %al, %al
jne 0x12b37
testb %cl, %cl
jne 0x12b37
addq $-0x20, %r15
movq %r15, %rdi
callq 0x4130
cmpq %r14, %r15
jne 0x12b21
jmp 0x12b37
movq %rax, %rbx
leaq 0x178(%rsp), %rdi
jmp 0x12cd9
jmp 0x12ce6
movl $0xe0, %r12d
movq %rax, %rbx
leaq 0x18(%rsp,%r12), %rdi
callq 0x4130
addq $-0x20, %r12
cmpq $-0x20, %r12
jne 0x12b52
movb $0x1, %al
jmp 0x12b7b
jmp 0x12b76
jmp 0x12b76
jmp 0x12b76
jmp 0x12b76
jmp 0x12b76
jmp 0x12b76
movq %rax, %rbx
xorl %eax, %eax
cmpq %r15, %r14
sete %cl
testb %al, %al
jne 0x12b9f
testb %cl, %cl
jne 0x12b9f
addq $-0x20, %r15
movq %r15, %rdi
callq 0x4130
cmpq %r14, %r15
jne 0x12b89
jmp 0x12b9f
movq %rax, %rbx
leaq 0x198(%rsp), %rdi
jmp 0x12cd9
jmp 0x12ce6
movl $0xe0, %r12d
movq %rax, %rbx
leaq 0x18(%rsp,%r12), %rdi
callq 0x4130
addq $-0x20, %r12
cmpq $-0x20, %r12
jne 0x12bba
movb $0x1, %al
jmp 0x12be3
jmp 0x12bde
jmp 0x12bde
jmp 0x12bde
jmp 0x12bde
jmp 0x12bde
jmp 0x12bde
movq %rax, %rbx
xorl %eax, %eax
cmpq %r15, %r14
sete %cl
testb %al, %al
jne 0x12c07
testb %cl, %cl
jne 0x12c07
addq $-0x20, %r15
movq %r15, %rdi
callq 0x4130
cmpq %r14, %r15
jne 0x12bf1
jmp 0x12c07
movq %rax, %rbx
leaq 0x1b8(%rsp), %rdi
jmp 0x12cd9
jmp 0x12ce6
movl $0xe0, %r12d
movq %rax, %rbx
leaq 0x18(%rsp,%r12), %rdi
callq 0x4130
addq $-0x20, %r12
cmpq $-0x20, %r12
jne 0x12c22
movb $0x1, %al
jmp 0x12c4b
jmp 0x12c46
jmp 0x12c46
jmp 0x12c46
jmp 0x12c46
jmp 0x12c46
jmp 0x12c46
movq %rax, %rbx
xorl %eax, %eax
cmpq %r15, %r14
sete %cl
testb %al, %al
jne 0x12c6f
testb %cl, %cl
jne 0x12c6f
addq $-0x20, %r15
movq %r15, %rdi
callq 0x4130
cmpq %r14, %r15
jne 0x12c59
jmp 0x12c6f
movq %rax, %rbx
leaq 0x1d8(%rsp), %rdi
jmp 0x12cd9
jmp 0x12ce6
movl $0xe0, %r12d
movq %rax, %rbx
leaq 0x18(%rsp,%r12), %rdi
callq 0x4130
addq $-0x20, %r12
cmpq $-0x20, %r12
jne 0x12c84
movb $0x1, %al
jmp 0x12cad
jmp 0x12ca8
jmp 0x12ca8
jmp 0x12ca8
jmp 0x12ca8
jmp 0x12ca8
jmp 0x12ca8
movq %rax, %rbx
xorl %eax, %eax
cmpq %r15, %r14
sete %cl
testb %al, %al
jne 0x12cd1
testb %cl, %cl
jne 0x12cd1
addq $-0x20, %r15
movq %r15, %rdi
callq 0x4130
cmpq %r14, %r15
jne 0x12cbb
jmp 0x12cd1
movq %rax, %rbx
leaq 0x1f8(%rsp), %rdi
callq 0x4130
movq %rbx, %rdi
callq 0x4590
movq %rax, %rbx
jmp 0x12cde
nop