// File: /workspace/github_cpp_makefile_star2_O1/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 %rdx, -0x60(%rbp)
movq %rsi, -0x90(%rbp)
leal -0x51(%rsi), %eax
cmpl $-0x51, %eax
jbe 0x23c37
movq %r9, %r14
movl %r8d, %ebx
movq %rdi, %r13
testl %ecx, %ecx
je 0x232fb
movq %r13, %rdi
movl %ecx, %esi
callq 0x2e0fa
movq %r14, -0xa8(%rbp)
testl %ebx, %ebx
je 0x23310
movq %r13, %rdi
movl %ebx, %esi
callq 0x2e2b2
leaq -0x250(%rbp), %r15
movq %r15, -0x10(%r15)
leaq 0x256f1(%rip), %rsi     # 0x48a13
leaq 0x256f1(%rip), %rdx     # 0x48a1a
leaq -0x260(%rbp), %rdi
callq 0x1f29e
leaq -0x38(%rbp), %rbx
movq %rbx, -0x10(%rbx)
leaq 0x24cef(%rip), %rsi     # 0x48033
leaq 0x24cf4(%rip), %rdx     # 0x4803f
leaq -0x48(%rbp), %rdi
callq 0x1f29e
movl 0x70(%r13), %ecx
testl %ecx, %ecx
jne 0x23368
movq (%r13), %rax
movq %r13, %rdi
callq *0x18(%rax)
movl %eax, %ecx
leaq -0x260(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %r13, %rdi
callq 0x3d670
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x23389
callq 0xc280
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x2339a
callq 0xc280
leaq -0x260(%rbp), %rdi
movq %r15, (%rdi)
leaq 0x25668(%rip), %rsi     # 0x48a13
leaq 0x25668(%rip), %rdx     # 0x48a1a
callq 0x1f29e
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x24c7b(%rip), %rsi     # 0x48040
leaq 0x24c80(%rip), %rdx     # 0x4804c
callq 0x1f29e
movl 0x74(%r13), %ecx
testl %ecx, %ecx
jne 0x233e5
movq (%r13), %rax
movq %r13, %rdi
callq *0x30(%rax)
movl %eax, %ecx
leaq -0x260(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %r13, %rdi
callq 0x3d670
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x23406
callq 0xc280
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x23417
callq 0xc280
leaq -0x260(%rbp), %rdi
movq %r15, (%rdi)
leaq 0x255eb(%rip), %rsi     # 0x48a13
leaq 0x255eb(%rip), %rdx     # 0x48a1a
callq 0x1f29e
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x27516(%rip), %rsi     # 0x4a958
leaq 0x27521(%rip), %rdx     # 0x4a96a
callq 0x1f29e
leaq -0x70(%rbp), %r12
movq %r12, -0x10(%r12)
leaq 0x255d0(%rip), %rsi     # 0x48a2e
leaq 0x255ce(%rip), %rdx     # 0x48a33
leaq -0x80(%rbp), %rdi
callq 0x1f29e
leaq -0x260(%rbp), %rsi
leaq -0x48(%rbp), %rdx
leaq -0x80(%rbp), %rcx
movq %r13, %rdi
movl $0x1, %r8d
callq 0x3d45c
movq -0x80(%rbp), %rdi
cmpq %r12, %rdi
je 0x23499
callq 0xc280
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x234a7
callq 0xc280
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x234b8
callq 0xc280
leaq -0x260(%rbp), %rdi
movq %r15, (%rdi)
leaq 0x2554a(%rip), %rsi     # 0x48a13
leaq 0x2554a(%rip), %rdx     # 0x48a1a
callq 0x1f29e
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x27488(%rip), %rsi     # 0x4a96b
leaq 0x2748f(%rip), %rdx     # 0x4a979
callq 0x1f29e
leaq -0x80(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x2747d(%rip), %rsi     # 0x4a97a
leaq 0x2747f(%rip), %rdx     # 0x4a983
callq 0x1f29e
leaq -0x260(%rbp), %rsi
leaq -0x48(%rbp), %rdx
leaq -0x80(%rbp), %rcx
movq %r13, %rdi
movl $0x1, %r8d
callq 0x3d45c
movq -0x80(%rbp), %rdi
cmpq %r12, %rdi
je 0x23534
callq 0xc280
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x23542
callq 0xc280
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x23553
callq 0xc280
leaq -0x260(%rbp), %rdi
movq %r15, (%rdi)
leaq 0x254af(%rip), %rsi     # 0x48a13
leaq 0x254af(%rip), %rdx     # 0x48a1a
callq 0x1f29e
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x27406(%rip), %rsi     # 0x4a984
leaq 0x27408(%rip), %rdx     # 0x4a98d
callq 0x1f29e
leaq -0x80(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x273f6(%rip), %rsi     # 0x4a98e
leaq 0x273f4(%rip), %rdx     # 0x4a993
callq 0x1f29e
leaq -0x260(%rbp), %rsi
leaq -0x48(%rbp), %rdx
leaq -0x80(%rbp), %rcx
movq %r13, %rdi
movl $0x1, %r8d
callq 0x3d45c
movq -0x80(%rbp), %rdi
cmpq %r12, %rdi
je 0x235cf
callq 0xc280
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x235dd
callq 0xc280
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x235ee
callq 0xc280
leaq -0x260(%rbp), %rdi
movq %r15, (%rdi)
leaq 0x25414(%rip), %rsi     # 0x48a13
leaq 0x25414(%rip), %rdx     # 0x48a1a
callq 0x1f29e
leaq -0x48(%rbp), %rdi
movq %rbx, (%rdi)
leaq 0x2737b(%rip), %rsi     # 0x4a994
leaq 0x2737a(%rip), %rdx     # 0x4a99a
callq 0x1f29e
leaq -0x260(%rbp), %rsi
leaq -0x48(%rbp), %rdx
movq %r13, %rdi
movq -0x90(%rbp), %rcx
callq 0x3d670
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2364d
callq 0xc280
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x2365e
callq 0xc280
leaq -0x48(%rbp), %rbx
movq %rbx, %rdi
movl $0x200, %esi            # imm = 0x200
callq 0xfa02
movl $0x20, 0x1c(%rbx)
cmpl $0x0, 0x8(%rbx)
je 0x23694
movq -0x48(%rbp), %rax
xorl %ecx, %ecx
movl $0xffffffff, (%rax,%rcx,4) # imm = 0xFFFFFFFF
incq %rcx
movl -0x40(%rbp), %edx
cmpq %rdx, %rcx
jb 0x23682
leaq -0x260(%rbp), %rdi
movq %r15, (%rdi)
leaq 0x272f6(%rip), %rsi     # 0x4a99b
leaq 0x272f0(%rip), %rdx     # 0x4a99c
callq 0x1f29e
leaq -0x260(%rbp), %rsi
movq -0x60(%rbp), %rdi
callq 0x1f570
movq %rax, %r14
movb 0x28(%rbp), %bl
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x236d8
callq 0xc280
movq -0x60(%rbp), %rax
addq $0x8, %rax
cmpq %rax, %r14
sete %al
orb %al, %bl
movq %r13, -0x50(%rbp)
jne 0x2386a
movq %r14, %rbx
addq $0x40, %rbx
movl 0x40(%r14), %eax
testl %eax, %eax
je 0x2371b
cmpl $0x1, %eax
jne 0x23cbf
leaq -0x48(%rbp), %rsi
movq %rbx, %rdi
callq 0x201e6
jmp 0x237a6
movl 0x60(%r14), %esi
testl $0x1ff, %esi            # imm = 0x1FF
jne 0x23d39
cmpl $0x201, %esi            # imm = 0x201
jb 0x237a6
shrl $0x5, %esi
leaq -0x260(%rbp), %rdi
movl $0x20, %edx
callq 0xf76c
cmpl $0x0, -0x30(%rbp)
je 0x2376b
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0x23763
callq 0xc350
movq $0x0, -0x48(%rbp)
xorl %eax, %eax
movl %eax, -0x40(%rbp)
movl %eax, -0x30(%rbp)
movq -0x260(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x248(%rbp), %rax
movq %rax, -0x30(%rbp)
movl -0x258(%rbp), %eax
movl %eax, -0x40(%rbp)
testl %eax, %eax
je 0x237a6
movq -0x48(%rbp), %rax
xorl %ecx, %ecx
movl $0xffffffff, (%rax,%rcx,4) # imm = 0xFFFFFFFF
incq %rcx
movl -0x40(%rbp), %edx
cmpq %rdx, %rcx
jb 0x23794
leaq -0xc0(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x271e3(%rip), %rsi     # 0x4a99b
leaq 0x271dd(%rip), %rdx     # 0x4a99c
leaq -0xd0(%rbp), %rdi
callq 0x1f29e
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 0x20914
addq $0x10, %rsp
cmpl $0x0, -0x30(%rbp)
je 0x2381d
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0x23815
callq 0xc350
movq $0x0, -0x48(%rbp)
xorl %eax, %eax
movl %eax, -0x40(%rbp)
movl %eax, -0x30(%rbp)
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 0x23866
callq 0xc280
movq -0x50(%rbp), %r13
movl -0x40(%rbp), %ebx
leaq -0x260(%rbp), %rdi
movq %r15, (%rdi)
leaq 0x25195(%rip), %rsi     # 0x48a13
leaq 0x25195(%rip), %rdx     # 0x48a1a
callq 0x1f29e
leaq -0x80(%rbp), %rdi
movq %r12, (%rdi)
leaq 0x27293(%rip), %rsi     # 0x4ab2b
leaq 0x2729a(%rip), %rdx     # 0x4ab39
callq 0x1f29e
movl %ebx, %ecx
shrl $0x9, %ecx
leaq -0x260(%rbp), %rsi
leaq -0x80(%rbp), %rdx
movq %r13, %rdi
callq 0x3d670
movl %ebx, %r13d
shrl $0x5, %r13d
movq -0x80(%rbp), %rdi
cmpq %r12, %rdi
je 0x238d1
callq 0xc280
movl %ebx, -0x54(%rbp)
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x238e5
callq 0xc280
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 0x23918
leal (,%r13,8), %edx
movq %rbx, %rdi
xorl %esi, %esi
callq 0xc160
movq %rbx, -0x88(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x250(%rbp)
movaps %xmm0, -0x260(%rbp)
movq $0x0, -0x240(%rbp)
movl -0x40(%rbp), %eax
testq %rax, %rax
je 0x23965
movq -0x48(%rbp), %rbx
leaq (%rbx,%rax,4), %r14
cmpl $-0x1, (%rbx)
jne 0x2395c
movq -0x50(%rbp), %rdi
movq (%rdi), %rax
callq *0x8(%rax)
movl %eax, (%rbx)
addq $0x4, %rbx
cmpq %r14, %rbx
jb 0x2394b
movl %r13d, %eax
shll $0x5, %eax
cmpl -0x40(%rbp), %eax
jne 0x23c69
cmpl $0x20, -0x54(%rbp)
movq -0x88(%rbp), %rbx
jb 0x23a9b
movq -0x48(%rbp), %rax
addq $0x7c, %rax
movq %rax, -0x98(%rbp)
xorl %r15d, %r15d
leaq -0x80(%rbp), %r12
movl $0x148, %edi            # imm = 0x148
callq 0xc2c0
movq %rax, %r14
movl $0x148, %edx            # imm = 0x148
movq %rax, %rdi
xorl %esi, %esi
callq 0xc160
movl $0x0, 0x140(%r14)
leaq 0x3a027(%rip), %rax     # 0x5d9f0
movq %rax, (%r14)
leaq 0x3a175(%rip), %rax     # 0x5db48
movq %rax, 0x130(%r14)
leaq 0x3a1a7(%rip), %rax     # 0x5db88
movq %rax, 0x138(%r14)
leaq 0x3a091(%rip), %rax     # 0x5da80
movq %rax, 0x8(%r14)
leaq 0x3a0a6(%rip), %rax     # 0x5daa0
movq %rax, 0x10(%r14)
leaq 0x3a0bb(%rip), %rax     # 0x5dac0
movq %rax, 0x18(%r14)
leaq 0x3a0d0(%rip), %rax     # 0x5dae0
movq %rax, 0x20(%r14)
leaq 0x3a0e5(%rip), %rax     # 0x5db00
movq %rax, 0x28(%r14)
movq %r14, %rdi
addq $0x30, %rdi
movl $0x100, %edx            # imm = 0x100
xorl %esi, %esi
callq 0xc160
movq %r15, -0xb0(%rbp)
leaq (%rbx,%r15,8), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x2f3bc
movq -0x98(%rbp), %r14
xorl %ebx, %ebx
movl (%r14), %edx
movq %r12, %rdi
movq -0x50(%rbp), %rsi
callq 0x2f412
movq (%r15), %rax
movq -0x80(%rbp), %rcx
movq %rcx, 0x30(%rax,%rbx,8)
incq %rbx
addq $-0x4, %r14
cmpq $0x20, %rbx
jne 0x23a51
movq -0xb0(%rbp), %r15
incq %r15
subq $-0x80, -0x98(%rbp)
cmpq %r13, %r15
movq -0x88(%rbp), %rbx
jne 0x2399b
leaq 0x3a856(%rip), %rax     # 0x5e2f8
leaq -0x80(%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 0x2e46a
movb 0x18(%rbp), %bl
movq -0x60(%rbp), %rax
cmpq $0x0, 0x28(%rax)
je 0x23b0a
movq -0x50(%rbp), %rdi
callq 0x1fb5d
movq -0x50(%rbp), %rdi
movq -0x60(%rbp), %rsi
callq 0x204b6
movl 0x30(%rbp), %ecx
movzbl %bl, %edx
movq -0x50(%rbp), %rdi
movq -0x60(%rbp), %rsi
callq 0x2f0f6
movl %eax, %r15d
jmp 0x23b0d
movb $0x1, %r15b
movb 0x20(%rbp), %al
andb %r15b, %al
cmpb $0x1, %al
jne 0x23b4d
testb %bl, %bl
je 0x23cfb
movq -0x50(%rbp), %rax
movq 0x58(%rax), %r14
leaq 0x48(%rax), %rbx
cmpq %rbx, %r14
je 0x23b4d
leaq 0x40(%r14), %rsi
movq -0x50(%rbp), %rdi
callq 0xf2b2
movq %r14, %rdi
callq 0xc1b0
movq %rax, %r14
cmpq %rbx, %rax
jne 0x23b30
testb %r15b, %r15b
je 0x23c88
movl 0x10(%rbp), %edx
movq -0x50(%rbp), %rdi
movq -0xa8(%rbp), %rsi
callq 0x1ff83
movl $0x20, %ebx
movq -0x260(%rbp,%rbx), %rax
testq %rax, %rax
je 0x23ba8
movq (%rax), %rcx
movq -0x20(%rcx), %rcx
leaq (%rax,%rcx), %rdi
movl 0x8(%rax,%rcx), %eax
cmpl $0x1, %eax
ja 0x23b97
movq (%rdi), %rax
callq *0x8(%rax)
jmp 0x23b9c
decl %eax
movl %eax, 0x8(%rdi)
movq $0x0, -0x260(%rbp,%rbx)
addq $-0x8, %rbx
cmpq $-0x8, %rbx
jne 0x23b6e
cmpl $0x20, -0x54(%rbp)
movq -0x88(%rbp), %rbx
jb 0x23bfd
shll $0x3, %r13d
movq -0x8(%rbx,%r13), %rax
testq %rax, %rax
je 0x23bf7
movq (%rax), %rcx
movq -0x20(%rcx), %rcx
leaq (%rax,%rcx), %rdi
movl 0x8(%rax,%rcx), %eax
cmpl $0x1, %eax
ja 0x23be9
movq (%rdi), %rax
callq *0x8(%rax)
jmp 0x23bee
decl %eax
movl %eax, 0x8(%rdi)
movq $0x0, -0x8(%rbx,%r13)
addq $-0x8, %r13
jne 0x23bc3
movq -0xa0(%rbp), %rsp
cmpl $0x0, -0x30(%rbp)
je 0x23c28
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0x23c20
callq 0xc350
movq $0x0, -0x48(%rbp)
xorl %eax, %eax
movl %eax, -0x40(%rbp)
movl %eax, -0x30(%rbp)
leaq -0x28(%rbp), %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x10, %edi
callq 0xc130
movq %rax, %rbx
leaq 0x26cef(%rip), %rsi     # 0x4a93a
movq %rax, %rdi
callq 0xc520
movq 0x3b376(%rip), %rsi     # 0x5efd0
movq 0x3b357(%rip), %rdx     # 0x5efb8
movq %rbx, %rdi
callq 0xc4b0
leaq 0x26f10(%rip), %rdi     # 0x4ab80
leaq 0x26190(%rip), %rsi     # 0x49e07
leaq 0x26f1d(%rip), %rcx     # 0x4ab9b
movl $0x1a3, %edx            # imm = 0x1A3
callq 0xc180
movl $0x10, %edi
callq 0xc130
movq %rax, %r15
leaq 0x26e9e(%rip), %rsi     # 0x4ab3a
movq %rax, %rdi
callq 0xc520
movq 0x3b325(%rip), %rsi     # 0x5efd0
movq 0x3b306(%rip), %rdx     # 0x5efb8
movq %r15, %rdi
callq 0xc4b0
jmp 0x23df9
cmpl $0x2, %eax
jne 0x23d1a
movl $0x10, %edi
callq 0xc130
movq %rax, %rbx
leaq 0x26cc5(%rip), %rsi     # 0x4a99d
movq %rax, %rdi
callq 0xc520
movq 0x3b2e9(%rip), %rsi     # 0x5efd0
movq 0x3b2ca(%rip), %rdx     # 0x5efb8
movq %rbx, %rdi
callq 0xc4b0
jmp 0x23df9
leaq 0x2593f(%rip), %rdi     # 0x49641
leaq 0x2594c(%rip), %rsi     # 0x49655
leaq 0x25957(%rip), %rcx     # 0x49667
movl $0x81, %edx
callq 0xc180
leaq 0x26ca8(%rip), %rdi     # 0x4a9c9
leaq 0x2476d(%rip), %rsi     # 0x48495
leaq 0x26cb7(%rip), %rcx     # 0x4a9e6
movl $0x1f2, %edx            # imm = 0x1F2
callq 0xc180
leaq -0x260(%rbp), %rdi
callq 0xc1c0
leaq -0x250(%rbp), %rbx
leaq 0x26da1(%rip), %rsi     # 0x4aaf4
movl $0x36, %edx
movq %rbx, %rdi
callq 0xc320
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 0x200cc(%rip), %rsi     # 0x43e52
movl $0x1, %edx
movq %rbx, %rdi
callq 0xc320
movl $0x200, %esi            # imm = 0x200
movq %rbx, %rdi
callq 0xc190
leaq 0x2a354(%rip), %rsi     # 0x4e0fb
movl $0x1, %edx
movq %rax, %rdi
callq 0xc320
movl $0x10, %edi
callq 0xc130
movq %rax, %rbx
leaq -0x248(%rbp), %rsi
leaq -0x80(%rbp), %rdi
callq 0xc430
movb $0x1, %r15b
leaq -0x80(%rbp), %rsi
movq %rbx, %rdi
callq 0xc4d0
xorl %r15d, %r15d
movq 0x3b1e6(%rip), %rsi     # 0x5efd0
movq 0x3b1c7(%rip), %rdx     # 0x5efb8
movq %rbx, %rdi
callq 0xc4b0
movq %rax, %r14
movq -0x80(%rbp), %rdi
cmpq %r12, %rdi
je 0x23e12
callq 0xc280
jmp 0x23e12
movq %rax, %r14
movb $0x1, %r15b
testb %r15b, %r15b
je 0x23e24
movq %rbx, %rdi
callq 0xc1e0
jmp 0x23e24
movq %rax, %r14
movq 0x3b14d(%rip), %rsi     # 0x5ef78
leaq -0x260(%rbp), %rdi
callq 0xc1f0
leaq -0x1e0(%rbp), %rdi
callq 0xc0d0
jmp 0x240ca
jmp 0x23eea
jmp 0x23eea
movq %rax, %r14
movq %rbx, %rdi
callq 0xc1e0
jmp 0x240ca
jmp 0x23eea
movq %rax, %r14
movq %r15, %rdi
callq 0xc1e0
jmp 0x2404f
movq %rax, %r14
movq -0xd0(%rbp), %rdi
cmpq %r13, %rdi
je 0x240ca
jmp 0x23ee0
jmp 0x23eea
movq %rax, %r14
movq %rbx, %rdi
callq 0xc1e0
jmp 0x240ee
jmp 0x2404c
movq %rax, %r14
movq -0x80(%rbp), %rdi
cmpq %r12, %rdi
je 0x23eb9
callq 0xc280
jmp 0x23eb9
movq %rax, %r14
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x240ca
jmp 0x23ee0
jmp 0x23eea
movq %rax, %r14
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x240ca
callq 0xc280
jmp 0x240ca
movq %rax, %r14
jmp 0x240ca
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x23f08
callq 0xc280
jmp 0x23f08
movq %rax, %r14
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x240ee
jmp 0x2403a
jmp 0x23fee
movq %rax, %r14
movq -0x80(%rbp), %rdi
cmpq %r12, %rdi
je 0x23f38
callq 0xc280
jmp 0x23f38
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x23f4b
callq 0xc280
jmp 0x23f4b
movq %rax, %r14
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x240ee
jmp 0x2403a
jmp 0x23fee
movq %rax, %r14
movq -0x80(%rbp), %rdi
cmpq %r12, %rdi
je 0x23f7b
callq 0xc280
jmp 0x23f7b
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x23f8e
callq 0xc280
jmp 0x23f8e
movq %rax, %r14
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x240ee
jmp 0x2403a
jmp 0x23fee
movq %rax, %r14
movq -0x80(%rbp), %rdi
cmpq %r12, %rdi
je 0x23fbb
callq 0xc280
jmp 0x23fbb
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x23fce
callq 0xc280
jmp 0x23fce
movq %rax, %r14
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x240ee
jmp 0x2403a
jmp 0x23fee
movq %rax, %r14
jmp 0x24007
jmp 0x23fee
movq %rax, %r14
jmp 0x2402a
movq %rax, %r14
jmp 0x240ee
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x24007
callq 0xc280
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x240ee
jmp 0x2403a
movq %rax, %r14
movq -0x48(%rbp), %rdi
cmpq %rbx, %rdi
je 0x2402a
callq 0xc280
movq -0x260(%rbp), %rdi
cmpq %r15, %rdi
je 0x240ee
callq 0xc280
jmp 0x240ee
jmp 0x2404c
jmp 0x2404c
jmp 0x2404c
jmp 0x2404c
movq %rax, %r14
movl $0x20, %ebx
movq -0x260(%rbp,%rbx), %rdi
testq %rdi, %rdi
jne 0x2406d
addq $-0x8, %rbx
cmpq $-0x8, %rbx
jne 0x24054
jmp 0x2407f
leaq (%rbx,%rbp), %rsi
addq $-0x260, %rsi           # imm = 0xFDA0
callq 0xc6ec
jmp 0x24061
cmpl $0x20, -0x54(%rbp)
jb 0x240ca
shll $0x3, %r13d
movq -0x88(%rbp), %rbx
movq -0x8(%rbx,%r13), %rax
testq %rax, %rax
je 0x240c4
movq (%rax), %rcx
movq -0x20(%rcx), %rcx
leaq (%rax,%rcx), %rdi
movl 0x8(%rax,%rcx), %eax
cmpl $0x1, %eax
ja 0x240b6
movq (%rdi), %rax
callq *0x8(%rax)
jmp 0x240bb
decl %eax
movl %eax, 0x8(%rdi)
movq $0x0, -0x8(%rbx,%r13)
addq $-0x8, %r13
jne 0x24090
cmpl $0x0, -0x30(%rbp)
je 0x240ee
movq -0x48(%rbp), %rdi
testq %rdi, %rdi
je 0x240e6
callq 0xc350
movq $0x0, -0x48(%rbp)
xorl %eax, %eax
movl %eax, -0x40(%rbp)
movl %eax, -0x30(%rbp)
movq %r14, %rdi
callq 0xc4e0