// File: /workspace/github_cpp_makefile_star2_O3/vsklad[P]cgen/commands.cpp
// Function: void encode_impl<acl::SHA1<bal::Literal<bal::Anf>>>(acl::SHA1<bal::Literal<bal::Anf>>::Bit::Formula&, unsigned int, std::map<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, CGenVariableInfo, std::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, CGenVariableInfo>>>&, unsigned int, unsigned int, char const*, CGenOutputFormat, bool, bool, bool, bal::FormulaProcessingMode)
void encode_impl(typename SHA::Bit::Formula& formula, const uint32_t rounds,
                 CGenVariablesMap& variables_map,
                 const uint32_t add_max_args, const uint32_t xor_max_args,
                 const char* const output_file_name, const CGenOutputFormat output_format,
                 const bool b_reindex_variables, const bool b_normalize_variables,
                 const bool b_assign_after_encoding, const bal::FormulaProcessingMode mode) {

    if (rounds == 0 || rounds > SHA::ROUNDS_NUMBER) {
        throw std::invalid_argument(ERROR_ROUNDS_RANGE);
    };
    
    if (add_max_args > 0) {
        formula.set_add_max_args(add_max_args);
    };
    if (xor_max_args > 0) {
        formula.set_xor_max_args(xor_max_args);
    };
    formula.add_parameter("encoder", "add_max_args", formula.get_add_max_args());
    formula.add_parameter("encoder", "xor_max_args", formula.get_xor_max_args());
    
    formula.add_parameter("encoder", "xor_args_structure", "chain"); // "pyramid"
#if defined(XOR_ARGS_ORDER_ASCENDING)
    formula.add_parameter("encoder", "xor_args_order", "ascending");
#elif defined(XOR_ARGS_ORDER_DESCENDING)
    formula.add_parameter("encoder", "xor_args_order", "descending");
#else
    formula.add_parameter("encoder", "xor_args_order", "none");
#endif
    
    formula.add_parameter("encoder", "algorithm", SHA::NAME);
    formula.add_parameter("encoder", "rounds", rounds);
 
    // assume 1 block but expand if necessary
    bal::VariablesArray M_array(SHA::MESSAGE_BLOCK_SIZE, SHA::WORD_SIZE);
    M_array.assign_unassigned();
    
    // handling of message M is special because it is used to optimise the encoding itself
    auto M_it = variables_map.find("M");
    if (!b_assign_after_encoding && M_it != variables_map.end()) {
        if (M_it->second.mode == vmCompute) {
            throw std::invalid_argument(ERROR_COMPUTE_MESSAGE_NOT_SUPPORTED);
        } else if (M_it->second.mode == vmRandom) {
            variable_define_random(M_it->second, M_array);
        } else {
            _assert_level_0(M_it->second.mode == vmValue);
            // check that the message size is a multiple of the block size
            constexpr auto MESSAGE_BLOCK_SIZE_BITS = SHA::MESSAGE_BLOCK_SIZE * SHA::WORD_SIZE;
            if ((M_it->second.data.size() % MESSAGE_BLOCK_SIZE_BITS) != 0) {
                std::stringstream error_message;
                error_message << "Message (M) size must be a multiple of the block size ";
                error_message << std::dec << "(" << MESSAGE_BLOCK_SIZE_BITS << ")";
                throw std::invalid_argument(error_message.str());
            } else if (M_it->second.data.size() > MESSAGE_BLOCK_SIZE_BITS) {
                // expand the message template
                M_array = bal::VariablesArray(M_it->second.data.size() / SHA::WORD_SIZE, SHA::WORD_SIZE);
                M_array.assign_unassigned();
            };
        };
        M_array = variable_generate_value(formula, "M", M_it->second, M_array, true, true);
    };
    
    SHA sha;
    
    const std::size_t M_size = M_array.size() / SHA::WORD_SIZE;
    formula.add_parameter("encoder", "message_blocks", M_size / SHA::MESSAGE_BLOCK_SIZE);
    
    bal::Ref<typename SHA::Word> M[M_size];
    bal::Ref<typename SHA::Word> H[SHA::HASH_SIZE];
    
    formula.generate_unassigned_variable_literals(M_array.data(), M_array.size());

    assign(M, M_size, formula, M_array);
    
    bal::FormulaTracer<SHA::WORD_SIZE, typename SHA::Bit> tracer(formula);
    sha.execute(M, M_size, H, tracer, rounds);
    
    bool is_valid = true;
    
    if (variables_map.size() > 0) {
        // take the same route as process function
        print_statistics(formula);
        variables_define(formula, variables_map);
        is_valid = process_impl<typename SHA::Bit::Formula, true>(formula, variables_map, b_reindex_variables, mode);
    };
    
    if (is_valid && b_normalize_variables) {
        normalize_variables(formula, b_reindex_variables);
    };
    
    if (is_valid) {
        save(formula, output_file_name, output_format);
    } else {
        throw std::invalid_argument("Encoding failed");
    };
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x238, %rsp            # imm = 0x238
movq %rsi, -0x90(%rbp)
leal -0x51(%rsi), %eax
cmpl $-0x51, %eax
jbe 0x2255b
movq %r9, %r14
movl %r8d, %ebx
movq %rdx, %r15
movq %rdi, %r13
testl %ecx, %ecx
je 0x21c61
movq %r13, %rdi
movl %ecx, %esi
callq 0x2c6f0
testl %ebx, %ebx
je 0x21c6f
movq %r13, %rdi
movl %ebx, %esi
callq 0x2c8b0
leaq -0x250(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x24da1(%rip), %rsi     # 0x46a23
leaq 0x24da1(%rip), %rdx     # 0x46a2a
leaq -0x260(%rbp), %rdi
callq 0x1dab2
leaq -0x38(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x2439f(%rip), %rsi     # 0x46043
leaq 0x243a4(%rip), %rdx     # 0x4604f
leaq -0x48(%rbp), %rdi
callq 0x1dab2
movl 0x70(%r13), %ecx
testl %ecx, %ecx
jne 0x21cc8
movq (%r13), %rax
movq %r13, %rdi
callq *0x18(%rax)
movl %eax, %ecx
leaq -0x260(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %r13, %rdi
callq 0x3b6c8
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x21ce9
callq 0xb280
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x21cfa
callq 0xb280
leaq -0x260(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x24d18(%rip), %rsi     # 0x46a23
leaq 0x24d18(%rip), %rdx     # 0x46a2a
callq 0x1dab2
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x2432b(%rip), %rsi     # 0x46050
leaq 0x24330(%rip), %rdx     # 0x4605c
callq 0x1dab2
movl 0x74(%r13), %ecx
testl %ecx, %ecx
jne 0x21d45
movq (%r13), %rax
movq %r13, %rdi
callq *0x30(%rax)
movl %eax, %ecx
leaq -0x260(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %r13, %rdi
callq 0x3b6c8
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x21d66
callq 0xb280
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x21d77
callq 0xb280
leaq -0x260(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x24c9b(%rip), %rsi     # 0x46a23
leaq 0x24c9b(%rip), %rdx     # 0x46a2a
callq 0x1dab2
movq %r14, -0xa8(%rbp)
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x26bbf(%rip), %rsi     # 0x48968
leaq 0x26bca(%rip), %rdx     # 0x4897a
callq 0x1dab2
leaq -0x68(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x24c7a(%rip), %rsi     # 0x46a3e
leaq 0x24c78(%rip), %rdx     # 0x46a43
leaq -0x78(%rbp), %rdi
callq 0x1dab2
leaq -0x260(%rbp), %rsi
leaq -0x48(%rbp), %rdx
leaq -0x78(%rbp), %rcx
movq %r13, %rdi
movl $0x1, %r8d
callq 0x3b4f2
movq -0x78(%rbp), %rdi
cmpq %r14, %rdi
je 0x21dff
callq 0xb280
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x21e0d
callq 0xb280
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x21e1e
callq 0xb280
leaq -0x260(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x24bf4(%rip), %rsi     # 0x46a23
leaq 0x24bf4(%rip), %rdx     # 0x46a2a
callq 0x1dab2
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x26b32(%rip), %rsi     # 0x4897b
leaq 0x26b39(%rip), %rdx     # 0x48989
callq 0x1dab2
leaq -0x78(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x26b27(%rip), %rsi     # 0x4898a
leaq 0x26b29(%rip), %rdx     # 0x48993
callq 0x1dab2
leaq -0x260(%rbp), %rsi
leaq -0x48(%rbp), %rdx
leaq -0x78(%rbp), %rcx
movq %r13, %rdi
movl $0x1, %r8d
callq 0x3b4f2
movq -0x78(%rbp), %rdi
cmpq %r14, %rdi
je 0x21e9a
callq 0xb280
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x21ea8
callq 0xb280
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x21eb9
callq 0xb280
leaq -0x260(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x24b59(%rip), %rsi     # 0x46a23
leaq 0x24b59(%rip), %rdx     # 0x46a2a
callq 0x1dab2
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x26ab0(%rip), %rsi     # 0x48994
leaq 0x26ab2(%rip), %rdx     # 0x4899d
callq 0x1dab2
leaq -0x78(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x26aa0(%rip), %rsi     # 0x4899e
leaq 0x26a9e(%rip), %rdx     # 0x489a3
callq 0x1dab2
leaq -0x260(%rbp), %rsi
leaq -0x48(%rbp), %rdx
leaq -0x78(%rbp), %rcx
movq %r13, %rdi
movl $0x1, %r8d
callq 0x3b4f2
movq -0x78(%rbp), %rdi
cmpq %r14, %rdi
je 0x21f35
callq 0xb280
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x21f43
callq 0xb280
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x21f54
callq 0xb280
leaq -0x260(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x24abe(%rip), %rsi     # 0x46a23
leaq 0x24abe(%rip), %rdx     # 0x46a2a
callq 0x1dab2
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x26a25(%rip), %rsi     # 0x489a4
leaq 0x26a24(%rip), %rdx     # 0x489aa
callq 0x1dab2
leaq -0x260(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %r13, %rdi
movq -0x90(%rbp), %rcx
callq 0x3b6c8
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x21fb3
callq 0xb280
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x21fc4
callq 0xb280
leaq -0x48(%rbp), %rbx
movq %rbx, %rdi
movl $0x200, %esi            # imm = 0x200
callq 0xe6e4
movl $0x20, 0x1c(%rbx)
cmpl $0x0, 0x8(%rbx)
je 0x21ffa
movq -0x48(%rbp), %rax
xorl %ecx, %ecx
movl $0xffffffff, (%rax,%rcx,4) # imm = 0xFFFFFFFF
incq %rcx
movl -0x40(%rbp), %edx
cmpq %rdx, %rcx
jb 0x21fe8
leaq -0x260(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x269a0(%rip), %rsi     # 0x489ab
leaq 0x2699a(%rip), %rdx     # 0x489ac
callq 0x1dab2
leaq -0x260(%rbp), %rsi
movq %r15, -0x88(%rbp)
movq %r15, %rdi
callq 0x1dd7e
movq %rax, %r15
movb 0x28(%rbp), %bl
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x22044
callq 0xb280
movq -0x88(%rbp), %rax
addq $0x8, %rax
cmpq %rax, %r15
sete %al
orb %al, %bl
movq %r13, -0x50(%rbp)
jne 0x221b2
movq %r15, %rbx
addq $0x40, %rbx
movl 0x40(%r15), %eax
testl %eax, %eax
je 0x22087
cmpl $0x1, %eax
jne 0x225e3
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x1e9fa
jmp 0x220fe
movl 0x60(%r15), %esi
testl $0x1ff, %esi            # imm = 0x1FF
jne 0x2265d
cmpl $0x201, %esi            # imm = 0x201
jb 0x220fe
shrl $0x5, %esi
leaq -0x260(%rbp), %rdi
movl $0x20, %edx
callq 0xe5fc
cmpl $0x0, -0x30(%rbp)
je 0x220c7
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0x220c7
callq 0xb350
movq -0x260(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x248(%rbp), %rcx
movq %rcx, -0x30(%rbp)
movl -0x258(%rbp), %ecx
movl %ecx, -0x40(%rbp)
testl %ecx, %ecx
je 0x220fe
xorl %ecx, %ecx
movl $0xffffffff, (%rax,%rcx,4) # imm = 0xFFFFFFFF
incq %rcx
movl -0x40(%rbp), %edx
cmpq %rdx, %rcx
jb 0x220ec
leaq -0xc0(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x2689b(%rip), %rsi     # 0x489ab
leaq 0x26895(%rip), %rdx     # 0x489ac
leaq -0xd0(%rbp), %rdi
callq 0x1dab2
subq $0x8, %rsp
leaq -0x260(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
leaq -0x48(%rbp), %r8
movq -0x50(%rbp), %rsi
movq %rbx, %rcx
movl $0x1, %r9d
pushq $0x1
callq 0x1f10c
addq $0x10, %rsp
cmpl $0x0, -0x30(%rbp)
je 0x22165
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0x22165
callq 0xb350
movq -0x260(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x248(%rbp), %rax
movq %rax, -0x30(%rbp)
movl -0x258(%rbp), %eax
movl %eax, -0x40(%rbp)
movq $0x0, -0x260(%rbp)
xorl %eax, %eax
movl %eax, -0x248(%rbp)
movl %eax, -0x258(%rbp)
movq -0xd0(%rbp), %rdi
cmpq %r13, %rdi
je 0x221ae
callq 0xb280
movq -0x50(%rbp), %r13
movl -0x40(%rbp), %ebx
leaq -0x260(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x2485d(%rip), %rsi     # 0x46a23
leaq 0x2485d(%rip), %rdx     # 0x46a2a
callq 0x1dab2
leaq -0x78(%rbp), %rdi
movq %r14, (%rdi)
leaq 0x2695b(%rip), %rsi     # 0x48b3b
leaq 0x26962(%rip), %rdx     # 0x48b49
callq 0x1dab2
movl %ebx, %ecx
shrl $0x9, %ecx
leaq -0x260(%rbp), %rsi
leaq -0x78(%rbp), %rdx
movq %r13, %rdi
callq 0x3b6c8
movl %ebx, %r13d
shrl $0x5, %r13d
movq -0x78(%rbp), %rdi
cmpq %r14, %rdi
je 0x22219
callq 0xb280
movl %ebx, -0x54(%rbp)
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x2222d
callq 0xb280
movq %rsp, -0xa0(%rbp)
leal 0xf(,%r13,8), %eax
andl $-0x10, %eax
movq %rsp, %rbx
subq %rax, %rbx
movq %rbx, %rsp
cmpl $0x20, -0x54(%rbp)
jb 0x22260
leal (,%r13,8), %edx
movq %rbx, %rdi
xorl %esi, %esi
callq 0xb160
xorps %xmm0, %xmm0
movaps %xmm0, -0x250(%rbp)
movaps %xmm0, -0x260(%rbp)
movq $0x0, -0x240(%rbp)
movl -0x40(%rbp), %eax
testq %rax, %rax
movq %rbx, -0x80(%rbp)
je 0x222b3
movq -0x48(%rbp), %rbx
leaq (%rbx,%rax,4), %r14
cmpl $-0x1, (%rbx)
jne 0x222a1
movq -0x50(%rbp), %rdi
movq (%rdi), %rax
callq *0x8(%rax)
movl %eax, (%rbx)
addq $0x4, %rbx
cmpq %r14, %rbx
jb 0x22290
movl -0x40(%rbp), %eax
movq -0x80(%rbp), %rbx
jmp 0x222b5
xorl %eax, %eax
movl %r13d, %ecx
shll $0x5, %ecx
cmpl %eax, %ecx
jne 0x2258d
cmpl $0x20, -0x54(%rbp)
jb 0x223d1
movq -0x48(%rbp), %rax
addq $0x7c, %rax
movq %rax, -0x98(%rbp)
xorl %r15d, %r15d
leaq -0x78(%rbp), %r12
movl $0x148, %edi            # imm = 0x148
callq 0xb2c0
movq %rax, %r14
movq $0x0, 0x140(%rax)
leaq 0x38e0e(%rip), %rax     # 0x5b110
movq %rax, (%r14)
leaq 0x38f5c(%rip), %rax     # 0x5b268
movq %rax, 0x130(%r14)
leaq 0x38f8e(%rip), %rax     # 0x5b2a8
movq %rax, 0x138(%r14)
leaq 0x38e78(%rip), %rax     # 0x5b1a0
movq %rax, 0x8(%r14)
leaq 0x38e8d(%rip), %rax     # 0x5b1c0
movq %rax, 0x10(%r14)
leaq 0x38ea2(%rip), %rax     # 0x5b1e0
movq %rax, 0x18(%r14)
leaq 0x38eb7(%rip), %rax     # 0x5b200
movq %rax, 0x20(%r14)
leaq 0x38ecc(%rip), %rax     # 0x5b220
movq %rax, 0x28(%r14)
movq %r14, %rdi
addq $0x30, %rdi
movl $0x100, %edx            # imm = 0x100
xorl %esi, %esi
callq 0xb160
movq %r15, -0xb0(%rbp)
leaq (%rbx,%r15,8), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x2d8ee
movq -0x98(%rbp), %r14
xorl %ebx, %ebx
movl (%r14), %edx
movq %r12, %rdi
movq -0x50(%rbp), %rsi
callq 0x2d944
movq (%r15), %rax
movq -0x78(%rbp), %rcx
movq %rcx, 0x30(%rax,%rbx,8)
incq %rbx
addq $-0x4, %r14
cmpq $0x20, %rbx
jne 0x2238a
movq -0xb0(%rbp), %r15
incq %r15
subq $-0x80, -0x98(%rbp)
cmpq %r13, %r15
movq -0x80(%rbp), %rbx
jne 0x222e3
leaq 0x39200(%rip), %rax     # 0x5b5d8
leaq -0x78(%rbp), %r8
movq %rax, (%r8)
movq -0x50(%rbp), %rax
movq %rax, 0x8(%r8)
leaq -0x55(%rbp), %rdi
leaq -0x260(%rbp), %rcx
movq %rbx, %rsi
movq %r13, %rdx
movq -0x90(%rbp), %r9
callq 0x2ca70
movb 0x18(%rbp), %bl
movq -0x88(%rbp), %r14
cmpq $0x0, 0x28(%r14)
je 0x22441
movq -0x50(%rbp), %rdi
callq 0x1e369
movq -0x50(%rbp), %rdi
movq %r14, %rsi
callq 0x1ecb2
movl 0x30(%rbp), %ecx
movzbl %bl, %edx
movq -0x50(%rbp), %rdi
movq %r14, %rsi
callq 0x2d63e
movl %eax, %r15d
jmp 0x22444
movb $0x1, %r15b
movb 0x20(%rbp), %al
andb %r15b, %al
cmpb $0x1, %al
jne 0x22484
testb %bl, %bl
je 0x2261f
movq -0x50(%rbp), %rax
movq 0x58(%rax), %r14
leaq 0x48(%rax), %rbx
cmpq %rbx, %r14
je 0x22484
leaq 0x40(%r14), %rsi
movq -0x50(%rbp), %rdi
callq 0xe1b4
movq %r14, %rdi
callq 0xb1b0
movq %rax, %r14
cmpq %rbx, %rax
jne 0x22467
testb %r15b, %r15b
je 0x225ac
movl 0x10(%rbp), %edx
movq -0x50(%rbp), %rdi
movq -0xa8(%rbp), %rsi
callq 0x1e78f
movl $0x20, %ebx
movq -0x260(%rbp,%rbx), %rax
testq %rax, %rax
je 0x224df
movq (%rax), %rcx
movq -0x20(%rcx), %rcx
leaq (%rax,%rcx), %rdi
movl 0x8(%rax,%rcx), %eax
cmpl $0x1, %eax
ja 0x224ce
movq (%rdi), %rax
callq *0x8(%rax)
jmp 0x224d3
decl %eax
movl %eax, 0x8(%rdi)
movq $0x0, -0x260(%rbp,%rbx)
addq $-0x8, %rbx
cmpq $-0x8, %rbx
jne 0x224a5
cmpl $0x20, -0x54(%rbp)
movq -0x80(%rbp), %rbx
jb 0x22531
shll $0x3, %r13d
movq -0x8(%rbx,%r13), %rax
testq %rax, %rax
je 0x2252b
movq (%rax), %rcx
movq -0x20(%rcx), %rcx
leaq (%rax,%rcx), %rdi
movl 0x8(%rax,%rcx), %eax
cmpl $0x1, %eax
ja 0x2251d
movq (%rdi), %rax
callq *0x8(%rax)
jmp 0x22522
decl %eax
movl %eax, 0x8(%rdi)
movq $0x0, -0x8(%rbx,%r13)
addq $-0x8, %r13
jne 0x224f7
movq -0xa0(%rbp), %rsp
cmpl $0x0, -0x30(%rbp)
je 0x2254c
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0x2254c
callq 0xb350
leaq -0x28(%rbp), %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x10, %edi
callq 0xb130
movq %rax, %rbx
leaq 0x263db(%rip), %rsi     # 0x4894a
movq %rax, %rdi
callq 0xb520
movq 0x39a5a(%rip), %rsi     # 0x5bfd8
movq 0x39a3b(%rip), %rdx     # 0x5bfc0
movq %rbx, %rdi
callq 0xb4b0
leaq 0x265fc(%rip), %rdi     # 0x48b90
leaq 0x2587c(%rip), %rsi     # 0x47e17
leaq 0x26609(%rip), %rcx     # 0x48bab
movl $0x1a3, %edx            # imm = 0x1A3
callq 0xb180
movl $0x10, %edi
callq 0xb130
movq %rax, %r14
leaq 0x2658a(%rip), %rsi     # 0x48b4a
movq %rax, %rdi
callq 0xb520
movq 0x39a09(%rip), %rsi     # 0x5bfd8
movq 0x399ea(%rip), %rdx     # 0x5bfc0
movq %r14, %rdi
callq 0xb4b0
jmp 0x2271d
cmpl $0x2, %eax
jne 0x2263e
movl $0x10, %edi
callq 0xb130
movq %rax, %rbx
leaq 0x263b1(%rip), %rsi     # 0x489ad
movq %rax, %rdi
callq 0xb520
movq 0x399cd(%rip), %rsi     # 0x5bfd8
movq 0x399ae(%rip), %rdx     # 0x5bfc0
movq %rbx, %rdi
callq 0xb4b0
jmp 0x2271d
leaq 0x2502b(%rip), %rdi     # 0x47651
leaq 0x25038(%rip), %rsi     # 0x47665
leaq 0x25043(%rip), %rcx     # 0x47677
movl $0x81, %edx
callq 0xb180
leaq 0x26394(%rip), %rdi     # 0x489d9
leaq 0x23e59(%rip), %rsi     # 0x464a5
leaq 0x263a3(%rip), %rcx     # 0x489f6
movl $0x1f2, %edx            # imm = 0x1F2
callq 0xb180
leaq -0x260(%rbp), %rdi
callq 0xb1c0
leaq -0x250(%rbp), %rbx
leaq 0x2648d(%rip), %rsi     # 0x48b04
movl $0x36, %edx
movq %rbx, %rdi
callq 0xb320
movq -0x250(%rbp), %rax
movq -0x18(%rax), %rax
movl -0x238(%rbp,%rax), %ecx
andl $-0x4b, %ecx
orl $0x2, %ecx
movl %ecx, -0x238(%rbp,%rax)
leaq 0x1f7b8(%rip), %rsi     # 0x41e62
movl $0x1, %edx
movq %rbx, %rdi
callq 0xb320
movl $0x200, %esi            # imm = 0x200
movq %rbx, %rdi
callq 0xb190
leaq 0x29930(%rip), %rsi     # 0x4bffb
movl $0x1, %edx
movq %rax, %rdi
callq 0xb320
movl $0x10, %edi
callq 0xb130
movq %rax, %rbx
leaq -0x248(%rbp), %rsi
leaq -0x78(%rbp), %rdi
callq 0xb430
movb $0x1, %r12b
leaq -0x78(%rbp), %rsi
movq %rbx, %rdi
callq 0xb4d0
xorl %r12d, %r12d
movq 0x398ca(%rip), %rsi     # 0x5bfd8
movq 0x398ab(%rip), %rdx     # 0x5bfc0
movq %rbx, %rdi
callq 0xb4b0
movq %rax, %r15
movq -0x78(%rbp), %rdi
cmpq %r14, %rdi
je 0x2272e
callq 0xb280
testb %r12b, %r12b
jne 0x22738
jmp 0x22745
movq %rax, %r15
movq %rbx, %rdi
callq 0xb1e0
jmp 0x22745
movq %rax, %r15
movq 0x39834(%rip), %rsi     # 0x5bf80
leaq -0x260(%rbp), %rdi
callq 0xb1f0
leaq -0x1e0(%rbp), %rdi
callq 0xb0d0
jmp 0x229e8
jmp 0x2280b
jmp 0x2280b
movq %rax, %r15
movq %rbx, %rdi
callq 0xb1e0
jmp 0x229e8
jmp 0x2280b
movq %rax, %r15
movq %r14, %rdi
callq 0xb1e0
jmp 0x22970
movq %rax, %r15
movq -0xd0(%rbp), %rdi
cmpq %r13, %rdi
je 0x229e8
jmp 0x22801
jmp 0x2280b
movq %rax, %r15
movq %rbx, %rdi
callq 0xb1e0
jmp 0x229fc
jmp 0x2296d
movq %rax, %r15
movq -0x78(%rbp), %rdi
cmpq %r14, %rdi
je 0x227da
callq 0xb280
jmp 0x227da
movq %rax, %r15
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x229e8
jmp 0x22801
jmp 0x2280b
movq %rax, %r15
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x229e8
callq 0xb280
jmp 0x229e8
movq %rax, %r15
jmp 0x229e8
movq %rax, %r15
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x22829
callq 0xb280
jmp 0x22829
movq %rax, %r15
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x229fc
jmp 0x2295b
jmp 0x2290f
movq %rax, %r15
movq -0x78(%rbp), %rdi
cmpq %r14, %rdi
je 0x22859
callq 0xb280
jmp 0x22859
movq %rax, %r15
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2286c
callq 0xb280
jmp 0x2286c
movq %rax, %r15
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x229fc
jmp 0x2295b
jmp 0x2290f
movq %rax, %r15
movq -0x78(%rbp), %rdi
cmpq %r14, %rdi
je 0x2289c
callq 0xb280
jmp 0x2289c
movq %rax, %r15
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x228af
callq 0xb280
jmp 0x228af
movq %rax, %r15
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x229fc
jmp 0x2295b
jmp 0x2290f
movq %rax, %r15
movq -0x78(%rbp), %rdi
cmpq %r14, %rdi
je 0x228dc
callq 0xb280
jmp 0x228dc
movq %rax, %r15
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x228ef
callq 0xb280
jmp 0x228ef
movq %rax, %r15
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x229fc
jmp 0x2295b
jmp 0x2290f
movq %rax, %r15
jmp 0x22928
jmp 0x2290f
movq %rax, %r15
jmp 0x2294b
movq %rax, %r15
jmp 0x229fc
movq %rax, %r15
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x22928
callq 0xb280
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x229fc
jmp 0x2295b
movq %rax, %r15
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2294b
callq 0xb280
movq -0x260(%rbp), %rdi
cmpq %r12, %rdi
je 0x229fc
callq 0xb280
jmp 0x229fc
jmp 0x2296d
jmp 0x2296d
jmp 0x2296d
jmp 0x2296d
movq %rax, %r15
movl $0x20, %ebx
movq -0x260(%rbp,%rbx), %rdi
testq %rdi, %rdi
jne 0x2298e
addq $-0x8, %rbx
cmpq $-0x8, %rbx
jne 0x22975
jmp 0x229a0
leaq (%rbx,%rbp), %rsi
addq $-0x260, %rsi           # imm = 0xFDA0
callq 0xb598
jmp 0x22982
cmpl $0x20, -0x54(%rbp)
jb 0x229e8
shll $0x3, %r13d
movq -0x80(%rbp), %rbx
movq -0x8(%rbx,%r13), %rax
testq %rax, %rax
je 0x229e2
movq (%rax), %rcx
movq -0x20(%rcx), %rcx
leaq (%rax,%rcx), %rdi
movl 0x8(%rax,%rcx), %eax
cmpl $0x1, %eax
ja 0x229d4
movq (%rdi), %rax
callq *0x8(%rax)
jmp 0x229d9
decl %eax
movl %eax, 0x8(%rdi)
movq $0x0, -0x8(%rbx,%r13)
addq $-0x8, %r13
jne 0x229ae
cmpl $0x0, -0x30(%rbp)
je 0x229fc
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0x229fc
callq 0xb350
movq %r15, %rdi
callq 0xb4e0