// File: /workspace/github_cpp_makefile_star2_O3/ridgelab[P]Kmer-SSR/test/src/atomicityChecker.cpp
// Function: main
int main()
{
	AtomicityChecker ac = AtomicityChecker();
	//AtomicityChecker ac = AtomicityChecker( unordered_map<uint32_t, unordered_set<uint32_t>>( { { 7, unordered_set<uint32_t>( {1, 7} ) }, { 3, unordered_set<uint32_t>( { 1, 3} ) } } ) );

	//cout << ac.toString() << endl;

	vector<string> base_ssrs( {
		"A",
		"AA",
		"AAA",
		"AAAA",
		"AAAAA",
		"AAAAAA",
		"AAAAAAA",
		"AAAAAAAA",
		"AAAAAAAAA",
		"AAAAAAAAAA",
		"AAAAAAAAAAA",
		"AAAAAAAAAAAA",
		"AT",
		"ATAT",
		"ATATAT",
		"ATATATAT",
		"ATATATATAT",
		"ATATATATATAT",
		"ATATATATATATAT",
		"ATATATATATATATAT",
		"ATATATATATATATATAT",
		"ATATATATATATATATATAT",
		"ATATATATATATATATATATAT",
		"ATATATATATATATATATATATAT",
		"ATC",
		"ATCATC",
		"ATCATCATC",
		"ATCATCATCATC",
		"ATCATCATCATCATC",
		"ATCATCATCATCATCATC",
		"ATCATCATCATCATCATCATC",
		"ATCATCATCATCATCATCATCATC",
		"ATCATCATCATCATCATCATCATCATC",
		"ATCATCATCATCATCATCATCATCATCATC",
		"ATCATCATCATCATCATCATCATCATCATCATC",
		"ATCATCATCATCATCATCATCATCATCATCATCATC",
		"ATCG",
		"ATCGATCG",
		"ATCGATCGATCG",
		"ATCGATCGATCGATCG",
		"ATCGATCGATCGATCGATCG",
		"ATCGATCGATCGATCGATCGATCG",
		"ATCGATCGATCGATCGATCGATCGATCG",
		"ATCGATCGATCGATCGATCGATCGATCGATCG",
		"ATCGATCGATCGATCGATCGATCGATCGATCGATCG",
		"ATCGATCGATCGATCGATCGATCGATCGATCGATCGATCG",
		"ATCGATCGATCGATCGATCGATCGATCGATCGATCGATCGATCG",
		"ATCGATCGATCGATCGATCGATCGATCGATCGATCGATCGATCGATCG",
		"ATCGG",
		"ATCGGATCGG",
		"ATCGGATCGGATCGG",
		"ATCGGATCGGATCGGATCGG",
		"ATCGGATCGGATCGGATCGGATCGG",
		"ATCGGATCGGATCGGATCGGATCGGATCGG",
		"ATCGGATCGGATCGGATCGGATCGGATCGGATCGG",
		"ATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGG",
		"ATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGG",
		"ATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGG",
		"ATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGG",
		"ATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGGATCGG",
		"ATCGGT",
		"ATCGGTATCGGT",
		"ATCGGTATCGGTATCGGT",
		"ATCGGTATCGGTATCGGTATCGGT",
		"ATCGGTATCGGTATCGGTATCGGTATCGGT",
		"ATCGGTATCGGTATCGGTATCGGTATCGGTATCGGT",
		"ATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGT",
		"ATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGT",
		"ATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGT",
		"ATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGT",
		"ATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGT",
		"ATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGTATCGGT",
		"ATCGGTC",
		"ATCGGTCATCGGTC",
		"ATCGGTCATCGGTCATCGGTC",
		"ATCGGTCATCGGTCATCGGTCATCGGTC",
		"ATCGGTCATCGGTCATCGGTCATCGGTCATCGGTC",
		"ATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTC",
		"ATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTC",
		"ATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTC",
		"ATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTC",
		"ATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTC",
		"ATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTC",
		"ATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTCATCGGTC",
		"ATCGGTCG",
		"ATCGGTCGATCGGTCG",
		"ATCGGTCGATCGGTCGATCGGTCG",
		"ATCGGTCGATCGGTCGATCGGTCGATCGGTCG",
		"ATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCG",
		"ATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCG",
		"ATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCG",
		"ATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCG",
		"ATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCG",
		"ATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCG",
		"ATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCG",
		"ATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCGATCGGTCG",
		"ATCGGTCGC",
		"ATCGGTCGCATCGGTCGC",
		"ATCGGTCGCATCGGTCGCATCGGTCGC",
		"ATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGC",
		"ATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGC",
		"ATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGC",
		"ATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGC",
		"ATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGC",
		"ATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGC",
		"ATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGC",
		"ATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGC",
		"ATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGCATCGGTCGC",
		"ATCGGTCGCT",
		"ATCGGTCGCTATCGGTCGCT",
		"ATCGGTCGCTATCGGTCGCTATCGGTCGCT",
		"ATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCT",
		"ATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCT",
		"ATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCT",
		"ATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCT",
		"ATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCT",
		"ATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCT",
		"ATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCT",
		"ATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCT",
		"ATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCTATCGGTCGCT",
		"ATCGGTCGCTC",
		"ATCGGTCGCTCATCGGTCGCTC",
		"ATCGGTCGCTCATCGGTCGCTCATCGGTCGCTC",
		"ATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTC",
		"ATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTC",
		"ATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTC",
		"ATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTC",
		"ATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTC",
		"ATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTC",
		"ATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTC",
		"ATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTC",
		"ATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTCATCGGTCGCTC",
		"ATCGGTCGCTCG",
		"ATCGGTCGCTCGATCGGTCGCTCG",
		"ATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCG",
		"ATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCG",
		"ATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCG",
		"ATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCG",
		"ATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCG",
		"ATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCG",
		"ATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCG",
		"ATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCG",
		"ATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCG",
		"ATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCGATCGGTCGCTCG"
	} );

	vector<bool> expected;
	
	for (uint32_t i = 0; i < base_ssrs.size(); ++i)
	{
		if (i % 12)
		{
			expected.push_back(false);
		}
		else
		{
			expected.push_back(true);
		}
	}

	uint32_t passed_counter = 0;	

	for (uint32_t i = 0; i < base_ssrs.size(); ++i)
	{
		cout << "AtomicityChecker Test #" << i + 1 << ":\t";
		if (expected[i] == ac.isAtomic(base_ssrs[i]))
		{
			++passed_counter;
			cout << "OK";
		}
		else
		{
			cout << "FAIL";
		}
		cout << endl;
		
		//cout << base_ssrs[i] << ": " << ac.isAtomic(base_ssrs[i]) << endl;
	}
	
	string pass_or_fail_color = passed_counter == base_ssrs.size() ? "\033[0;32m" : "\033[0;31m";
	cout << "\033[0;34mAtomicityChecker Passed: " << pass_or_fail_color << passed_counter << " / " << base_ssrs.size() << "\033[0m" << endl;
	
	//cout << ac.toString() << endl;

	return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1268, %rsp           # imm = 0x1268
leaq 0x40(%rsp), %rdi
callq 0x489c
leaq 0x78(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4bd8(%rip), %rsi      # 0x700f
leaq 0x4bd2(%rip), %rdx      # 0x7010
leaq 0x68(%rsp), %rbx
movq %rbx, %rdi
callq 0x4264
leaq 0x88(%rsp), %r14
leaq 0x98(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4ba8(%rip), %rsi      # 0x700e
leaq 0x4ba3(%rip), %rdx      # 0x7010
movq %r14, %rdi
callq 0x4264
leaq 0xa8(%rsp), %r14
leaq 0xb8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4b7d(%rip), %rsi      # 0x700d
leaq 0x4b79(%rip), %rdx      # 0x7010
movq %r14, %rdi
callq 0x4264
leaq 0xc8(%rsp), %r14
leaq 0xd8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4b52(%rip), %rsi      # 0x700c
leaq 0x4b4f(%rip), %rdx      # 0x7010
movq %r14, %rdi
callq 0x4264
leaq 0xe8(%rsp), %r14
leaq 0xf8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4b27(%rip), %rsi      # 0x700b
leaq 0x4b25(%rip), %rdx      # 0x7010
movq %r14, %rdi
callq 0x4264
leaq 0x108(%rsp), %r14
leaq 0x118(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4afc(%rip), %rsi      # 0x700a
leaq 0x4afb(%rip), %rdx      # 0x7010
movq %r14, %rdi
callq 0x4264
leaq 0x128(%rsp), %r14
leaq 0x138(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4ad1(%rip), %rsi      # 0x7009
leaq 0x4ad1(%rip), %rdx      # 0x7010
movq %r14, %rdi
callq 0x4264
leaq 0x148(%rsp), %r14
leaq 0x158(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4aa6(%rip), %rsi      # 0x7008
leaq 0x4aa7(%rip), %rdx      # 0x7010
movq %r14, %rdi
callq 0x4264
leaq 0x168(%rsp), %r14
leaq 0x178(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4a7b(%rip), %rsi      # 0x7007
leaq 0x4a7d(%rip), %rdx      # 0x7010
movq %r14, %rdi
callq 0x4264
leaq 0x188(%rsp), %r14
leaq 0x198(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4a50(%rip), %rsi      # 0x7006
leaq 0x4a53(%rip), %rdx      # 0x7010
movq %r14, %rdi
callq 0x4264
leaq 0x1a8(%rsp), %r14
leaq 0x1b8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4a25(%rip), %rsi      # 0x7005
leaq 0x4a29(%rip), %rdx      # 0x7010
movq %r14, %rdi
callq 0x4264
leaq 0x1c8(%rsp), %r14
leaq 0x1d8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x49fa(%rip), %rsi      # 0x7004
leaq 0x49ff(%rip), %rdx      # 0x7010
movq %r14, %rdi
callq 0x4264
leaq 0x1e8(%rsp), %r14
leaq 0x1f8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x49f3(%rip), %rsi      # 0x7027
leaq 0x49ee(%rip), %rdx      # 0x7029
movq %r14, %rdi
callq 0x4264
leaq 0x208(%rsp), %r14
leaq 0x218(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x49c7(%rip), %rsi      # 0x7025
leaq 0x49c4(%rip), %rdx      # 0x7029
movq %r14, %rdi
callq 0x4264
leaq 0x228(%rsp), %r14
leaq 0x238(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x499b(%rip), %rsi      # 0x7023
leaq 0x499a(%rip), %rdx      # 0x7029
movq %r14, %rdi
callq 0x4264
leaq 0x248(%rsp), %r14
leaq 0x258(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x496f(%rip), %rsi      # 0x7021
leaq 0x4970(%rip), %rdx      # 0x7029
movq %r14, %rdi
callq 0x4264
leaq 0x268(%rsp), %r14
leaq 0x278(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4943(%rip), %rsi      # 0x701f
leaq 0x4946(%rip), %rdx      # 0x7029
movq %r14, %rdi
callq 0x4264
leaq 0x288(%rsp), %r14
leaq 0x298(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4917(%rip), %rsi      # 0x701d
leaq 0x491c(%rip), %rdx      # 0x7029
movq %r14, %rdi
callq 0x4264
leaq 0x2a8(%rsp), %r14
leaq 0x2b8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x48eb(%rip), %rsi      # 0x701b
leaq 0x48f2(%rip), %rdx      # 0x7029
movq %r14, %rdi
callq 0x4264
leaq 0x2c8(%rsp), %r14
leaq 0x2d8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x48bf(%rip), %rsi      # 0x7019
leaq 0x48c8(%rip), %rdx      # 0x7029
movq %r14, %rdi
callq 0x4264
leaq 0x2e8(%rsp), %r14
leaq 0x2f8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4893(%rip), %rsi      # 0x7017
leaq 0x489e(%rip), %rdx      # 0x7029
movq %r14, %rdi
callq 0x4264
leaq 0x308(%rsp), %r14
leaq 0x318(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4867(%rip), %rsi      # 0x7015
leaq 0x4874(%rip), %rdx      # 0x7029
movq %r14, %rdi
callq 0x4264
leaq 0x328(%rsp), %r14
leaq 0x338(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x483b(%rip), %rsi      # 0x7013
leaq 0x484a(%rip), %rdx      # 0x7029
movq %r14, %rdi
callq 0x4264
leaq 0x348(%rsp), %r14
leaq 0x358(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x480f(%rip), %rsi      # 0x7011
leaq 0x4820(%rip), %rdx      # 0x7029
movq %r14, %rdi
callq 0x4264
leaq 0x368(%rsp), %r14
leaq 0x378(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x481f(%rip), %rsi      # 0x704b
leaq 0x481b(%rip), %rdx      # 0x704e
movq %r14, %rdi
callq 0x4264
leaq 0x388(%rsp), %r14
leaq 0x398(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x47f2(%rip), %rsi      # 0x7048
leaq 0x47f1(%rip), %rdx      # 0x704e
movq %r14, %rdi
callq 0x4264
leaq 0x3a8(%rsp), %r14
leaq 0x3b8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x47c5(%rip), %rsi      # 0x7045
leaq 0x47c7(%rip), %rdx      # 0x704e
movq %r14, %rdi
callq 0x4264
leaq 0x3c8(%rsp), %r14
leaq 0x3d8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4798(%rip), %rsi      # 0x7042
leaq 0x479d(%rip), %rdx      # 0x704e
movq %r14, %rdi
callq 0x4264
leaq 0x3e8(%rsp), %r14
leaq 0x3f8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x476b(%rip), %rsi      # 0x703f
leaq 0x4773(%rip), %rdx      # 0x704e
movq %r14, %rdi
callq 0x4264
leaq 0x408(%rsp), %r14
leaq 0x418(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x473e(%rip), %rsi      # 0x703c
leaq 0x4749(%rip), %rdx      # 0x704e
movq %r14, %rdi
callq 0x4264
leaq 0x428(%rsp), %r14
leaq 0x438(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4711(%rip), %rsi      # 0x7039
leaq 0x471f(%rip), %rdx      # 0x704e
movq %r14, %rdi
callq 0x4264
leaq 0x448(%rsp), %r14
leaq 0x458(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x46e4(%rip), %rsi      # 0x7036
leaq 0x46f5(%rip), %rdx      # 0x704e
movq %r14, %rdi
callq 0x4264
leaq 0x468(%rsp), %r14
leaq 0x478(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x46b7(%rip), %rsi      # 0x7033
leaq 0x46cb(%rip), %rdx      # 0x704e
movq %r14, %rdi
callq 0x4264
leaq 0x488(%rsp), %r14
leaq 0x498(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x468a(%rip), %rsi      # 0x7030
leaq 0x46a1(%rip), %rdx      # 0x704e
movq %r14, %rdi
callq 0x4264
leaq 0x4a8(%rsp), %r14
leaq 0x4b8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x465d(%rip), %rsi      # 0x702d
leaq 0x4677(%rip), %rdx      # 0x704e
movq %r14, %rdi
callq 0x4264
leaq 0x4c8(%rsp), %r14
leaq 0x4d8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4630(%rip), %rsi      # 0x702a
leaq 0x464d(%rip), %rdx      # 0x704e
movq %r14, %rdi
callq 0x4264
leaq 0x4e8(%rsp), %r14
leaq 0x4f8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4657(%rip), %rsi      # 0x707b
leaq 0x4654(%rip), %rdx      # 0x707f
movq %r14, %rdi
callq 0x4264
leaq 0x508(%rsp), %r14
leaq 0x518(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4629(%rip), %rsi      # 0x7077
leaq 0x462a(%rip), %rdx      # 0x707f
movq %r14, %rdi
callq 0x4264
leaq 0x528(%rsp), %r14
leaq 0x538(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x45fb(%rip), %rsi      # 0x7073
leaq 0x4600(%rip), %rdx      # 0x707f
movq %r14, %rdi
callq 0x4264
leaq 0x548(%rsp), %r14
leaq 0x558(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x45cd(%rip), %rsi      # 0x706f
leaq 0x45d6(%rip), %rdx      # 0x707f
movq %r14, %rdi
callq 0x4264
leaq 0x568(%rsp), %r14
leaq 0x578(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x459f(%rip), %rsi      # 0x706b
leaq 0x45ac(%rip), %rdx      # 0x707f
movq %r14, %rdi
callq 0x4264
leaq 0x588(%rsp), %r14
leaq 0x598(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4571(%rip), %rsi      # 0x7067
leaq 0x4582(%rip), %rdx      # 0x707f
movq %r14, %rdi
callq 0x4264
leaq 0x5a8(%rsp), %r14
leaq 0x5b8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4543(%rip), %rsi      # 0x7063
leaq 0x4558(%rip), %rdx      # 0x707f
movq %r14, %rdi
callq 0x4264
leaq 0x5c8(%rsp), %r14
leaq 0x5d8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4515(%rip), %rsi      # 0x705f
leaq 0x452e(%rip), %rdx      # 0x707f
movq %r14, %rdi
callq 0x4264
leaq 0x5e8(%rsp), %r14
leaq 0x5f8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x44e7(%rip), %rsi      # 0x705b
leaq 0x4504(%rip), %rdx      # 0x707f
movq %r14, %rdi
callq 0x4264
leaq 0x608(%rsp), %r14
leaq 0x618(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x44b9(%rip), %rsi      # 0x7057
leaq 0x44da(%rip), %rdx      # 0x707f
movq %r14, %rdi
callq 0x4264
leaq 0x628(%rsp), %r14
leaq 0x638(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x448b(%rip), %rsi      # 0x7053
leaq 0x44b0(%rip), %rdx      # 0x707f
movq %r14, %rdi
callq 0x4264
leaq 0x648(%rsp), %r14
leaq 0x658(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x445d(%rip), %rsi      # 0x704f
leaq 0x4486(%rip), %rdx      # 0x707f
movq %r14, %rdi
callq 0x4264
leaq 0x668(%rsp), %r14
leaq 0x678(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x449b(%rip), %rsi      # 0x70b7
leaq 0x4499(%rip), %rdx      # 0x70bc
movq %r14, %rdi
callq 0x4264
leaq 0x688(%rsp), %r14
leaq 0x698(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x446c(%rip), %rsi      # 0x70b2
leaq 0x446f(%rip), %rdx      # 0x70bc
movq %r14, %rdi
callq 0x4264
leaq 0x6a8(%rsp), %r14
leaq 0x6b8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x443d(%rip), %rsi      # 0x70ad
leaq 0x4445(%rip), %rdx      # 0x70bc
movq %r14, %rdi
callq 0x4264
leaq 0x6c8(%rsp), %r14
leaq 0x6d8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x440e(%rip), %rsi      # 0x70a8
leaq 0x441b(%rip), %rdx      # 0x70bc
movq %r14, %rdi
callq 0x4264
leaq 0x6e8(%rsp), %r14
leaq 0x6f8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x43df(%rip), %rsi      # 0x70a3
leaq 0x43f1(%rip), %rdx      # 0x70bc
movq %r14, %rdi
callq 0x4264
leaq 0x708(%rsp), %r14
leaq 0x718(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x43b0(%rip), %rsi      # 0x709e
leaq 0x43c7(%rip), %rdx      # 0x70bc
movq %r14, %rdi
callq 0x4264
leaq 0x728(%rsp), %r14
leaq 0x738(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4381(%rip), %rsi      # 0x7099
leaq 0x439d(%rip), %rdx      # 0x70bc
movq %r14, %rdi
callq 0x4264
leaq 0x748(%rsp), %r14
leaq 0x758(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4352(%rip), %rsi      # 0x7094
leaq 0x4373(%rip), %rdx      # 0x70bc
movq %r14, %rdi
callq 0x4264
leaq 0x768(%rsp), %r14
leaq 0x778(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4323(%rip), %rsi      # 0x708f
leaq 0x4349(%rip), %rdx      # 0x70bc
movq %r14, %rdi
callq 0x4264
leaq 0x788(%rsp), %r14
leaq 0x798(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x42f4(%rip), %rsi      # 0x708a
leaq 0x431f(%rip), %rdx      # 0x70bc
movq %r14, %rdi
callq 0x4264
leaq 0x7a8(%rsp), %r14
leaq 0x7b8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x42c5(%rip), %rsi      # 0x7085
leaq 0x42f5(%rip), %rdx      # 0x70bc
movq %r14, %rdi
callq 0x4264
leaq 0x7c8(%rsp), %r14
leaq 0x7d8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4296(%rip), %rsi      # 0x7080
leaq 0x42cb(%rip), %rdx      # 0x70bc
movq %r14, %rdi
callq 0x4264
leaq 0x7e8(%rsp), %r14
leaq 0x7f8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x42eb(%rip), %rsi      # 0x70ff
leaq 0x42ea(%rip), %rdx      # 0x7105
movq %r14, %rdi
callq 0x4264
leaq 0x808(%rsp), %r14
leaq 0x818(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x42bb(%rip), %rsi      # 0x70f9
leaq 0x42c0(%rip), %rdx      # 0x7105
movq %r14, %rdi
callq 0x4264
leaq 0x828(%rsp), %r14
leaq 0x838(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x428b(%rip), %rsi      # 0x70f3
leaq 0x4296(%rip), %rdx      # 0x7105
movq %r14, %rdi
callq 0x4264
leaq 0x848(%rsp), %r14
leaq 0x858(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x425b(%rip), %rsi      # 0x70ed
leaq 0x426c(%rip), %rdx      # 0x7105
movq %r14, %rdi
callq 0x4264
leaq 0x868(%rsp), %r14
leaq 0x878(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x422b(%rip), %rsi      # 0x70e7
leaq 0x4242(%rip), %rdx      # 0x7105
movq %r14, %rdi
callq 0x4264
leaq 0x888(%rsp), %r14
leaq 0x898(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x41fb(%rip), %rsi      # 0x70e1
leaq 0x4218(%rip), %rdx      # 0x7105
movq %r14, %rdi
callq 0x4264
leaq 0x8a8(%rsp), %r14
leaq 0x8b8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x41cb(%rip), %rsi      # 0x70db
leaq 0x41ee(%rip), %rdx      # 0x7105
movq %r14, %rdi
callq 0x4264
leaq 0x8c8(%rsp), %r14
leaq 0x8d8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x419b(%rip), %rsi      # 0x70d5
leaq 0x41c4(%rip), %rdx      # 0x7105
movq %r14, %rdi
callq 0x4264
leaq 0x8e8(%rsp), %r14
leaq 0x8f8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x416b(%rip), %rsi      # 0x70cf
leaq 0x419a(%rip), %rdx      # 0x7105
movq %r14, %rdi
callq 0x4264
leaq 0x908(%rsp), %r14
leaq 0x918(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x413b(%rip), %rsi      # 0x70c9
leaq 0x4170(%rip), %rdx      # 0x7105
movq %r14, %rdi
callq 0x4264
leaq 0x928(%rsp), %r14
leaq 0x938(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x410b(%rip), %rsi      # 0x70c3
leaq 0x4146(%rip), %rdx      # 0x7105
movq %r14, %rdi
callq 0x4264
leaq 0x948(%rsp), %r14
leaq 0x958(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x40db(%rip), %rsi      # 0x70bd
leaq 0x411c(%rip), %rdx      # 0x7105
movq %r14, %rdi
callq 0x4264
leaq 0x968(%rsp), %r14
leaq 0x978(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4147(%rip), %rsi      # 0x7153
leaq 0x4147(%rip), %rdx      # 0x715a
movq %r14, %rdi
callq 0x4264
leaq 0x988(%rsp), %r14
leaq 0x998(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4116(%rip), %rsi      # 0x714c
leaq 0x411d(%rip), %rdx      # 0x715a
movq %r14, %rdi
callq 0x4264
leaq 0x9a8(%rsp), %r14
leaq 0x9b8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x40e5(%rip), %rsi      # 0x7145
leaq 0x40f3(%rip), %rdx      # 0x715a
movq %r14, %rdi
callq 0x4264
leaq 0x9c8(%rsp), %r14
leaq 0x9d8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x40b4(%rip), %rsi      # 0x713e
leaq 0x40c9(%rip), %rdx      # 0x715a
movq %r14, %rdi
callq 0x4264
leaq 0x9e8(%rsp), %r14
leaq 0x9f8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4083(%rip), %rsi      # 0x7137
leaq 0x409f(%rip), %rdx      # 0x715a
movq %r14, %rdi
callq 0x4264
leaq 0xa08(%rsp), %r14
leaq 0xa18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4052(%rip), %rsi      # 0x7130
leaq 0x4075(%rip), %rdx      # 0x715a
movq %r14, %rdi
callq 0x4264
leaq 0xa28(%rsp), %r14
leaq 0xa38(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x4021(%rip), %rsi      # 0x7129
leaq 0x404b(%rip), %rdx      # 0x715a
movq %r14, %rdi
callq 0x4264
leaq 0xa48(%rsp), %r14
leaq 0xa58(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3ff0(%rip), %rsi      # 0x7122
leaq 0x4021(%rip), %rdx      # 0x715a
movq %r14, %rdi
callq 0x4264
leaq 0xa68(%rsp), %r14
leaq 0xa78(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3fbf(%rip), %rsi      # 0x711b
leaq 0x3ff7(%rip), %rdx      # 0x715a
movq %r14, %rdi
callq 0x4264
leaq 0xa88(%rsp), %r14
leaq 0xa98(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3f8e(%rip), %rsi      # 0x7114
leaq 0x3fcd(%rip), %rdx      # 0x715a
movq %r14, %rdi
callq 0x4264
leaq 0xaa8(%rsp), %r14
leaq 0xab8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3f5d(%rip), %rsi      # 0x710d
leaq 0x3fa3(%rip), %rdx      # 0x715a
movq %r14, %rdi
callq 0x4264
leaq 0xac8(%rsp), %r14
leaq 0xad8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3f2c(%rip), %rsi      # 0x7106
leaq 0x3f79(%rip), %rdx      # 0x715a
movq %r14, %rdi
callq 0x4264
leaq 0xae8(%rsp), %r14
leaq 0xaf8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3faf(%rip), %rsi      # 0x71b3
leaq 0x3fb0(%rip), %rdx      # 0x71bb
movq %r14, %rdi
callq 0x4264
leaq 0xb08(%rsp), %r14
leaq 0xb18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3f7d(%rip), %rsi      # 0x71ab
leaq 0x3f86(%rip), %rdx      # 0x71bb
movq %r14, %rdi
callq 0x4264
leaq 0xb28(%rsp), %r14
leaq 0xb38(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3f4b(%rip), %rsi      # 0x71a3
leaq 0x3f5c(%rip), %rdx      # 0x71bb
movq %r14, %rdi
callq 0x4264
leaq 0xb48(%rsp), %r14
leaq 0xb58(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3f19(%rip), %rsi      # 0x719b
leaq 0x3f32(%rip), %rdx      # 0x71bb
movq %r14, %rdi
callq 0x4264
leaq 0xb68(%rsp), %r14
leaq 0xb78(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3ee7(%rip), %rsi      # 0x7193
leaq 0x3f08(%rip), %rdx      # 0x71bb
movq %r14, %rdi
callq 0x4264
leaq 0xb88(%rsp), %r14
leaq 0xb98(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3eb5(%rip), %rsi      # 0x718b
leaq 0x3ede(%rip), %rdx      # 0x71bb
movq %r14, %rdi
callq 0x4264
leaq 0xba8(%rsp), %r14
leaq 0xbb8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3e83(%rip), %rsi      # 0x7183
leaq 0x3eb4(%rip), %rdx      # 0x71bb
movq %r14, %rdi
callq 0x4264
leaq 0xbc8(%rsp), %r14
leaq 0xbd8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3e51(%rip), %rsi      # 0x717b
leaq 0x3e8a(%rip), %rdx      # 0x71bb
movq %r14, %rdi
callq 0x4264
leaq 0xbe8(%rsp), %r14
leaq 0xbf8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3e1f(%rip), %rsi      # 0x7173
leaq 0x3e60(%rip), %rdx      # 0x71bb
movq %r14, %rdi
callq 0x4264
leaq 0xc08(%rsp), %r14
leaq 0xc18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3ded(%rip), %rsi      # 0x716b
leaq 0x3e36(%rip), %rdx      # 0x71bb
movq %r14, %rdi
callq 0x4264
leaq 0xc28(%rsp), %r14
leaq 0xc38(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3dbb(%rip), %rsi      # 0x7163
leaq 0x3e0c(%rip), %rdx      # 0x71bb
movq %r14, %rdi
callq 0x4264
leaq 0xc48(%rsp), %r14
leaq 0xc58(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3d89(%rip), %rsi      # 0x715b
leaq 0x3de2(%rip), %rdx      # 0x71bb
movq %r14, %rdi
callq 0x4264
leaq 0xc68(%rsp), %r14
leaq 0xc78(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3e23(%rip), %rsi      # 0x721f
leaq 0x3e25(%rip), %rdx      # 0x7228
movq %r14, %rdi
callq 0x4264
leaq 0xc88(%rsp), %r14
leaq 0xc98(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3df0(%rip), %rsi      # 0x7216
leaq 0x3dfb(%rip), %rdx      # 0x7228
movq %r14, %rdi
callq 0x4264
leaq 0xca8(%rsp), %r14
leaq 0xcb8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3dbd(%rip), %rsi      # 0x720d
leaq 0x3dd1(%rip), %rdx      # 0x7228
movq %r14, %rdi
callq 0x4264
leaq 0xcc8(%rsp), %r14
leaq 0xcd8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3d8a(%rip), %rsi      # 0x7204
leaq 0x3da7(%rip), %rdx      # 0x7228
movq %r14, %rdi
callq 0x4264
leaq 0xce8(%rsp), %r14
leaq 0xcf8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3d57(%rip), %rsi      # 0x71fb
leaq 0x3d7d(%rip), %rdx      # 0x7228
movq %r14, %rdi
callq 0x4264
leaq 0xd08(%rsp), %r14
leaq 0xd18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3d24(%rip), %rsi      # 0x71f2
leaq 0x3d53(%rip), %rdx      # 0x7228
movq %r14, %rdi
callq 0x4264
leaq 0xd28(%rsp), %r14
leaq 0xd38(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3cf1(%rip), %rsi      # 0x71e9
leaq 0x3d29(%rip), %rdx      # 0x7228
movq %r14, %rdi
callq 0x4264
leaq 0xd48(%rsp), %r14
leaq 0xd58(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3cbe(%rip), %rsi      # 0x71e0
leaq 0x3cff(%rip), %rdx      # 0x7228
movq %r14, %rdi
callq 0x4264
leaq 0xd68(%rsp), %r14
leaq 0xd78(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3c8b(%rip), %rsi      # 0x71d7
leaq 0x3cd5(%rip), %rdx      # 0x7228
movq %r14, %rdi
callq 0x4264
leaq 0xd88(%rsp), %r14
leaq 0xd98(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3c58(%rip), %rsi      # 0x71ce
leaq 0x3cab(%rip), %rdx      # 0x7228
movq %r14, %rdi
callq 0x4264
leaq 0xda8(%rsp), %r14
leaq 0xdb8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3c25(%rip), %rsi      # 0x71c5
leaq 0x3c81(%rip), %rdx      # 0x7228
movq %r14, %rdi
callq 0x4264
leaq 0xdc8(%rsp), %r14
leaq 0xdd8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3bf2(%rip), %rsi      # 0x71bc
leaq 0x3c57(%rip), %rdx      # 0x7228
movq %r14, %rdi
callq 0x4264
leaq 0xde8(%rsp), %r14
leaq 0xdf8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3ca3(%rip), %rsi      # 0x7297
leaq 0x3ca6(%rip), %rdx      # 0x72a1
movq %r14, %rdi
callq 0x4264
leaq 0xe08(%rsp), %r14
leaq 0xe18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3c6f(%rip), %rsi      # 0x728d
leaq 0x3c7c(%rip), %rdx      # 0x72a1
movq %r14, %rdi
callq 0x4264
leaq 0xe28(%rsp), %r14
leaq 0xe38(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3c3b(%rip), %rsi      # 0x7283
leaq 0x3c52(%rip), %rdx      # 0x72a1
movq %r14, %rdi
callq 0x4264
leaq 0xe48(%rsp), %r14
leaq 0xe58(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3c07(%rip), %rsi      # 0x7279
leaq 0x3c28(%rip), %rdx      # 0x72a1
movq %r14, %rdi
callq 0x4264
leaq 0xe68(%rsp), %r14
leaq 0xe78(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3bd3(%rip), %rsi      # 0x726f
leaq 0x3bfe(%rip), %rdx      # 0x72a1
movq %r14, %rdi
callq 0x4264
leaq 0xe88(%rsp), %r14
leaq 0xe98(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3b9f(%rip), %rsi      # 0x7265
leaq 0x3bd4(%rip), %rdx      # 0x72a1
movq %r14, %rdi
callq 0x4264
leaq 0xea8(%rsp), %r14
leaq 0xeb8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3b6b(%rip), %rsi      # 0x725b
leaq 0x3baa(%rip), %rdx      # 0x72a1
movq %r14, %rdi
callq 0x4264
leaq 0xec8(%rsp), %r14
leaq 0xed8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3b37(%rip), %rsi      # 0x7251
leaq 0x3b80(%rip), %rdx      # 0x72a1
movq %r14, %rdi
callq 0x4264
leaq 0xee8(%rsp), %r14
leaq 0xef8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3b03(%rip), %rsi      # 0x7247
leaq 0x3b56(%rip), %rdx      # 0x72a1
movq %r14, %rdi
callq 0x4264
leaq 0xf08(%rsp), %r14
leaq 0xf18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3acf(%rip), %rsi      # 0x723d
leaq 0x3b2c(%rip), %rdx      # 0x72a1
movq %r14, %rdi
callq 0x4264
leaq 0xf28(%rsp), %r14
leaq 0xf38(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3a9b(%rip), %rsi      # 0x7233
leaq 0x3b02(%rip), %rdx      # 0x72a1
movq %r14, %rdi
callq 0x4264
leaq 0xf48(%rsp), %r14
leaq 0xf58(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3a67(%rip), %rsi      # 0x7229
leaq 0x3ad8(%rip), %rdx      # 0x72a1
movq %r14, %rdi
callq 0x4264
leaq 0xf68(%rsp), %r14
leaq 0xf78(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3b2f(%rip), %rsi      # 0x731b
leaq 0x3b33(%rip), %rdx      # 0x7326
movq %r14, %rdi
callq 0x4264
leaq 0xf88(%rsp), %r14
leaq 0xf98(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3afa(%rip), %rsi      # 0x7310
leaq 0x3b09(%rip), %rdx      # 0x7326
movq %r14, %rdi
callq 0x4264
leaq 0xfa8(%rsp), %r14
leaq 0xfb8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3ac5(%rip), %rsi      # 0x7305
leaq 0x3adf(%rip), %rdx      # 0x7326
movq %r14, %rdi
callq 0x4264
leaq 0xfc8(%rsp), %r14
leaq 0xfd8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3a90(%rip), %rsi      # 0x72fa
leaq 0x3ab5(%rip), %rdx      # 0x7326
movq %r14, %rdi
callq 0x4264
leaq 0xfe8(%rsp), %r14
leaq 0xff8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3a5b(%rip), %rsi      # 0x72ef
leaq 0x3a8b(%rip), %rdx      # 0x7326
movq %r14, %rdi
callq 0x4264
leaq 0x1008(%rsp), %r14
leaq 0x1018(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3a26(%rip), %rsi      # 0x72e4
leaq 0x3a61(%rip), %rdx      # 0x7326
movq %r14, %rdi
callq 0x4264
leaq 0x1028(%rsp), %r14
leaq 0x1038(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x39f1(%rip), %rsi      # 0x72d9
leaq 0x3a37(%rip), %rdx      # 0x7326
movq %r14, %rdi
callq 0x4264
leaq 0x1048(%rsp), %r14
leaq 0x1058(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x39bc(%rip), %rsi      # 0x72ce
leaq 0x3a0d(%rip), %rdx      # 0x7326
movq %r14, %rdi
callq 0x4264
leaq 0x1068(%rsp), %r14
leaq 0x1078(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3987(%rip), %rsi      # 0x72c3
leaq 0x39e3(%rip), %rdx      # 0x7326
movq %r14, %rdi
callq 0x4264
leaq 0x1088(%rsp), %r14
leaq 0x1098(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3952(%rip), %rsi      # 0x72b8
leaq 0x39b9(%rip), %rdx      # 0x7326
movq %r14, %rdi
callq 0x4264
leaq 0x10a8(%rsp), %r14
leaq 0x10b8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x391d(%rip), %rsi      # 0x72ad
leaq 0x398f(%rip), %rdx      # 0x7326
movq %r14, %rdi
callq 0x4264
leaq 0x10c8(%rsp), %r14
leaq 0x10d8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x38e8(%rip), %rsi      # 0x72a2
leaq 0x3965(%rip), %rdx      # 0x7326
movq %r14, %rdi
callq 0x4264
leaq 0x10e8(%rsp), %r14
leaq 0x10f8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x39c7(%rip), %rsi      # 0x73ab
leaq 0x39cc(%rip), %rdx      # 0x73b7
movq %r14, %rdi
callq 0x4264
leaq 0x1108(%rsp), %r14
leaq 0x1118(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3991(%rip), %rsi      # 0x739f
leaq 0x39a2(%rip), %rdx      # 0x73b7
movq %r14, %rdi
callq 0x4264
leaq 0x1128(%rsp), %r14
leaq 0x1138(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x395b(%rip), %rsi      # 0x7393
leaq 0x3978(%rip), %rdx      # 0x73b7
movq %r14, %rdi
callq 0x4264
leaq 0x1148(%rsp), %r14
leaq 0x1158(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3925(%rip), %rsi      # 0x7387
leaq 0x394e(%rip), %rdx      # 0x73b7
movq %r14, %rdi
callq 0x4264
leaq 0x1168(%rsp), %r14
leaq 0x1178(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x38ef(%rip), %rsi      # 0x737b
leaq 0x3924(%rip), %rdx      # 0x73b7
movq %r14, %rdi
callq 0x4264
leaq 0x1188(%rsp), %r14
leaq 0x1198(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x38b9(%rip), %rsi      # 0x736f
leaq 0x38fa(%rip), %rdx      # 0x73b7
movq %r14, %rdi
callq 0x4264
leaq 0x11a8(%rsp), %r14
leaq 0x11b8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3883(%rip), %rsi      # 0x7363
leaq 0x38d0(%rip), %rdx      # 0x73b7
movq %r14, %rdi
callq 0x4264
leaq 0x11c8(%rsp), %r14
leaq 0x11d8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x384d(%rip), %rsi      # 0x7357
leaq 0x38a6(%rip), %rdx      # 0x73b7
movq %r14, %rdi
callq 0x4264
leaq 0x11e8(%rsp), %r14
leaq 0x11f8(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x3817(%rip), %rsi      # 0x734b
leaq 0x387c(%rip), %rdx      # 0x73b7
movq %r14, %rdi
callq 0x4264
leaq 0x1208(%rsp), %r14
leaq 0x1218(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x37e1(%rip), %rsi      # 0x733f
leaq 0x3852(%rip), %rdx      # 0x73b7
movq %r14, %rdi
callq 0x4264
leaq 0x1228(%rsp), %r14
leaq 0x1238(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x37ab(%rip), %rsi      # 0x7333
leaq 0x3828(%rip), %rdx      # 0x73b7
movq %r14, %rdi
callq 0x4264
leaq 0x1248(%rsp), %r14
leaq 0x1258(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x3775(%rip), %rsi      # 0x7327
leaq 0x37fe(%rip), %rdx      # 0x73b7
movq %r14, %rdi
callq 0x4264
leaq 0x8(%rsp), %rdi
leaq 0x68(%rsp), %rsi
leaq 0x20(%rsp), %rcx
movl $0x90, %edx
callq 0x4164
movq $-0x1200, %rbx          # imm = 0xEE00
movq -0x10(%r15), %rdi
cmpq %rdi, %r15
je 0x3bf5
movq (%r15), %rsi
incq %rsi
callq 0x2170
addq $-0x20, %r15
addq $0x20, %rbx
jne 0x3be1
xorl %r14d, %r14d
movq %r14, 0x68(%rsp)
movl %r14d, 0x70(%rsp)
movq %r14, 0x78(%rsp)
movl %r14d, 0x80(%rsp)
movq %r14, 0x88(%rsp)
movq 0x10(%rsp), %rax
cmpq 0x8(%rsp), %rax
je 0x3c7f
movl $0x1, %ebp
movl $0xaaaaaaab, %r15d      # imm = 0xAAAAAAAB
leaq 0x68(%rsp), %rbx
xorl %r12d, %r12d
movl %r12d, %eax
imulq %r15, %rax
shrq $0x23, %rax
leal (%rax,%rax,2), %eax
shll $0x2, %eax
xorl %esi, %esi
addl %r14d, %eax
sete %sil
movq %rbx, %rdi
callq 0x41ac
incl %r12d
movl %ebp, %eax
movq 0x10(%rsp), %rcx
subq 0x8(%rsp), %rcx
sarq $0x5, %rcx
decl %r14d
incl %ebp
cmpq %rax, %rcx
ja 0x3c40
xorl %ebp, %ebp
movq 0x6350(%rip), %rbx      # 0x9fd8
leaq 0x40(%rsp), %r12
xorl %r13d, %r13d
movl %r13d, %r14d
movq 0x10(%rsp), %rax
subq 0x8(%rsp), %rax
sarq $0x5, %rax
cmpq %r14, %rax
jbe 0x3d67
movl $0x17, %edx
movq %rbx, %rdi
leaq 0x36ff(%rip), %rsi      # 0x73b8
callq 0x21a0
leal 0x1(%r14), %r13d
movq %rbx, %rdi
movq %r13, %rsi
callq 0x20b0
movl $0x2, %edx
movq %rax, %rdi
leaq 0x36f4(%rip), %rsi      # 0x73d0
callq 0x21a0
movq 0x68(%rsp), %rax
movl %r14d, %ecx
shrl $0x6, %ecx
movq (%rax,%rcx,8), %r15
movq %r14, %rsi
shlq $0x5, %rsi
addq 0x8(%rsp), %rsi
movq %r12, %rdi
callq 0x5092
btq %r14, %r15
setb %cl
xorb %al, %cl
je 0x3d25
movl $0x4, %edx
movq %rbx, %rdi
leaq 0x36b8(%rip), %rsi      # 0x73d6
callq 0x21a0
jmp 0x3d3b
movl $0x2, %edx
movq %rbx, %rdi
leaq 0x369f(%rip), %rsi      # 0x73d3
callq 0x21a0
incl %ebp
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20c0
jmp 0x3c90
movl %ebp, %ebx
cmpq %rbx, %rax
leaq 0x3668(%rip), %rax      # 0x73db
leaq 0x3669(%rip), %rsi      # 0x73e3
cmoveq %rax, %rsi
leaq 0x30(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x3654(%rip), %rax      # 0x73e2
leaq 0x3655(%rip), %rdx      # 0x73ea
cmoveq %rax, %rdx
leaq 0x20(%rsp), %rdi
callq 0x4264
movq 0x622e(%rip), %rdi      # 0x9fd8
leaq 0x363a(%rip), %rsi      # 0x73eb
movl $0x20, %edx
callq 0x21a0
movq 0x20(%rsp), %rsi
movq 0x28(%rsp), %rdx
movq 0x620c(%rip), %rdi      # 0x9fd8
callq 0x21a0
movq %rax, %rdi
movq %rbx, %rsi
callq 0x20b0
movq %rax, %rbx
leaq 0x3626(%rip), %rsi      # 0x740c
movl $0x3, %edx
movq %rax, %rdi
callq 0x21a0
movq 0x10(%rsp), %rsi
subq 0x8(%rsp), %rsi
sarq $0x5, %rsi
movq %rbx, %rdi
callq 0x20b0
movq %rax, %rbx
leaq 0x35fd(%rip), %rsi      # 0x7410
movl $0x4, %edx
movq %rax, %rdi
callq 0x21a0
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x2150
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20c0
movq 0x20(%rsp), %rdi
cmpq %r14, %rdi
je 0x3e5e
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x2170
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x3e78
movq 0x88(%rsp), %rsi
subq %rdi, %rsi
callq 0x2170
leaq 0x8(%rsp), %rdi
callq 0x41fa
leaq 0x40(%rsp), %rdi
callq 0x502e
xorl %eax, %eax
addq $0x1268, %rsp           # imm = 0x1268
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x4117
movq %rax, %r15
leaq 0x1268(%rsp), %rdi
leaq 0x68(%rsp), %rsi
callq 0x2260
jmp 0x4152
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
jmp 0x40c5
movq %rax, %r15
addq $-0x10, %r14
movq -0x10(%r14), %rdi
cmpq %rdi, %r14
je 0x40e0
movq (%r14), %rsi
incq %rsi
callq 0x2170
leaq -0x20(%r14), %rax
addq $-0x10, %r14
cmpq %rbx, %r14
movq %rax, %r14
jne 0x40cc
jmp 0x4152
movq %rax, %r15
jmp 0x4152
movq %rax, %r15
movq 0x20(%rsp), %rdi
cmpq %r14, %rdi
je 0x411a
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x2170
jmp 0x411a
jmp 0x4117
jmp 0x4117
movq %rax, %r15
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x4148
movq 0x88(%rsp), %rsi
subq %rdi, %rsi
callq 0x2170
xorl %eax, %eax
movq %rax, 0x68(%rsp)
movl $0x0, 0x70(%rsp)
movq %rax, 0x78(%rsp)
leaq 0x8(%rsp), %rdi
callq 0x41fa
leaq 0x40(%rsp), %rdi
callq 0x502e
movq %r15, %rdi
callq 0x2230