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

	//a single non-rotated piece leads to known board orientations
	check(6, 0, "a2z");
	check(6, 1, "b6t");
	check(6, 2, "f5v");
	check(6, 3, "e1x");
	check(6, 4, "b1u");
	check(6, 5, "f2s");
	check(6, 6, "e6y");
	check(6, 7, "a5w");

	check(2, 0, "a1z");
	check(2, 1, "a6t");
	check(2, 2, "f6v");
	check(2, 3, "f1x");

	//a pair of non-rotated pieces lead to known board orientations
	check(15, 0, {"a2z", "a3z"});
	check(15, 1, {"b6t", "c6t"});
	check(15, 2, {"f5v", "f4v"});
	check(15, 3, {"e1x", "d1x"});
	check(15, 4, {"b1u", "c1u"});
	check(15, 5, {"f2s", "f3s"});
	check(15, 6, {"e6y", "d6y"});
	check(15, 7, {"a5w", "a4w"});

	//a single oriented piece leads to a known board orientation
	check(6, 0, "a2z:0");
	check(6, 3, "a2z:1");
	check(6, 2, "a2z:2");
	check(6, 1, "a2z:3");
	check(6, 4, "a2z:4");
	check(6, 5, "a2z:5");
	check(6, 6, "a2z:6");
	check(6, 7, "a2z:7");

	//a single oriented piece leads to a known board orientation
	check(6, 1, "b6t:0");
	check(6, 0, "b6t:1");
	check(6, 3, "b6t:2");
	check(6, 2, "b6t:3");
	check(6, 5, "b6t:4");
	check(6, 6, "b6t:5");
	check(6, 7, "b6t:6");
	check(6, 4, "b6t:7");

	//a single oriented piece leads to a known board orientation
	check(6, 2, "f5v:0");
	check(6, 1, "f5v:1");
	check(6, 0, "f5v:2");
	check(6, 3, "f5v:3");
	check(6, 6, "f5v:4");
	check(6, 7, "f5v:5");
	check(6, 4, "f5v:6");
	check(6, 5, "f5v:7");

	//a single oriented piece leads to a known board orientation
	check(6, 4, "b1u:0");
	check(6, 5, "b1u:1");
	check(6, 6, "b1u:2");
	check(6, 7, "b1u:3");
	check(6, 0, "b1u:4");
	check(6, 3, "b1u:5");
	check(6, 2, "b1u:6");
	check(6, 1, "b1u:7");

	//a single oriented piece leads to a known board orientation
	check(6, 7, "a5w:0");
	check(6, 4, "a5w:1");
	check(6, 5, "a5w:2");
	check(6, 6, "a5w:3");
	check(6, 3, "a5w:4");
	check(6, 2, "a5w:5");
	check(6, 1, "a5w:6");
	check(6, 0, "a5w:7");
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x6c8, %rsp            # imm = 0x6C8
leaq 0xeb77(%rip), %rsi      # 0x1f31a
leaq 0x6a8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
leaq 0x6a8(%rsp), %rdx
xorl %esi, %esi
callq 0x1064a
leaq 0x6a8(%rsp), %rdi
callq 0x4130
leaq 0xeb43(%rip), %rsi      # 0x1f31e
leaq 0x688(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x1
popq %rsi
leaq 0x688(%rsp), %rdx
callq 0x1064a
leaq 0x688(%rsp), %rdi
callq 0x4130
leaq 0xeb0e(%rip), %rsi      # 0x1f322
leaq 0x668(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x2
popq %rsi
leaq 0x668(%rsp), %rdx
callq 0x1064a
leaq 0x668(%rsp), %rdi
callq 0x4130
leaq 0xead9(%rip), %rsi      # 0x1f326
leaq 0x648(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x3
popq %rsi
leaq 0x648(%rsp), %rdx
callq 0x1064a
leaq 0x648(%rsp), %rdi
callq 0x4130
leaq 0xeaa4(%rip), %rsi      # 0x1f32a
leaq 0x628(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x4
popq %rsi
leaq 0x628(%rsp), %rdx
callq 0x1064a
leaq 0x628(%rsp), %rdi
callq 0x4130
leaq 0xea6f(%rip), %rsi      # 0x1f32e
leaq 0x608(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x5
popq %rsi
leaq 0x608(%rsp), %rdx
callq 0x1064a
leaq 0x608(%rsp), %rdi
callq 0x4130
leaq 0xea3a(%rip), %rsi      # 0x1f332
leaq 0x5e8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x6
popq %rsi
leaq 0x5e8(%rsp), %rdx
callq 0x1064a
leaq 0x5e8(%rsp), %rdi
callq 0x4130
leaq 0xea05(%rip), %rsi      # 0x1f336
leaq 0x5c8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x7
popq %rsi
leaq 0x5c8(%rsp), %rdx
callq 0x1064a
leaq 0x5c8(%rsp), %rdi
callq 0x4130
leaq 0xe9d0(%rip), %rsi      # 0x1f33a
leaq 0x5a8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x2
popq %rdi
leaq 0x5a8(%rsp), %rdx
xorl %esi, %esi
callq 0x1064a
leaq 0x5a8(%rsp), %rdi
callq 0x4130
leaq 0xe99c(%rip), %rsi      # 0x1f33e
leaq 0x588(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x2
popq %rdi
pushq $0x1
popq %rsi
leaq 0x588(%rsp), %rdx
callq 0x1064a
leaq 0x588(%rsp), %rdi
callq 0x4130
leaq 0xe967(%rip), %rsi      # 0x1f342
leaq 0x568(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x2
popq %rdi
pushq $0x2
popq %rsi
leaq 0x568(%rsp), %rdx
callq 0x1064a
leaq 0x568(%rsp), %rdi
callq 0x4130
leaq 0xe932(%rip), %rsi      # 0x1f346
leaq 0x548(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x2
popq %rdi
pushq $0x3
popq %rsi
leaq 0x548(%rsp), %rdx
callq 0x1064a
leaq 0x548(%rsp), %rdi
callq 0x4130
leaq 0xe8cd(%rip), %rsi      # 0x1f31a
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x40f0
leaq 0x28(%rsp), %rdi
leaq 0xe8e2(%rip), %rsi      # 0x1f34a
leaq 0x6(%rsp), %rdx
callq 0x40f0
pushq $0xf
popq %rdi
leaq 0x8(%rsp), %rdx
pushq $0x2
popq %rcx
xorl %esi, %esi
callq 0x106c0
pushq $0x20
popq %rbx
leaq 0x8(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x10a87
leaq 0xe87c(%rip), %rsi      # 0x1f31e
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x40f0
leaq 0x28(%rsp), %rdi
leaq 0xe891(%rip), %rsi      # 0x1f34e
leaq 0x6(%rsp), %rdx
callq 0x40f0
pushq $0xf
popq %rdi
pushq $0x1
popq %rsi
leaq 0x8(%rsp), %rdx
pushq $0x2
popq %rcx
callq 0x106c0
pushq $0x20
popq %rbx
leaq 0x8(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x10add
leaq 0xe82a(%rip), %rsi      # 0x1f322
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x40f0
leaq 0x28(%rsp), %rdi
leaq 0xe83f(%rip), %rsi      # 0x1f352
leaq 0x6(%rsp), %rdx
callq 0x40f0
pushq $0xf
popq %rdi
pushq $0x2
popq %rsi
leaq 0x8(%rsp), %rdx
pushq $0x2
popq %rcx
callq 0x106c0
pushq $0x20
popq %rbx
leaq 0x8(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x10b33
leaq 0xe7d8(%rip), %rsi      # 0x1f326
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x40f0
leaq 0x28(%rsp), %rdi
leaq 0xe7ed(%rip), %rsi      # 0x1f356
leaq 0x6(%rsp), %rdx
callq 0x40f0
pushq $0xf
popq %rdi
pushq $0x3
popq %rsi
leaq 0x8(%rsp), %rdx
pushq $0x2
popq %rcx
callq 0x106c0
pushq $0x20
popq %rbx
leaq 0x8(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x10b89
leaq 0xe786(%rip), %rsi      # 0x1f32a
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x40f0
leaq 0x28(%rsp), %rdi
leaq 0xe79b(%rip), %rsi      # 0x1f35a
leaq 0x6(%rsp), %rdx
callq 0x40f0
pushq $0xf
popq %rdi
pushq $0x4
popq %rsi
leaq 0x8(%rsp), %rdx
pushq $0x2
popq %rcx
callq 0x106c0
pushq $0x20
popq %rbx
leaq 0x8(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x10bdf
leaq 0xe734(%rip), %rsi      # 0x1f32e
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x40f0
leaq 0x28(%rsp), %rdi
leaq 0xe749(%rip), %rsi      # 0x1f35e
leaq 0x6(%rsp), %rdx
callq 0x40f0
pushq $0xf
popq %rdi
pushq $0x5
popq %rsi
leaq 0x8(%rsp), %rdx
pushq $0x2
popq %rcx
callq 0x106c0
pushq $0x20
popq %rbx
leaq 0x8(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x10c35
leaq 0xe6e2(%rip), %rsi      # 0x1f332
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x40f0
leaq 0x28(%rsp), %rdi
leaq 0xe6f7(%rip), %rsi      # 0x1f362
leaq 0x6(%rsp), %rdx
callq 0x40f0
pushq $0xf
popq %rdi
pushq $0x6
popq %rsi
leaq 0x8(%rsp), %rdx
pushq $0x2
popq %rcx
callq 0x106c0
pushq $0x20
popq %rbx
leaq 0x8(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x10c8b
leaq 0xe690(%rip), %rsi      # 0x1f336
leaq 0x8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x40f0
leaq 0x28(%rsp), %rdi
leaq 0xe6a5(%rip), %rsi      # 0x1f366
leaq 0x6(%rsp), %rdx
callq 0x40f0
pushq $0xf
popq %rdi
pushq $0x7
popq %rsi
leaq 0x8(%rsp), %rdx
pushq $0x2
popq %rcx
callq 0x106c0
pushq $0x20
popq %rbx
leaq 0x8(%rsp,%rbx), %rdi
callq 0x4130
addq $-0x20, %rbx
cmpq $-0x20, %rbx
jne 0x10ce1
leaq 0xe66e(%rip), %rsi      # 0x1f36a
leaq 0x528(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
leaq 0x528(%rsp), %rdx
xorl %esi, %esi
callq 0x1064a
leaq 0x528(%rsp), %rdi
callq 0x4130
leaq 0xe63c(%rip), %rsi      # 0x1f370
leaq 0x508(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x3
popq %rsi
leaq 0x508(%rsp), %rdx
callq 0x1064a
leaq 0x508(%rsp), %rdi
callq 0x4130
leaq 0xe609(%rip), %rsi      # 0x1f376
leaq 0x4e8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x2
popq %rsi
leaq 0x4e8(%rsp), %rdx
callq 0x1064a
leaq 0x4e8(%rsp), %rdi
callq 0x4130
leaq 0xe5d6(%rip), %rsi      # 0x1f37c
leaq 0x4c8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x1
popq %rsi
leaq 0x4c8(%rsp), %rdx
callq 0x1064a
leaq 0x4c8(%rsp), %rdi
callq 0x4130
leaq 0xe5a3(%rip), %rsi      # 0x1f382
leaq 0x4a8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x4
popq %rsi
leaq 0x4a8(%rsp), %rdx
callq 0x1064a
leaq 0x4a8(%rsp), %rdi
callq 0x4130
leaq 0xe570(%rip), %rsi      # 0x1f388
leaq 0x488(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x5
popq %rsi
leaq 0x488(%rsp), %rdx
callq 0x1064a
leaq 0x488(%rsp), %rdi
callq 0x4130
leaq 0xe53d(%rip), %rsi      # 0x1f38e
leaq 0x468(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x6
popq %rsi
leaq 0x468(%rsp), %rdx
callq 0x1064a
leaq 0x468(%rsp), %rdi
callq 0x4130
leaq 0xe50a(%rip), %rsi      # 0x1f394
leaq 0x448(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x7
popq %rsi
leaq 0x448(%rsp), %rdx
callq 0x1064a
leaq 0x448(%rsp), %rdi
callq 0x4130
leaq 0xe4d7(%rip), %rsi      # 0x1f39a
leaq 0x428(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x1
popq %rsi
leaq 0x428(%rsp), %rdx
callq 0x1064a
leaq 0x428(%rsp), %rdi
callq 0x4130
leaq 0xe4a4(%rip), %rsi      # 0x1f3a0
leaq 0x408(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
leaq 0x408(%rsp), %rdx
xorl %esi, %esi
callq 0x1064a
leaq 0x408(%rsp), %rdi
callq 0x4130
leaq 0xe472(%rip), %rsi      # 0x1f3a6
leaq 0x3e8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x3
popq %rsi
leaq 0x3e8(%rsp), %rdx
callq 0x1064a
leaq 0x3e8(%rsp), %rdi
callq 0x4130
leaq 0xe43f(%rip), %rsi      # 0x1f3ac
leaq 0x3c8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x2
popq %rsi
leaq 0x3c8(%rsp), %rdx
callq 0x1064a
leaq 0x3c8(%rsp), %rdi
callq 0x4130
leaq 0xe40c(%rip), %rsi      # 0x1f3b2
leaq 0x3a8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x5
popq %rsi
leaq 0x3a8(%rsp), %rdx
callq 0x1064a
leaq 0x3a8(%rsp), %rdi
callq 0x4130
leaq 0xe3d9(%rip), %rsi      # 0x1f3b8
leaq 0x388(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x6
popq %rsi
leaq 0x388(%rsp), %rdx
callq 0x1064a
leaq 0x388(%rsp), %rdi
callq 0x4130
leaq 0xe3a6(%rip), %rsi      # 0x1f3be
leaq 0x368(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x7
popq %rsi
leaq 0x368(%rsp), %rdx
callq 0x1064a
leaq 0x368(%rsp), %rdi
callq 0x4130
leaq 0xe373(%rip), %rsi      # 0x1f3c4
leaq 0x348(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x4
popq %rsi
leaq 0x348(%rsp), %rdx
callq 0x1064a
leaq 0x348(%rsp), %rdi
callq 0x4130
leaq 0xe340(%rip), %rsi      # 0x1f3ca
leaq 0x328(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x2
popq %rsi
leaq 0x328(%rsp), %rdx
callq 0x1064a
leaq 0x328(%rsp), %rdi
callq 0x4130
leaq 0xe30d(%rip), %rsi      # 0x1f3d0
leaq 0x308(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x1
popq %rsi
leaq 0x308(%rsp), %rdx
callq 0x1064a
leaq 0x308(%rsp), %rdi
callq 0x4130
leaq 0xe2da(%rip), %rsi      # 0x1f3d6
leaq 0x2e8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
leaq 0x2e8(%rsp), %rdx
xorl %esi, %esi
callq 0x1064a
leaq 0x2e8(%rsp), %rdi
callq 0x4130
leaq 0xe2a8(%rip), %rsi      # 0x1f3dc
leaq 0x2c8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x3
popq %rsi
leaq 0x2c8(%rsp), %rdx
callq 0x1064a
leaq 0x2c8(%rsp), %rdi
callq 0x4130
leaq 0xe275(%rip), %rsi      # 0x1f3e2
leaq 0x2a8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x6
popq %rsi
leaq 0x2a8(%rsp), %rdx
callq 0x1064a
leaq 0x2a8(%rsp), %rdi
callq 0x4130
leaq 0xe242(%rip), %rsi      # 0x1f3e8
leaq 0x288(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x7
popq %rsi
leaq 0x288(%rsp), %rdx
callq 0x1064a
leaq 0x288(%rsp), %rdi
callq 0x4130
leaq 0xe20f(%rip), %rsi      # 0x1f3ee
leaq 0x268(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x4
popq %rsi
leaq 0x268(%rsp), %rdx
callq 0x1064a
leaq 0x268(%rsp), %rdi
callq 0x4130
leaq 0xe1dc(%rip), %rsi      # 0x1f3f4
leaq 0x248(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x5
popq %rsi
leaq 0x248(%rsp), %rdx
callq 0x1064a
leaq 0x248(%rsp), %rdi
callq 0x4130
leaq 0xe1a9(%rip), %rsi      # 0x1f3fa
leaq 0x228(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x4
popq %rsi
leaq 0x228(%rsp), %rdx
callq 0x1064a
leaq 0x228(%rsp), %rdi
callq 0x4130
leaq 0xe176(%rip), %rsi      # 0x1f400
leaq 0x208(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x5
popq %rsi
leaq 0x208(%rsp), %rdx
callq 0x1064a
leaq 0x208(%rsp), %rdi
callq 0x4130
leaq 0xe143(%rip), %rsi      # 0x1f406
leaq 0x1e8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x6
popq %rsi
leaq 0x1e8(%rsp), %rdx
callq 0x1064a
leaq 0x1e8(%rsp), %rdi
callq 0x4130
leaq 0xe110(%rip), %rsi      # 0x1f40c
leaq 0x1c8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x7
popq %rsi
leaq 0x1c8(%rsp), %rdx
callq 0x1064a
leaq 0x1c8(%rsp), %rdi
callq 0x4130
leaq 0xe0dd(%rip), %rsi      # 0x1f412
leaq 0x1a8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
leaq 0x1a8(%rsp), %rdx
xorl %esi, %esi
callq 0x1064a
leaq 0x1a8(%rsp), %rdi
callq 0x4130
leaq 0xe0ab(%rip), %rsi      # 0x1f418
leaq 0x188(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x3
popq %rsi
leaq 0x188(%rsp), %rdx
callq 0x1064a
leaq 0x188(%rsp), %rdi
callq 0x4130
leaq 0xe078(%rip), %rsi      # 0x1f41e
leaq 0x168(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x2
popq %rsi
leaq 0x168(%rsp), %rdx
callq 0x1064a
leaq 0x168(%rsp), %rdi
callq 0x4130
leaq 0xe045(%rip), %rsi      # 0x1f424
leaq 0x148(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x1
popq %rsi
leaq 0x148(%rsp), %rdx
callq 0x1064a
leaq 0x148(%rsp), %rdi
callq 0x4130
leaq 0xe012(%rip), %rsi      # 0x1f42a
leaq 0x128(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x7
popq %rsi
leaq 0x128(%rsp), %rdx
callq 0x1064a
leaq 0x128(%rsp), %rdi
callq 0x4130
leaq 0xdfdf(%rip), %rsi      # 0x1f430
leaq 0x108(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x4
popq %rsi
leaq 0x108(%rsp), %rdx
callq 0x1064a
leaq 0x108(%rsp), %rdi
callq 0x4130
leaq 0xdfac(%rip), %rsi      # 0x1f436
leaq 0xe8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x5
popq %rsi
leaq 0xe8(%rsp), %rdx
callq 0x1064a
leaq 0xe8(%rsp), %rdi
callq 0x4130
leaq 0xdf79(%rip), %rsi      # 0x1f43c
leaq 0xc8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x6
popq %rsi
leaq 0xc8(%rsp), %rdx
callq 0x1064a
leaq 0xc8(%rsp), %rdi
callq 0x4130
leaq 0xdf46(%rip), %rsi      # 0x1f442
leaq 0xa8(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x3
popq %rsi
leaq 0xa8(%rsp), %rdx
callq 0x1064a
leaq 0xa8(%rsp), %rdi
callq 0x4130
leaq 0xdf13(%rip), %rsi      # 0x1f448
leaq 0x88(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x2
popq %rsi
leaq 0x88(%rsp), %rdx
callq 0x1064a
leaq 0x88(%rsp), %rdi
callq 0x4130
leaq 0xdee0(%rip), %rsi      # 0x1f44e
leaq 0x68(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
pushq $0x1
popq %rsi
leaq 0x68(%rsp), %rdx
callq 0x1064a
leaq 0x68(%rsp), %rdi
callq 0x4130
leaq 0xdeb6(%rip), %rsi      # 0x1f454
leaq 0x48(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x40f0
pushq $0x6
popq %rdi
leaq 0x48(%rsp), %rdx
xorl %esi, %esi
callq 0x1064a
leaq 0x48(%rsp), %rdi
callq 0x4130
addq $0x6c8, %rsp            # imm = 0x6C8
popq %rbx
popq %r14
retq
leaq 0x48(%rsp), %rdi
movq %rax, %rbx
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x68(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0xa8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0xc8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0xe8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x108(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x128(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x148(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x168(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x188(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x1a8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x1c8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x1e8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x208(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x228(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x248(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x268(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x288(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x2a8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x2c8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x2e8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x308(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x328(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x348(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x368(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x388(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x3a8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x3c8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x3e8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x408(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x428(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x448(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x468(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x488(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x4a8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x4c8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x4e8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x508(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x528(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
pushq $0x20
popq %r14
leaq 0x8(%rsp,%r14), %rdi
callq 0x4130
addq $-0x20, %r14
cmpq $-0x20, %r14
jne 0x1191a
jmp 0x11b3a
jmp 0x11a50
jmp 0x11b37
movq %rax, %rbx
pushq $0x20
popq %r14
leaq 0x8(%rsp,%r14), %rdi
callq 0x4130
addq $-0x20, %r14
cmpq $-0x20, %r14
jne 0x11944
jmp 0x11b3a
jmp 0x11a50
jmp 0x11b37
movq %rax, %rbx
pushq $0x20
popq %r14
leaq 0x8(%rsp,%r14), %rdi
callq 0x4130
addq $-0x20, %r14
cmpq $-0x20, %r14
jne 0x1196e
jmp 0x11b3a
jmp 0x11a50
jmp 0x11b37
movq %rax, %rbx
pushq $0x20
popq %r14
leaq 0x8(%rsp,%r14), %rdi
callq 0x4130
addq $-0x20, %r14
cmpq $-0x20, %r14
jne 0x11998
jmp 0x11b3a
jmp 0x11a50
jmp 0x11b37
movq %rax, %rbx
pushq $0x20
popq %r14
leaq 0x8(%rsp,%r14), %rdi
callq 0x4130
addq $-0x20, %r14
cmpq $-0x20, %r14
jne 0x119c2
jmp 0x11b3a
jmp 0x11a50
jmp 0x11b37
movq %rax, %rbx
pushq $0x20
popq %r14
leaq 0x8(%rsp,%r14), %rdi
callq 0x4130
addq $-0x20, %r14
cmpq $-0x20, %r14
jne 0x119e9
jmp 0x11b3a
jmp 0x11a50
jmp 0x11b37
movq %rax, %rbx
pushq $0x20
popq %r14
leaq 0x8(%rsp,%r14), %rdi
callq 0x4130
addq $-0x20, %r14
cmpq $-0x20, %r14
jne 0x11a10
jmp 0x11b3a
jmp 0x11a50
jmp 0x11b37
movq %rax, %rbx
pushq $0x20
popq %r14
leaq 0x8(%rsp,%r14), %rdi
callq 0x4130
addq $-0x20, %r14
cmpq $-0x20, %r14
jne 0x11a37
jmp 0x11b3a
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x4130
jmp 0x11b3a
jmp 0x11b37
movq %rax, %rbx
leaq 0x548(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x568(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x588(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x5a8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x5c8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x5e8(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x608(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x628(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x648(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x668(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x688(%rsp), %rdi
jmp 0x11a58
jmp 0x11b37
movq %rax, %rbx
leaq 0x6a8(%rsp), %rdi
jmp 0x11a58
movq %rax, %rbx
movq %rbx, %rdi
callq 0x4590