// File: /workspace/github_cpp_makefile_star2_O1/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 0x9470
leaq 0x1440(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0xc456(%rip), %rsi      # 0x100bf
leaq 0xc45d(%rip), %rdx      # 0x100cd
leaq 0x1430(%rsp), %rdi
callq 0x561a
leaq 0x125fc(%rip), %rsi     # 0x16280
leaq 0xa8(%rsp), %rdx
leaq 0x1430(%rsp), %rcx
movq %r12, %rdi
movl $0x11, %r8d
callq 0x4c78
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x3cc7
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0xb8(%rsp), %r15
movq -0x10(%r15), %rdi
cmpq %r15, %rdi
je 0x3ce8
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0xa8(%rsp), %rdi
movq %r15, (%rdi)
leaq 0xc3d4(%rip), %rsi      # 0x100ce
leaq 0xc3cf(%rip), %rdx      # 0x100d0
callq 0x561a
leaq 0xa8(%rsp), %rdx
movl $0x1, %esi
movq 0x10(%rsp), %rdi
callq 0x93f8
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3d3a
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0xa8(%rsp), %rdi
movq %r15, (%rdi)
leaq 0xc382(%rip), %rsi      # 0x100ce
leaq 0xc37d(%rip), %rdx      # 0x100d0
callq 0x561a
leaq 0x1430(%rsp), %rdi
movl $0x1, %edx
movq 0x10(%rsp), %rsi
callq 0x9470
leaq 0x28(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0xc340(%rip), %rsi      # 0x100bf
leaq 0xc347(%rip), %rdx      # 0x100cd
leaq 0x18(%rsp), %rdi
callq 0x561a
leaq 0xa8(%rsp), %rsi
leaq 0x1430(%rsp), %rdx
leaq 0x18(%rsp), %rcx
movq %r12, %rdi
movl $0x13, %r8d
callq 0x4c78
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x3dcf
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x3df4
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3e11
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movb $0x1, 0x1430(%rsp)
movl $0x1, %esi
movq 0x10(%rsp), %rdi
callq 0x99ee
movb %al, 0x18(%rsp)
leaq 0xa8(%rsp), %rdi
movq %r15, (%rdi)
leaq 0xc281(%rip), %rsi      # 0x100bf
leaq 0xc288(%rip), %rdx      # 0x100cd
callq 0x561a
leaq 0x1430(%rsp), %rsi
leaq 0x18(%rsp), %rdx
leaq 0xa8(%rsp), %rcx
movq %r12, %rdi
movl $0x14, %r8d
callq 0x4d9a
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3e8a
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
leaq 0xa8(%rsp), %rdi
movl $0x1, %edx
movq 0x10(%rsp), %rsi
callq 0x9470
leaq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
movq %rax, (%rdi)
leaq 0xc204(%rip), %rsi      # 0x100bf
leaq 0xc20b(%rip), %rdx      # 0x100cd
callq 0x561a
leaq 0x123b2(%rip), %rsi     # 0x16280
leaq 0xa8(%rsp), %rdx
leaq 0x1430(%rsp), %rcx
movq %r12, %rdi
movl $0x15, %r8d
callq 0x4c78
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x3f11
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3f2e
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movb $0x0, 0x1430(%rsp)
movl $0x1, %esi
movq 0x10(%rsp), %rdi
callq 0x99ee
movb %al, 0x18(%rsp)
leaq 0xa8(%rsp), %rdi
movq %r15, (%rdi)
leaq 0xc164(%rip), %rsi      # 0x100bf
leaq 0xc16b(%rip), %rdx      # 0x100cd
callq 0x561a
leaq 0x1430(%rsp), %rsi
leaq 0x18(%rsp), %rdx
leaq 0xa8(%rsp), %rcx
movq %r12, %rdi
movl $0x16, %r8d
callq 0x4d9a
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x3fa7
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq %r12, %rdi
callq 0x4e8a
xorl %eax, %eax
movq %rax, 0x50(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x40(%rsp)
movq %rax, (%rsp)
cmpq $0x0, 0x8(%rsp)
je 0x400b
xorl %eax, %eax
leaq 0x40(%rsp), %rbx
movq %rsp, %r14
movq 0x48(%rsp), %rsi
cmpq 0x50(%rsp), %rsi
je 0x3fee
movq %rax, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x48(%rsp)
jmp 0x3ff9
movq %rbx, %rdi
movq %r14, %rdx
callq 0x5214
movq (%rsp), %rax
incq %rax
movq %rax, (%rsp)
cmpq 0x8(%rsp), %rax
jb 0x3fd4
movq 0x40(%rsp), %rbx
movq 0x48(%rsp), %r14
leaq 0x1430(%rsp), %rdi
callq 0x5100
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 0x4043
leaq 0xa8(%rsp), %rdx
movq $0x270, 0x1380(%rdx) # imm = 0x270
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4f8c
leaq 0x1430(%rsp), %rdi
callq 0x3240
movq $0x0, (%rsp)
cmpq $0x0, 0x8(%rsp)
je 0x41e5
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 0x93f8
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x4110
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 0x9470
leaq 0x28(%rsp), %rax
movq %rax, 0x18(%rsp)
movq %rbp, %rdi
leaq 0xbf73(%rip), %rsi      # 0x100bf
leaq 0xbf7a(%rip), %rdx      # 0x100cd
callq 0x561a
movq 0x38(%rsp), %rdi
movq %r12, %rsi
movq %r13, %rdx
movq %rbp, %rcx
movl $0x24, %r8d
callq 0x4c78
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x418d
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x41b2
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x41cf
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rax
incq %rax
movq %rax, (%rsp)
cmpq 0x8(%rsp), %rax
jb 0x40be
movq 0x38(%rsp), %rdi
callq 0x4e8a
movq 0x40(%rsp), %rbx
movq 0x48(%rsp), %r14
leaq 0x1430(%rsp), %rdi
callq 0x5100
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 0x4222
leaq 0xa8(%rsp), %rdx
movq $0x270, 0x1380(%rdx) # imm = 0x270
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4f8c
leaq 0x1430(%rsp), %rdi
callq 0x3240
movq $0x0, (%rsp)
cmpq $0x0, 0x8(%rsp)
je 0x437f
xorl %eax, %eax
leaq 0xa8(%rsp), %r12
leaq 0x1430(%rsp), %r13
leaq 0xbe2e(%rip), %rbx      # 0x100cd
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 0x9470
leaq 0x28(%rsp), %rax
movq %rax, 0x18(%rsp)
movq %rbp, %rdi
leaq 0xbdd5(%rip), %rsi      # 0x100bf
movq %rbx, %rdx
callq 0x561a
movq 0x38(%rsp), %rdi
movq %r12, %rsi
movq %r13, %rdx
movq %rbp, %rcx
movl $0x2d, %r8d
callq 0x4c78
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x4327
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x434c
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x4369
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rax
incq %rax
movq %rax, (%rsp)
cmpq 0x8(%rsp), %rax
jb 0x42a4
movq 0x38(%rsp), %rdi
callq 0x4e8a
xorps %xmm0, %xmm0
movaps %xmm0, 0x80(%rsp)
xorl %eax, %eax
movq %rax, 0x90(%rsp)
movq %rax, (%rsp)
cmpq $0x0, 0x8(%rsp)
je 0x43f8
xorl %eax, %eax
leaq 0x80(%rsp), %rbx
movq %rsp, %r14
movq 0x88(%rsp), %rsi
cmpq 0x90(%rsp), %rsi
je 0x43da
movq %rax, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x88(%rsp)
jmp 0x43e5
movq %rbx, %rdi
movq %r14, %rdx
callq 0x5214
movq (%rsp), %rax
addq $0x2, %rax
movq %rax, (%rsp)
cmpq 0x8(%rsp), %rax
jb 0x43b7
xorps %xmm0, %xmm0
movaps %xmm0, 0x60(%rsp)
movq $0x0, 0x70(%rsp)
movq $0x1, (%rsp)
cmpq $0x2, 0x8(%rsp)
jb 0x445e
movl $0x1, %eax
leaq 0x60(%rsp), %rbx
movq %rsp, %r14
movq 0x68(%rsp), %rsi
cmpq 0x70(%rsp), %rsi
je 0x4440
movq %rax, (%rsi)
addq $0x8, %rsi
movq %rsi, 0x68(%rsp)
jmp 0x444b
movq %rbx, %rdi
movq %r14, %rdx
callq 0x5214
movq (%rsp), %rax
addq $0x2, %rax
movq %rax, (%rsp)
cmpq 0x8(%rsp), %rax
jb 0x4426
movq 0x40(%rsp), %rbx
movq 0x48(%rsp), %r14
leaq 0x1430(%rsp), %rdi
callq 0x5100
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 0x4491
leaq 0xa8(%rsp), %rdx
movq $0x270, 0x1380(%rdx) # imm = 0x270
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4f8c
leaq 0x1430(%rsp), %rdi
callq 0x3240
movq 0x80(%rsp), %rbx
movq 0x88(%rsp), %r14
leaq 0x1430(%rsp), %rdi
callq 0x5100
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 0x451a
leaq 0xa8(%rsp), %rdx
movq $0x270, 0x1380(%rdx) # imm = 0x270
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4f8c
leaq 0x1430(%rsp), %rdi
callq 0x3240
movq 0x60(%rsp), %rbx
movq 0x68(%rsp), %r14
leaq 0x1430(%rsp), %rdi
callq 0x5100
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 0x459d
leaq 0xa8(%rsp), %rdx
movq $0x270, 0x1380(%rdx) # imm = 0x270
movq %rbx, %rdi
movq %r14, %rsi
callq 0x4f8c
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 0x46e1
sarq $0x3, %r15
xorl %eax, %eax
leaq 0xba8c(%rip), %rbx      # 0x100bf
leaq 0xba93(%rip), %r12      # 0x100cd
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 0x99ee
movb %al, 0x18(%rsp)
leaq 0xb8(%rsp), %rax
movq %rax, 0xa8(%rsp)
movq %r13, %rdi
movq %rbx, %rsi
movq %r12, %rdx
callq 0x561a
movq 0x38(%rsp), %rdi
movq %rbp, %rsi
movq %r14, %rdx
movq %r13, %rcx
movl $0x44, %r8d
callq 0x4d9a
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0x46cd
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rax
incq %rax
movq %rax, (%rsp)
cmpq %r15, %rax
jb 0x464f
movq $0x0, (%rsp)
cmpq $0x0, 0x8(%rsp)
leaq 0xb8(%rsp), %r14
je 0x481e
xorl %eax, %eax
leaq 0xa8(%rsp), %r12
leaq 0x1430(%rsp), %r13
leaq 0xb9a9(%rip), %r15      # 0x100bf
leaq 0x18(%rsp), %rbp
movq 0x40(%rsp), %rcx
movq (%rcx,%rax,8), %rbx
testb $0x1, %bl
jne 0x474c
movq %r14, 0xa8(%rsp)
movq 0x11b48(%rip), %rsi     # 0x16280
movq 0x11b49(%rip), %rdx     # 0x16288
addq %rsi, %rdx
movq %r12, %rdi
callq 0x558a
jmp 0x4765
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 0x9470
leaq 0x28(%rsp), %rax
movq %rax, 0x18(%rsp)
movq %rbp, %rdi
movq %r15, %rsi
leaq 0xb941(%rip), %rdx      # 0x100cd
callq 0x561a
movq 0x38(%rsp), %rdi
movq %r12, %rsi
movq %r13, %rdx
movq %rbp, %rcx
movl $0x4a, %r8d
callq 0x4c78
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x47c6
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x47eb
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0xa8(%rsp), %rdi
cmpq %r14, %rdi
je 0x4808
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rax
incq %rax
movq %rax, (%rsp)
cmpq 0x8(%rsp), %rax
jb 0x471b
movq 0xa0(%rsp), %r14
sarq $0x3, %r14
movq $0x1, (%rsp)
cmpq $0x2, %r14
jb 0x48f6
movl $0x1, %eax
leaq 0xb877(%rip), %rbx      # 0x100bf
leaq 0xb87e(%rip), %r15      # 0x100cd
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 0x99ee
movb %al, 0x18(%rsp)
leaq 0xb8(%rsp), %rax
movq %rax, 0xa8(%rsp)
movq %r12, %rdi
movq %rbx, %rsi
movq %r15, %rdx
callq 0x561a
movq 0x38(%rsp), %rdi
movq %r13, %rsi
movq %rbp, %rdx
movq %r12, %rcx
movl $0x4f, %r8d
callq 0x4d9a
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0x48e2
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq (%rsp), %rax
incq %rax
movq %rax, (%rsp)
cmpq %r14, %rax
jb 0x4864
movq 0x38(%rsp), %rbx
movq %rbx, %rdi
callq 0x4e8a
movq %rbx, %rdi
callq 0x517a
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x4922
movq 0x70(%rsp), %rsi
subq %rdi, %rsi
callq 0x3280
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x493f
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x3280
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x4956
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 0x4af2
jmp 0x4b60
jmp 0x4af2
jmp 0x4b60
jmp 0x4af2
jmp 0x4b60
jmp 0x4af2
jmp 0x4be1
jmp 0x4af2
jmp 0x4be1
jmp 0x4a08
jmp 0x4a1d
jmp 0x49c7
jmp 0x49f1
jmp 0x4a08
jmp 0x4a1d
movq %rax, %rbx
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x49ca
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x49ca
movq %rax, %rbx
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x49f4
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x49f4
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
jmp 0x4a5e
jmp 0x4a1d
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
jne 0x4a67
jmp 0x4c70
movq %rax, %rbx
jmp 0x4c70
movq %rax, %rbx
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x4a52
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4a52
movq %rax, %rbx
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x4c70
movq 0xb8(%rsp), %rsi
incq %rsi
jmp 0x4c6b
jmp 0x4b60
movq %rax, %rbx
leaq 0x1430(%rsp), %rdi
callq 0x3240
jmp 0x4b8d
jmp 0x4af2
movq %rax, %rbx
leaq 0x1430(%rsp), %rdi
callq 0x3240
jmp 0x4b8d
jmp 0x4af2
movq %rax, %rbx
leaq 0x1430(%rsp), %rdi
callq 0x3240
jmp 0x4b8d
jmp 0x4af2
jmp 0x4be1
movq %rax, %rbx
leaq 0x1430(%rsp), %rdi
callq 0x3240
jmp 0x4c59
jmp 0x4af2
movq %rax, %rbx
leaq 0x1430(%rsp), %rdi
callq 0x3240
jmp 0x4c59
movq %rax, %rdi
callq 0x5208
jmp 0x4b60
movq %rax, %rbx
jmp 0x4ba4
jmp 0x4be1
jmp 0x4b60
jmp 0x4b60
jmp 0x4b65
jmp 0x4b60
jmp 0x4b65
movq %rax, %rbx
jmp 0x4b37
movq %rax, %rbx
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x4b37
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x4b68
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
jmp 0x4b68
jmp 0x4b60
movq %rax, %rbx
jmp 0x4b8d
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0x4b8d
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x60(%rsp), %rdi
testq %rdi, %rdi
je 0x4ba4
movq 0x70(%rsp), %rsi
subq %rdi, %rsi
callq 0x3280
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x4c59
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
jmp 0x4c54
jmp 0x4be1
jmp 0x4be6
jmp 0x4beb
jmp 0x4bf0
jmp 0x4be1
movq %rax, %rbx
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
jne 0x4c49
jmp 0x4c59
movq %rax, %rbx
jmp 0x4c59
movq %rax, %rbx
jmp 0x4c34
movq %rax, %rbx
jmp 0x4c0f
movq %rax, %rbx
movq 0x18(%rsp), %rdi
leaq 0x28(%rsp), %rax
cmpq %rax, %rdi
je 0x4c0f
movq 0x28(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x1430(%rsp), %rdi
leaq 0x1440(%rsp), %rax
cmpq %rax, %rdi
je 0x4c34
movq 0x1440(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0x4c59
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x3280
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x4c70
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x3280
movq %rbx, %rdi
callq 0x3460