// File: /workspace/github_cpp_makefile_star2_O3/xx01cyx[P]LSM-Tree/correctness.cc
// Function: CorrectnessTest::regular_test(unsigned long)
void regular_test(uint64_t max)
	{
		uint64_t i;

		// Test a single key
		EXPECT(not_found, store.get(1));
		store.put(1, "SE");
		EXPECT("SE", store.get(1));
		EXPECT(true, store.del(1));
		EXPECT(not_found, store.get(1));
		EXPECT(false, store.del(1));

		phase();

		vector<uint64_t> testKeys;
		for (i = 0; i < max; ++i)
            testKeys.push_back(i);

		// Test multiple key-value pairs

        std::shuffle(testKeys.begin(), testKeys.end(), std::mt19937(std::random_device()()));
        for (i = 0; i < max; ++i) {
		    uint64_t key = testKeys[i];
			store.put(key, std::string(key+1, 's'));
			EXPECT(std::string(key + 1, 's'), store.get(key));
		}
		phase();

		// Test after all insertions

        std::shuffle(testKeys.begin(), testKeys.end(), std::mt19937(std::random_device()()));
        for (i = 0; i < max; ++i) {
		    uint64_t key = testKeys[i];
            EXPECT(std::string(key + 1, 's'), store.get(key));
        }
		phase();

		// Test deletions

        vector<uint64_t> evenKeys;
        for (i = 0; i < max; i += 2)
            evenKeys.push_back(i);

        vector<uint64_t> oddKeys;
        for (i = 1; i < max; i += 2)
            oddKeys.push_back(i);

        std::shuffle(testKeys.begin(), testKeys.end(), std::mt19937(std::random_device()()));
        std::shuffle(evenKeys.begin(), evenKeys.end(), std::mt19937(std::random_device()()));
        std::shuffle(oddKeys.begin(), oddKeys.end(), std::mt19937(std::random_device()()));

        uint64_t evenNumber = evenKeys.size();
        uint64_t oddNumber = oddKeys.size();

        for (i = 0; i < evenNumber; ++i) {
            uint64_t key = evenKeys[i];
            EXPECT(true, store.del(key));
        }

		for (i = 0; i < max; ++i) {
            uint64_t key = testKeys[i];
            EXPECT((key & 1) ? std::string(key + 1, 's') : not_found,
                   store.get(key));
        }

		for (i = 1; i < oddNumber; ++i) {
            uint64_t key = oddKeys[i];
            EXPECT(key & 1, store.del(key));
        }

		phase();

		report();
	}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x27b8, %rsp           # imm = 0x27B8
movq %rsi, 0x8(%rsp)
movq %rdi, %r12
leaq 0x28(%rdi), %rsi
leaq 0xa8(%rsp), %rdi
movl $0x1, %edx
movq %rsi, 0x10(%rsp)
callq 0x9336
leaq 0x1440(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0xc496(%rip), %rsi      # 0x100df
leaq 0xc49d(%rip), %rdx      # 0x100ed
leaq 0x1430(%rsp), %rdi
callq 0x5648
leaq 0x1261c(%rip), %rsi     # 0x16280
leaq 0xa8(%rsp), %rdx
leaq 0x1430(%rsp), %rcx
movq %r12, %rdi
movl $0x11, %r8d
callq 0x4c7a
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x3ca7
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0xb8(%rsp), %r15
movq -0x10(%r15), %rdi
cmpq %r15, %rdi
je 0x3cc8
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0xa8(%rsp), %rdi
movq %r15, (%rdi)
leaq 0xc414(%rip), %rsi      # 0x100ee
leaq 0xc40f(%rip), %rdx      # 0x100f0
callq 0x5648
leaq 0xa8(%rsp), %rdx
movl $0x1, %esi
movq 0x10(%rsp), %rdi
callq 0x92be
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3d1a
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0xa8(%rsp), %rdi
movq %r15, (%rdi)
leaq 0xc3c2(%rip), %rsi      # 0x100ee
leaq 0xc3bd(%rip), %rdx      # 0x100f0
callq 0x5648
leaq 0x1430(%rsp), %rdi
movl $0x1, %edx
movq 0x10(%rsp), %rsi
callq 0x9336
leaq 0x28(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0xc380(%rip), %rsi      # 0x100df
leaq 0xc387(%rip), %rdx      # 0x100ed
leaq 0x18(%rsp), %rdi
callq 0x5648
leaq 0xa8(%rsp), %rsi
leaq 0x1430(%rsp), %rdx
leaq 0x18(%rsp), %rcx
movq %r12, %rdi
movl $0x13, %r8d
callq 0x4c7a
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x3daf
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x3dd4
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3df1
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movb $0x1, 0x1430(%rsp)
movl $0x1, %esi
movq 0x10(%rsp), %rdi
callq 0x984c
movb %al, 0x18(%rsp)
leaq 0xa8(%rsp), %rdi
movq %r15, (%rdi)
leaq 0xc2c1(%rip), %rsi      # 0x100df
leaq 0xc2c8(%rip), %rdx      # 0x100ed
callq 0x5648
leaq 0x1430(%rsp), %rsi
leaq 0x18(%rsp), %rdx
leaq 0xa8(%rsp), %rcx
movq %r12, %rdi
movl $0x14, %r8d
callq 0x4d9c
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3e6a
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0xa8(%rsp), %rdi
movl $0x1, %edx
movq 0x10(%rsp), %rsi
callq 0x9336
leaq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
movq %rax, (%rdi)
leaq 0xc244(%rip), %rsi      # 0x100df
leaq 0xc24b(%rip), %rdx      # 0x100ed
callq 0x5648
leaq 0x123d2(%rip), %rsi     # 0x16280
leaq 0xa8(%rsp), %rdx
leaq 0x1430(%rsp), %rcx
movq %r12, %rdi
movl $0x15, %r8d
callq 0x4c7a
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x3ef1
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3f0e
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movb $0x0, 0x1430(%rsp)
movl $0x1, %esi
movq 0x10(%rsp), %rdi
callq 0x984c
movb %al, 0x18(%rsp)
leaq 0xa8(%rsp), %rdi
movq %r15, (%rdi)
leaq 0xc1a4(%rip), %rsi      # 0x100df
leaq 0xc1ab(%rip), %rdx      # 0x100ed
callq 0x5648
leaq 0x1430(%rsp), %rsi
leaq 0x18(%rsp), %rdx
leaq 0xa8(%rsp), %rcx
movq %r12, %rdi
movl $0x16, %r8d
callq 0x4d9c
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3f87
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq %r12, %rdi
callq 0x4e8c
xorl %ebx, %ebx
movq %rbx, 0x50(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x40(%rsp)
movq %rbx, (%rsp)
movl $0x0, %r14d
cmpq $0x0, 0x8(%rsp)
je 0x3ffb
xorl %eax, %eax
leaq 0x40(%rsp), %rbx
movq %rsp, %r14
movq 0x48(%rsp), %rsi
cmpq 0x50(%rsp), %rsi
je 0x3fd4
movq %rax, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x48(%rsp)
jmp 0x3fdf
movq %rbx, %rdi
movq %r14, %rdx
callq 0x5216
movq (%rsp), %rax
incq %rax
movq %rax, (%rsp)
cmpq 0x8(%rsp), %rax
jb 0x3fba
movq 0x40(%rsp), %r14
movq 0x48(%rsp), %rbx
leaq 0x1430(%rsp), %rdi
callq 0x5102
movq %r12, 0x38(%rsp)
leaq 0x1430(%rsp), %rdi
callq 0x3330
movl %eax, %eax
movq %rax, 0xa8(%rsp)
movl $0x1, %ecx
movq %rax, %rdx
shrq $0x1e, %rdx
xorl %eax, %edx
imull $0x6c078965, %edx, %eax # imm = 0x6C078965
addl %ecx, %eax
movq %rax, 0xa8(%rsp,%rcx,8)
incq %rcx
cmpq $0x270, %rcx            # imm = 0x270
jne 0x4029
leaq 0xa8(%rsp), %rdx
movq $0x270, 0x1380(%rdx) # imm = 0x270
movq %r14, %rdi
movq %rbx, %rsi
callq 0x4f8e
leaq 0x1430(%rsp), %rdi
callq 0x3240
movq $0x0, (%rsp)
cmpq $0x0, 0x8(%rsp)
je 0x41cb
xorl %eax, %eax
leaq 0xa8(%rsp), %r12
leaq 0x1430(%rsp), %r13
leaq 0x18(%rsp), %rbp
movq 0x40(%rsp), %rcx
movq (%rcx,%rax,8), %rbx
leaq 0x1(%rbx), %r14
movq %r15, 0xa8(%rsp)
movq %r12, %rdi
movq %r14, %rsi
movl $0x73, %edx
callq 0x32c0
movq 0x10(%rsp), %rdi
movq %rbx, %rsi
movq %r12, %rdx
callq 0x92be
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x40f6
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq %r15, 0xa8(%rsp)
movq %r12, %rdi
movq %r14, %rsi
movl $0x73, %edx
callq 0x32c0
movq %r13, %rdi
movq 0x10(%rsp), %rsi
movq %rbx, %rdx
callq 0x9336
leaq 0x28(%rsp), %rax
movq %rax, 0x18(%rsp)
movq %rbp, %rdi
leaq 0xbfad(%rip), %rsi      # 0x100df
leaq 0xbfb4(%rip), %rdx      # 0x100ed
callq 0x5648
movq 0x38(%rsp), %rdi
movq %r12, %rsi
movq %r13, %rdx
movq %rbp, %rcx
movl $0x24, %r8d
callq 0x4c7a
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x4173
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x4198
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x41b5
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rax
incq %rax
movq %rax, (%rsp)
cmpq 0x8(%rsp), %rax
jb 0x40a4
movq 0x38(%rsp), %rdi
callq 0x4e8c
movq 0x40(%rsp), %rbx
movq 0x48(%rsp), %r14
leaq 0x1430(%rsp), %rdi
callq 0x5102
leaq 0x1430(%rsp), %rdi
callq 0x3330
movl %eax, %eax
movq %rax, 0xa8(%rsp)
movl $0x1, %ecx
movq %rax, %rdx
shrq $0x1e, %rdx
xorl %eax, %edx
imull $0x6c078965, %edx, %eax # imm = 0x6C078965
addl %ecx, %eax
movq %rax, 0xa8(%rsp,%rcx,8)
incq %rcx
cmpq $0x270, %rcx            # imm = 0x270
jne 0x4208
leaq 0xa8(%rsp), %rdx
movq $0x270, 0x1380(%rdx) # imm = 0x270
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4f8e
leaq 0x1430(%rsp), %rdi
callq 0x3240
movq $0x0, (%rsp)
cmpq $0x0, 0x8(%rsp)
je 0x4365
xorl %eax, %eax
leaq 0xa8(%rsp), %r12
leaq 0x1430(%rsp), %r13
leaq 0xbe68(%rip), %rbx      # 0x100ed
leaq 0x18(%rsp), %rbp
movq 0x40(%rsp), %rcx
movq (%rcx,%rax,8), %r14
leaq 0x1(%r14), %rsi
movq %r15, 0xa8(%rsp)
movq %r12, %rdi
movl $0x73, %edx
callq 0x32c0
movq %r13, %rdi
movq 0x10(%rsp), %rsi
movq %r14, %rdx
callq 0x9336
leaq 0x28(%rsp), %rax
movq %rax, 0x18(%rsp)
movq %rbp, %rdi
leaq 0xbe0f(%rip), %rsi      # 0x100df
movq %rbx, %rdx
callq 0x5648
movq 0x38(%rsp), %rdi
movq %r12, %rsi
movq %r13, %rdx
movq %rbp, %rcx
movl $0x2d, %r8d
callq 0x4c7a
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x430d
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x4332
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x434f
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rax
incq %rax
movq %rax, (%rsp)
cmpq 0x8(%rsp), %rax
jb 0x428a
movq 0x38(%rsp), %rdi
callq 0x4e8c
xorl %eax, %eax
xorps %xmm0, %xmm0
movaps %xmm0, 0x80(%rsp)
movq %rax, 0x90(%rsp)
movq %rax, (%rsp)
cmpq $0x0, 0x8(%rsp)
je 0x444a
xorl %eax, %eax
leaq 0x80(%rsp), %rbx
movq %rsp, %r14
movq 0x88(%rsp), %rsi
cmpq 0x90(%rsp), %rsi
je 0x43c4
movq %rax, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x88(%rsp)
jmp 0x43cf
movq %rbx, %rdi
movq %r14, %rdx
callq 0x5216
movq (%rsp), %rax
addq $0x2, %rax
movq %rax, (%rsp)
cmpq 0x8(%rsp), %rax
jb 0x43a1
xorps %xmm0, %xmm0
movaps %xmm0, 0x60(%rsp)
movq $0x0, 0x70(%rsp)
movq $0x1, (%rsp)
cmpq $0x1, 0x8(%rsp)
je 0x4460
movl $0x1, %eax
leaq 0x60(%rsp), %rbx
movq %rsp, %r14
movq 0x68(%rsp), %rsi
cmpq 0x70(%rsp), %rsi
je 0x442a
movq %rax, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x68(%rsp)
jmp 0x4435
movq %rbx, %rdi
movq %r14, %rdx
callq 0x5216
movq (%rsp), %rax
addq $0x2, %rax
movq %rax, (%rsp)
cmpq 0x8(%rsp), %rax
jb 0x4410
jmp 0x4460
movaps %xmm0, 0x60(%rsp)
movq $0x0, 0x70(%rsp)
movq $0x1, (%rsp)
movq 0x40(%rsp), %rbx
movq 0x48(%rsp), %r14
leaq 0x1430(%rsp), %rdi
callq 0x5102
leaq 0x1430(%rsp), %rdi
callq 0x3330
movl %eax, %eax
movq %rax, 0xa8(%rsp)
movl $0x1, %ecx
movq %rax, %rdx
shrq $0x1e, %rdx
xorl %eax, %edx
imull $0x6c078965, %edx, %eax # imm = 0x6C078965
addl %ecx, %eax
movq %rax, 0xa8(%rsp,%rcx,8)
incq %rcx
cmpq $0x270, %rcx            # imm = 0x270
jne 0x4493
leaq 0xa8(%rsp), %rdx
movq $0x270, 0x1380(%rdx) # imm = 0x270
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4f8e
leaq 0x1430(%rsp), %rdi
callq 0x3240
movq 0x80(%rsp), %rbx
movq 0x88(%rsp), %r14
leaq 0x1430(%rsp), %rdi
callq 0x5102
leaq 0x1430(%rsp), %rdi
callq 0x3330
movl %eax, %eax
movq %rax, 0xa8(%rsp)
movl $0x1, %ecx
movq %rax, %rdx
shrq $0x1e, %rdx
xorl %eax, %edx
imull $0x6c078965, %edx, %eax # imm = 0x6C078965
addl %ecx, %eax
movq %rax, 0xa8(%rsp,%rcx,8)
incq %rcx
cmpq $0x270, %rcx            # imm = 0x270
jne 0x451c
leaq 0xa8(%rsp), %rdx
movq $0x270, 0x1380(%rdx) # imm = 0x270
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4f8e
leaq 0x1430(%rsp), %rdi
callq 0x3240
movq 0x60(%rsp), %rbx
movq 0x68(%rsp), %r14
leaq 0x1430(%rsp), %rdi
callq 0x5102
leaq 0x1430(%rsp), %rdi
callq 0x3330
movl %eax, %eax
movq %rax, 0xa8(%rsp)
movl $0x1, %ecx
movq %rax, %rdx
shrq $0x1e, %rdx
xorl %eax, %edx
imull $0x6c078965, %edx, %eax # imm = 0x6C078965
addl %ecx, %eax
movq %rax, 0xa8(%rsp,%rcx,8)
incq %rcx
cmpq $0x270, %rcx            # imm = 0x270
jne 0x459f
leaq 0xa8(%rsp), %rdx
movq $0x270, 0x1380(%rdx) # imm = 0x270
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4f8e
leaq 0x1430(%rsp), %rdi
callq 0x3240
movq 0x88(%rsp), %rax
movq 0x80(%rsp), %rcx
movq %rax, %r15
subq %rcx, %r15
movq 0x68(%rsp), %rdx
subq 0x60(%rsp), %rdx
movq %rdx, 0xa0(%rsp)
movq $0x0, (%rsp)
cmpq %rcx, %rax
je 0x46e3
sarq $0x3, %r15
xorl %eax, %eax
leaq 0xbaaa(%rip), %rbx      # 0x100df
leaq 0xbab1(%rip), %r12      # 0x100ed
leaq 0xa8(%rsp), %r13
leaq 0x1430(%rsp), %rbp
leaq 0x18(%rsp), %r14
movq 0x80(%rsp), %rcx
movq (%rcx,%rax,8), %rsi
movb $0x1, 0x1430(%rsp)
movq 0x10(%rsp), %rdi
callq 0x984c
movb %al, 0x18(%rsp)
leaq 0xb8(%rsp), %rax
movq %rax, 0xa8(%rsp)
movq %r13, %rdi
movq %rbx, %rsi
movq %r12, %rdx
callq 0x5648
movq 0x38(%rsp), %rdi
movq %rbp, %rsi
movq %r14, %rdx
movq %r13, %rcx
movl $0x44, %r8d
callq 0x4d9c
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0x46cf
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rax
incq %rax
movq %rax, (%rsp)
cmpq %r15, %rax
jb 0x4651
movq $0x0, (%rsp)
cmpq $0x0, 0x8(%rsp)
leaq 0xb8(%rsp), %r14
je 0x4820
xorl %eax, %eax
leaq 0xa8(%rsp), %r12
leaq 0x1430(%rsp), %r13
leaq 0xb9c7(%rip), %r15      # 0x100df
leaq 0x18(%rsp), %rbp
movq 0x40(%rsp), %rcx
movq (%rcx,%rax,8), %rbx
testb $0x1, %bl
jne 0x474e
movq %r14, 0xa8(%rsp)
movq 0x11b46(%rip), %rsi     # 0x16280
movq 0x11b47(%rip), %rdx     # 0x16288
addq %rsi, %rdx
movq %r12, %rdi
callq 0x55b2
jmp 0x4767
leaq 0x1(%rbx), %rsi
movq %r14, 0xa8(%rsp)
movq %r12, %rdi
movl $0x73, %edx
callq 0x32c0
movq %r13, %rdi
movq 0x10(%rsp), %rsi
movq %rbx, %rdx
callq 0x9336
leaq 0x28(%rsp), %rax
movq %rax, 0x18(%rsp)
movq %rbp, %rdi
movq %r15, %rsi
leaq 0xb95f(%rip), %rdx      # 0x100ed
callq 0x5648
movq 0x38(%rsp), %rdi
movq %r12, %rsi
movq %r13, %rdx
movq %rbp, %rcx
movl $0x4a, %r8d
callq 0x4c7a
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x47c8
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x47ed
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0xa8(%rsp), %rdi
cmpq %r14, %rdi
je 0x480a
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rax
incq %rax
movq %rax, (%rsp)
cmpq 0x8(%rsp), %rax
jb 0x471d
movq 0xa0(%rsp), %r14
sarq $0x3, %r14
movq $0x1, (%rsp)
cmpq $0x2, %r14
jb 0x48f8
movl $0x1, %eax
leaq 0xb895(%rip), %rbx      # 0x100df
leaq 0xb89c(%rip), %r15      # 0x100ed
leaq 0xa8(%rsp), %r12
leaq 0x1430(%rsp), %r13
leaq 0x18(%rsp), %rbp
movq 0x60(%rsp), %rcx
movq (%rcx,%rax,8), %rsi
movl %esi, %eax
andb $0x1, %al
movb %al, 0x1430(%rsp)
movq 0x10(%rsp), %rdi
callq 0x984c
movb %al, 0x18(%rsp)
leaq 0xb8(%rsp), %rax
movq %rax, 0xa8(%rsp)
movq %r12, %rdi
movq %rbx, %rsi
movq %r15, %rdx
callq 0x5648
movq 0x38(%rsp), %rdi
movq %r13, %rsi
movq %rbp, %rdx
movq %r12, %rcx
movl $0x4f, %r8d
callq 0x4d9c
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0x48e4
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rax
incq %rax
movq %rax, (%rsp)
cmpq %r14, %rax
jb 0x4866
movq 0x38(%rsp), %rbx
movq %rbx, %rdi
callq 0x4e8c
movq %rbx, %rdi
callq 0x517c
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x4924
movq 0x70(%rsp), %rsi
subq %rdi, %rsi
callq 0x3280
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x4941
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x3280
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x4958
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x3280
addq $0x27b8, %rsp           # imm = 0x27B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x4af4
jmp 0x4b62
jmp 0x4af4
jmp 0x4b62
jmp 0x4af4
jmp 0x4b62
jmp 0x4af4
jmp 0x4be3
jmp 0x4af4
jmp 0x4be3
jmp 0x4a0a
jmp 0x4a1f
jmp 0x49c9
jmp 0x49f3
jmp 0x4a0a
jmp 0x4a1f
movq %rax, %rbx
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x49cc
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x49cc
movq %rax, %rbx
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x49f6
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x49f6
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
jmp 0x4a60
jmp 0x4a1f
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
jne 0x4a69
jmp 0x4c72
movq %rax, %rbx
jmp 0x4c72
movq %rax, %rbx
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x4a54
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4a54
movq %rax, %rbx
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x4c72
movq 0xb8(%rsp), %rsi
incq %rsi
jmp 0x4c6d
jmp 0x4b62
movq %rax, %rbx
leaq 0x1430(%rsp), %rdi
callq 0x3240
jmp 0x4b8f
jmp 0x4af4
movq %rax, %rbx
leaq 0x1430(%rsp), %rdi
callq 0x3240
jmp 0x4b8f
jmp 0x4af4
movq %rax, %rbx
leaq 0x1430(%rsp), %rdi
callq 0x3240
jmp 0x4b8f
jmp 0x4af4
jmp 0x4be3
movq %rax, %rbx
leaq 0x1430(%rsp), %rdi
callq 0x3240
jmp 0x4c5b
jmp 0x4af4
movq %rax, %rbx
leaq 0x1430(%rsp), %rdi
callq 0x3240
jmp 0x4c5b
movq %rax, %rdi
callq 0x520a
jmp 0x4b62
movq %rax, %rbx
jmp 0x4ba6
jmp 0x4be3
jmp 0x4b62
jmp 0x4b62
jmp 0x4b67
jmp 0x4b62
jmp 0x4b67
movq %rax, %rbx
jmp 0x4b39
movq %rax, %rbx
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x4b39
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x4b6a
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4b6a
jmp 0x4b62
movq %rax, %rbx
jmp 0x4b8f
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0x4b8f
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x4ba6
movq 0x70(%rsp), %rsi
subq %rdi, %rsi
callq 0x3280
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x4c5b
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
jmp 0x4c56
jmp 0x4be3
jmp 0x4be8
jmp 0x4bed
jmp 0x4bf2
jmp 0x4be3
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
jne 0x4c4b
jmp 0x4c5b
movq %rax, %rbx
jmp 0x4c5b
movq %rax, %rbx
jmp 0x4c36
movq %rax, %rbx
jmp 0x4c11
movq %rax, %rbx
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x4c11
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x4c36
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0x4c5b
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x4c72
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x3280
movq %rbx, %rdi
callq 0x3460