LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: vsklad[P]cgen/./bal/cnf/io/cnfdimacs.hpp
// Function: bal::DimacsStreamWriter::write(bal::Cnf const&)
void write(const Cnf& value) override {
            write_parameters(value);
            write_variables(value);
            write_header(value);
            write_clauses(value);
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0x18(%rbp)
movq -0x10(%rbp), %rsi
movq (%rdi), %rax
callq *0x8(%rax)
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x3b060
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x3b130
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq (%rdi), %rax
callq *0x10(%rax)
addq $0x20, %rsp
popq %rbp
retq
// File: vsklad[P]cgen/./bal/cnf/io/cnfvig.hpp
// Function: bal::CnfVigStreamWriter<false, false>::write(bal::Cnf const&)
void write(const Cnf& value) override {
            edges_data_t edges;
            unsigned next_edge_id = 0;
            compute_edges(value, TIMESTAMP_MIN, edges, next_edge_id);
            
            write_header(value);
            write_nodes(value, edges);
            write_edges(value, edges);
            write_footer(value);
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x68(%rbp)
leaq -0x40(%rbp), %rdi
movq %rdi, -0x60(%rbp)
callq 0x3cec0
movq -0x68(%rbp), %rdi
movq -0x60(%rbp), %rcx
movl $0x0, -0x44(%rbp)
movq -0x10(%rbp), %rsi
movq (%rdi), %rax
movq 0x38(%rax), %rax
xorl %edx, %edx
leaq -0x44(%rbp), %r8
callq *%rax
jmp 0x3b319
movq -0x68(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq (%rdi), %rax
movq 0x8(%rax), %rax
callq *%rax
jmp 0x3b32c
movq -0x68(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq (%rdi), %rax
movq 0x30(%rax), %rax
leaq -0x40(%rbp), %rdx
callq *%rax
jmp 0x3b343
movq -0x68(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq (%rdi), %rax
movq 0x40(%rax), %rax
leaq -0x40(%rbp), %rdx
callq *%rax
jmp 0x3b35a
movq -0x68(%rbp), %rdi
movq -0x10(%rbp), %rsi
movq (%rdi), %rax
movq 0x10(%rax), %rax
callq *%rax
jmp 0x3b36d
leaq -0x40(%rbp), %rdi
callq 0x3cee0
addq $0x70, %rsp
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x3cee0
movq -0x50(%rbp), %rdi
callq 0xd5a0
nopw (%rax,%rax)
// File: vsklad[P]cgen/./bal/cnf/io/cnfgraphml.hpp
// Function: bal::CnfGraphMLStreamWriter<true>::write_header(bal::Cnf const&)
void write_header(const Cnf& value) override {
            stream << "<?xml version=\"1.0\" encoding=\"UTF-8\"?>" << std::endl;
            stream << "<graphml xmlns=\"http://graphml.graphdrawing.org/xmlns\" xmlns:xsi=\"http://www.w3.org/2001/XMLSchema-instance\" xsi:schemaLocation=\"http://graphml.graphdrawing.org/xmlns http://graphml.graphdrawing.org/xmlns/1.0/graphml.xsd\">" << std::endl;
            stream << "<graph id=\"CNF\" edgedefault=\"undirected\">" << std::endl;
            stream << "<key id=\"n_variable_name\" for=\"node\" attr.name=\"variable_name\" attr.type=\"string\"/>" << std::endl;
            stream << "<key id=\"n_variable_index\" for=\"node\" attr.name=\"variable_index\" attr.type=\"int\"/>" << std::endl;
            stream << "<key id=\"n_variable_id\" for=\"node\" attr.name=\"variable_id\" attr.type=\"int\"/>" << std::endl;
            stream << "<key id=\"n_label\" for=\"node\" attr.name=\"label\" attr.type=\"string\"/>" << std::endl;
            
            if (WEIGHTED) {
                stream << "<key id=\"e_cardinality\" for=\"edge\" attr.name=\"cardinality\" attr.type=\"int\"/>" << std::endl;
                stream << "<key id=\"e_weight\" for=\"edge\" attr.name=\"weight\" attr.type=\"double\"/>" << std::endl;
            };
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x18(%rbp)
movq 0x10(%rax), %rdi
leaq 0x27223(%rip), %rsi     # 0x644f6
callq 0xd320
movq %rax, %rdi
movq 0x45c9e(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x27227(%rip), %rsi     # 0x6451d
callq 0xd320
movq %rax, %rdi
movq 0x45c7b(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x272e3(%rip), %rsi     # 0x645fc
callq 0xd320
movq %rax, %rdi
movq 0x45c58(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x272ea(%rip), %rsi     # 0x64626
callq 0xd320
movq %rax, %rdi
movq 0x45c35(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x2731b(%rip), %rsi     # 0x6467a
callq 0xd320
movq %rax, %rdi
movq 0x45c12(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x2734b(%rip), %rsi     # 0x646cd
callq 0xd320
movq %rax, %rdi
movq 0x45bef(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x27375(%rip), %rsi     # 0x6471a
callq 0xd320
movq %rax, %rdi
movq 0x45bcc(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x27445(%rip), %rsi     # 0x6480d
callq 0xd320
movq %rax, %rdi
movq 0x45ba9(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x18(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x2746f(%rip), %rsi     # 0x6485a
callq 0xd320
movq %rax, %rdi
movq 0x45b86(%rip), %rsi     # 0x82f80
callq 0xd360
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
nop
// File: vsklad[P]cgen/./bal/cnf/io/cnfgraphml.hpp
// Function: bal::CnfGraphMLStreamWriter<true>::write_edge(unsigned int, unsigned int, bal::CnfVigStreamWriter<true, false>::__edge_data_t const&)
void write_edge(const variableid_t source_id, const variableid_t target_id, const edge_data_t& edge) override {
            if (WEIGHTED) {
                stream << "<edge source=\"v" << literal_t(variable_t__literal_id(source_id)) << "\" target=\"v" << literal_t(variable_t__literal_id(target_id)) << "\">" << std::endl;
                CnfGraphMLStreamWriter_write_edge_weighted<WEIGHTED>(stream, edge);
                stream << "</edge>" << std::endl;
            } else {
                stream << "<edge source=\"v" << literal_t(variable_t__literal_id(source_id)) << "\" target=\"v" << literal_t(variable_t__literal_id(target_id)) << "\"/>" << std::endl;
            };
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl %edx, -0x10(%rbp)
movq %rcx, -0x18(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x28(%rbp)
movq 0x10(%rax), %rdi
leaq 0x270f8(%rip), %rsi     # 0x647f1
callq 0xd320
movq %rax, -0x38(%rbp)
movl -0xc(%rbp), %esi
addl $0x1, %esi
shll %esi
orl $0x1, %esi
leaq -0x1c(%rbp), %rdi
callq 0x12e30
movq -0x38(%rbp), %rdi
leaq -0x1c(%rbp), %rsi
callq 0x12d50
movq %rax, %rdi
leaq 0x270d4(%rip), %rsi     # 0x64801
callq 0xd320
movq %rax, -0x30(%rbp)
movl -0x10(%rbp), %esi
addl $0x1, %esi
shll %esi
orl $0x1, %esi
leaq -0x20(%rbp), %rdi
callq 0x12e30
movq -0x30(%rbp), %rdi
leaq -0x20(%rbp), %rsi
callq 0x12d50
movq %rax, %rdi
leaq 0x272a3(%rip), %rsi     # 0x64a04
callq 0xd320
movq %rax, %rdi
movq 0x45810(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x18(%rbp), %rsi
callq 0x295c0
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x24b6c(%rip), %rsi     # 0x62301
callq 0xd320
movq %rax, %rdi
movq 0x457dc(%rip), %rsi     # 0x82f80
callq 0xd360
addq $0x40, %rsp
popq %rbp
retq
nop
// File: vsklad[P]cgen/./bal/cnf/io/cnfvig.hpp
// Function: bal::edge_weight_data_t<true>::update(unsigned int, bal::edge_action_t, unsigned int)
void update(const uint32_t clause_header, const edge_action_t action, const timestamp_t timestamp) {
            const clause_size_t clause_size = _clause_header_size(clause_header);
            const unsigned clause_cardinality = clause_size < 4 ?
                get_cardinality_uint16(_clause_header_flags(clause_header)) : 1;
            const double clause_weight = 2.0 * clause_cardinality / clause_size / (clause_size - 1);
            
            switch(action) {
                case eaInsert:
                case eaUpdate:
                    cardinality += clause_cardinality;
                    weight += clause_weight;
                    break;
                case eaRemove:
                    _assert_level_0(cardinality >= clause_cardinality);
                    cardinality -= clause_cardinality;
                    weight -= clause_weight;
                    break;
            };
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl %edx, -0x10(%rbp)
movl %ecx, -0x14(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x30(%rbp)
movl -0xc(%rbp), %eax
andl $0x7fff, %eax           # imm = 0x7FFF
movw %ax, -0x16(%rbp)
movzwl -0x16(%rbp), %eax
cmpl $0x4, %eax
jge 0x3e558
movl -0xc(%rbp), %eax
shrl $0x10, %eax
movzwl %ax, %edi
callq 0x1f670
movzwl %ax, %eax
movl %eax, -0x34(%rbp)
jmp 0x3e562
movl $0x1, %eax
movl %eax, -0x34(%rbp)
jmp 0x3e562
movl -0x34(%rbp), %eax
movl %eax, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
cvtsi2sd %rax, %xmm0
addsd %xmm0, %xmm0
movzwl -0x16(%rbp), %eax
cvtsi2sd %eax, %xmm1
divsd %xmm1, %xmm0
decl %eax
cvtsi2sd %eax, %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, -0x28(%rbp)
movl -0x10(%rbp), %eax
movl %eax, -0x38(%rbp)
subl $0x2, %eax
jb 0x3e5a6
jmp 0x3e59c
movl -0x38(%rbp), %eax
subl $0x2, %eax
je 0x3e5c2
jmp 0x3e60e
movq -0x30(%rbp), %rax
movl -0x1c(%rbp), %ecx
addl (%rax), %ecx
movl %ecx, (%rax)
movsd -0x28(%rbp), %xmm0
addsd 0x8(%rax), %xmm0
movsd %xmm0, 0x8(%rax)
jmp 0x3e60e
movq -0x30(%rbp), %rax
movl (%rax), %eax
cmpl -0x1c(%rbp), %eax
jb 0x3e5cf
jmp 0x3e5ee
leaq 0x262ca(%rip), %rdi     # 0x648a0
leaq 0x262e5(%rip), %rsi     # 0x648c2
movl $0x50, %edx
leaq 0x262f1(%rip), %rcx     # 0x648da
callq 0xd1c0
movq -0x30(%rbp), %rax
movl -0x1c(%rbp), %edx
movl (%rax), %ecx
subl %edx, %ecx
movl %ecx, (%rax)
movsd -0x28(%rbp), %xmm1
movsd 0x8(%rax), %xmm0
subsd %xmm1, %xmm0
movsd %xmm0, 0x8(%rax)
addq $0x40, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
nop
// File: vsklad[P]cgen/./bal/cnf/io/cnfgexf.hpp
// Function: bal::CnfGexfStreamWriter<false, false>::write_edge(unsigned int, unsigned int, bal::CnfVigStreamWriter<false, false>::__edge_data_t const&)
void write_edge(const variableid_t source_id, const variableid_t target_id, const edge_data_t& edge) override {
            stream << "<edge id=\"" << edge.id << "\"";
            stream << " source=\"" << literal_t(variable_t__literal_id(source_id)) << "\"";
            stream << " target=\"" << literal_t(variable_t__literal_id(target_id)) << "\"";
            CnfGexfStreamWriter_write_edge_dynamic(stream, edge);
            CnfGexfStreamWriter_write_edge_weighted(stream, edge);
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl %edx, -0x10(%rbp)
movq %rcx, -0x18(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x28(%rbp)
movq 0x10(%rax), %rdi
leaq 0x25617(%rip), %rsi     # 0x64cf0
callq 0xd320
movq %rax, %rdi
movq -0x18(%rbp), %rax
movl (%rax), %esi
callq 0xd420
movq %rax, %rdi
leaq 0x279e0(%rip), %rsi     # 0x670d6
callq 0xd320
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x255f1(%rip), %rsi     # 0x64cfb
callq 0xd320
movq %rax, -0x38(%rbp)
movl -0xc(%rbp), %esi
addl $0x1, %esi
shll %esi
orl $0x1, %esi
leaq -0x1c(%rbp), %rdi
callq 0x12e30
movq -0x38(%rbp), %rdi
leaq -0x1c(%rbp), %rsi
callq 0x12d50
movq %rax, %rdi
leaq 0x27998(%rip), %rsi     # 0x670d6
callq 0xd320
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x255b3(%rip), %rsi     # 0x64d05
callq 0xd320
movq %rax, -0x30(%rbp)
movl -0x10(%rbp), %esi
addl $0x1, %esi
shll %esi
orl $0x1, %esi
leaq -0x20(%rbp), %rdi
callq 0x12e30
movq -0x30(%rbp), %rdi
leaq -0x20(%rbp), %rsi
callq 0x12d50
movq %rax, %rdi
leaq 0x27950(%rip), %rsi     # 0x670d6
callq 0xd320
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x18(%rbp), %rsi
addq $0x1, %rsi
callq 0x3fa00
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rdi
movq -0x18(%rbp), %rsi
callq 0x3fa10
addq $0x40, %rsp
popq %rbp
retq
nopw (%rax,%rax)
// File: vsklad[P]cgen/./bal/cnf/io/cnfgexf.hpp
// Function: bal::CnfGexfStreamWriter<false, false>::current_date_string[abi:cxx11]()
std::string current_date_string() {
            std::time_t t = std::time(nullptr);
            char mbstr[100];
            if (std::strftime(mbstr, sizeof(mbstr), "%Y-%m-%d", std::localtime(&t))) {
                return std::string(mbstr);
            } else {
                return "";
            };
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc0, %rsp
movq %rdi, -0xb0(%rbp)
movq %rdi, %rax
movq %rax, -0xa8(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
xorl %eax, %eax
movl %eax, %edi
callq 0xd2b0
movq %rax, -0x18(%rbp)
leaq -0x80(%rbp), %rax
movq %rax, -0xa0(%rbp)
leaq -0x18(%rbp), %rdi
callq 0xd220
movq -0xa0(%rbp), %rdi
movq %rax, %rcx
movl $0x64, %esi
leaq 0x25293(%rip), %rdx     # 0x64bae
callq 0xd260
cmpq $0x0, %rax
je 0x3f980
leaq -0x81(%rbp), %rdi
movq %rdi, -0xb8(%rbp)
callq 0xd5b0
movq -0xb0(%rbp), %rdi
movq -0xb8(%rbp), %rdx
leaq -0x80(%rbp), %rsi
callq 0xd440
jmp 0x3f952
leaq -0x81(%rbp), %rdi
callq 0xd370
jmp 0x3f9dd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x81(%rbp), %rdi
callq 0xd370
jmp 0x3f9ed
leaq -0x95(%rbp), %rdi
movq %rdi, -0xc0(%rbp)
callq 0xd5b0
movq -0xb0(%rbp), %rdi
movq -0xc0(%rbp), %rdx
leaq 0x28a14(%rip), %rsi     # 0x683bc
callq 0xd440
jmp 0x3f9af
leaq -0x95(%rbp), %rdi
callq 0xd370
jmp 0x3f9dd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x95(%rbp), %rdi
callq 0xd370
jmp 0x3f9ed
movq -0xa8(%rbp), %rax
addq $0xc0, %rsp
popq %rbp
retq
movq -0x90(%rbp), %rdi
callq 0xd5a0
nopl (%rax)
// File: vsklad[P]cgen/./bal/anf/anfpolybori.hpp
// Function: bal::PolyBoRiStreamWriter::write(bal::Anf const&)
void write(const Anf& value) override {
            write_header(value);
            write_parameters(value);
            write_variables(value);
            write_equations(value);
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0x18(%rbp)
movq -0x10(%rbp), %rsi
callq 0x3fb10
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x3fb90
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x3fce0
movq -0x18(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x3fdb0
addq $0x20, %rsp
popq %rbp
retq
nop
// File: vsklad[P]cgen/./bal/encoding/literal.hpp
// Function: void bal::assign<32ul, bal::Literal<bal::Anf>, 0>(bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>>*, unsigned long, bal::Literal<bal::Anf>::Formula&, bal::VariablesArray const&)
inline void assign(Ref<GF2NElement<N, GF2E>> *lhs, const size_t lhs_size,
                       typename GF2E::Formula& formula, const VariablesArray& rhs) {
        _assert_level_0(lhs_size * N == rhs.size());
        const literalid_t* literals = rhs.data();
        for (auto i = 0; i < lhs_size; i++) {
            lhs[i] = new GF2NElement<N, GF2E>();
            for (auto j = 0; j < N; j++) {
                (*lhs[i])[j] = GF2E::from_literal(&formula, literals[N - 1 - j]);
            };
            literals += N;
        };
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq -0x10(%rbp), %rax
shlq $0x5, %rax
movq %rax, -0x50(%rbp)
movq -0x20(%rbp), %rdi
callq 0x102f0
movl %eax, %ecx
movq -0x50(%rbp), %rax
movl %ecx, %ecx
cmpq %rcx, %rax
jne 0x40bff
jmp 0x40c1e
leaq 0x2438d(%rip), %rdi     # 0x64f93
leaq 0x235b6(%rip), %rsi     # 0x641c3
movl $0x1a3, %edx            # imm = 0x1A3
leaq 0x24395(%rip), %rcx     # 0x64fae
callq 0xd1c0
movq -0x20(%rbp), %rdi
callq 0x2e180
movq %rax, -0x28(%rbp)
movl $0x0, -0x2c(%rbp)
movslq -0x2c(%rbp), %rax
cmpq -0x10(%rbp), %rax
jae 0x40d56
movl $0x148, %edi            # imm = 0x148
movq %rdi, -0x68(%rbp)
callq 0xd330
movq -0x68(%rbp), %rdx
movq %rax, %rdi
movq %rdi, -0x58(%rbp)
movq %rdi, %rax
movq %rax, -0x60(%rbp)
xorl %esi, %esi
callq 0xd170
movq -0x58(%rbp), %rdi
callq 0x41f70
jmp 0x40c72
movq -0x60(%rbp), %rsi
movq -0x8(%rbp), %rdi
movslq -0x2c(%rbp), %rax
shlq $0x3, %rax
addq %rax, %rdi
callq 0x42140
movl $0x0, -0x40(%rbp)
movslq -0x40(%rbp), %rax
cmpq $0x20, %rax
jae 0x40d3a
movq -0x18(%rbp), %rsi
movq -0x28(%rbp), %rax
movslq -0x40(%rbp), %rdx
movl $0x1f, %ecx
subq %rdx, %rcx
movl (%rax,%rcx,4), %edx
leaq -0x48(%rbp), %rdi
callq 0x42170
movq -0x8(%rbp), %rax
movslq -0x2c(%rbp), %rcx
leaq (%rax,%rcx,8), %rdi
callq 0x42220
movq %rax, -0x70(%rbp)
jmp 0x40cd6
movq -0x70(%rbp), %rdi
movslq -0x40(%rbp), %rsi
callq 0x42240
movq %rax, -0x78(%rbp)
jmp 0x40ce9
movq -0x78(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x42270
jmp 0x40cf8
leaq -0x48(%rbp), %rdi
callq 0x34860
movl -0x40(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x40(%rbp)
jmp 0x40c91
movq -0x60(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
callq 0xd2d0
jmp 0x40d5f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x48(%rbp), %rdi
callq 0x34860
jmp 0x40d5f
movq -0x28(%rbp), %rax
addq $0x80, %rax
movq %rax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x2c(%rbp)
jmp 0x40c32
addq $0x80, %rsp
popq %rbp
retq
movq -0x38(%rbp), %rdi
callq 0xd5a0
nopl (%rax,%rax)
// File: vsklad[P]cgen/./bal/encoding/literal.hpp
// Function: bal::Literal<bal::Anf>::from_literal(bal::Anf*, unsigned int)
static Ref<Literal> from_literal(FORMULA_T* const formula, const literalid_t value) {
            if (literal_t__is_variable(value)) {
                return new Literal(formula, value);
            } else {
                return value;
            };
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x38(%rbp)
movq %rdi, %rax
movq %rax, -0x30(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
xorl %eax, %eax
cmpl $0x1, -0x14(%rbp)
movb %al, -0x25(%rbp)
jbe 0x421a3
cmpl $-0x2, -0x14(%rbp)
setbe %al
movb %al, -0x25(%rbp)
movb -0x25(%rbp), %al
testb $0x1, %al
jne 0x421ac
jmp 0x421f4
movl $0x40, %edi
callq 0xd330
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x40(%rbp)
movq -0x10(%rbp), %rsi
movl -0x14(%rbp), %edx
callq 0x43890
jmp 0x421ce
movq -0x40(%rbp), %rsi
movq -0x38(%rbp), %rdi
callq 0x34820
jmp 0x42201
movq -0x40(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
callq 0xd2d0
jmp 0x4220b
movq -0x38(%rbp), %rdi
leaq -0x14(%rbp), %rsi
callq 0x439a0
movq -0x30(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq
movq -0x20(%rbp), %rdi
callq 0xd5a0
nopw %cs:(%rax,%rax)
nop
// File: vsklad[P]cgen/./bal/encoding/formulatracer.hpp
// Function: bal::FormulaTracer<32ul, bal::Literal<bal::Anf>>::trace(char const*, bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>> const&)
void trace(const char* const name, const Ref<GF2NElement<N, GF2E>>& value) override {
            Tracer<N, GF2E>::trace(name, value);
            VariablesArray array = variables_array(value);
#ifdef TRACER_LOG_COUT
            std::cout << name << ": " << array << std::endl;
#endif
            formula_.add_named_variable(name, array);
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0x58(%rbp)
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
callq 0x441c0
movq -0x18(%rbp), %rsi
leaq -0x38(%rbp), %rdi
movq %rdi, -0x50(%rbp)
callq 0x442d0
movq -0x58(%rbp), %rax
movq -0x50(%rbp), %rdx
movq 0x8(%rax), %rdi
movq -0x10(%rbp), %rsi
callq 0x54e20
jmp 0x44101
leaq -0x38(%rbp), %rdi
callq 0x10850
addq $0x60, %rsp
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x10850
movq -0x40(%rbp), %rdi
callq 0xd5a0
nop
// File: vsklad[P]cgen/./bal/encoding/formulatracer.hpp
// Function: bal::FormulaTracer<32ul, bal::Literal<bal::Anf>>::trace(char const*, unsigned long, bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>> const&)
void trace(const char* const name, const size_t index, const Ref<GF2NElement<N, GF2E>>& value) override {
            Tracer<N, GF2E>::trace(name, index, value);
            VariablesArray array = variables_array(value);
#ifdef TRACER_LOG_COUT
            std::cout << name << "[" << index << "]: " << array << std::endl;
#endif
            formula_.add_named_variable(name, array, (variables_size_t)index);
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0x60(%rbp)
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
movq -0x20(%rbp), %rcx
callq 0x44210
movq -0x20(%rbp), %rsi
leaq -0x40(%rbp), %rdi
movq %rdi, -0x58(%rbp)
callq 0x442d0
movq -0x60(%rbp), %rax
movq -0x58(%rbp), %rdx
movq 0x8(%rax), %rdi
movq -0x10(%rbp), %rsi
movl -0x18(%rbp), %ecx
callq 0x54fe0
jmp 0x4418c
leaq -0x40(%rbp), %rdi
callq 0x10850
addq $0x60, %rsp
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x10850
movq -0x48(%rbp), %rdi
callq 0xd5a0
nopl (%rax)
// File: vsklad[P]cgen/./bal/encoding/literal.hpp
// Function: bal::VariablesArray bal::variables_array<32ul, bal::Literal<bal::Anf>, 0>(bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>> const&)
inline VariablesArray variables_array(const Ref<GF2NElement<N, GF2E>>& value) {
        VariablesArray result(1, N);
        literalid_t* const literals = result.data();
        const GF2E* const * const p_word_bits = value->data();
        for (auto j = 0; j < N; j++) {
            _assert_level_1(p_word_bits[N - j - 1] != nullptr);
            literals[j] = p_word_bits[N - j - 1]->value;
        };
        
        return result;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x48(%rbp)
movq %rdi, %rax
movq %rax, -0x50(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movb $0x0, -0x11(%rbp)
movl $0x1, %esi
movl $0x20, %edx
callq 0x10330
movq -0x48(%rbp), %rdi
callq 0x10310
movq %rax, -0x20(%rbp)
movq -0x10(%rbp), %rdi
callq 0x44400
movq %rax, -0x40(%rbp)
jmp 0x4431a
movq -0x40(%rbp), %rdi
callq 0x44420
movq %rax, -0x58(%rbp)
jmp 0x44329
movq -0x58(%rbp), %rax
movq %rax, -0x28(%rbp)
movl $0x0, -0x38(%rbp)
movslq -0x38(%rbp), %rax
cmpq $0x20, %rax
jae 0x443cd
movq -0x28(%rbp), %rax
movslq -0x38(%rbp), %rdx
movl $0x20, %ecx
subq %rdx, %rcx
subq $0x1, %rcx
cmpq $0x0, (%rax,%rcx,8)
je 0x44363
jmp 0x44399
leaq 0x21416(%rip), %rdi     # 0x65780
leaq 0x1fe52(%rip), %rsi     # 0x641c3
movl $0x188, %edx            # imm = 0x188
leaq 0x21425(%rip), %rcx     # 0x657a2
callq 0xd1c0
movq -0x48(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
callq 0x10850
jmp 0x443ea
movq -0x28(%rbp), %rax
movslq -0x38(%rbp), %rdx
movl $0x20, %ecx
subq %rdx, %rcx
subq $0x1, %rcx
movq (%rax,%rcx,8), %rax
movl 0x20(%rax), %edx
movq -0x20(%rbp), %rax
movslq -0x38(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movl -0x38(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x38(%rbp)
jmp 0x44338
movb $0x1, -0x11(%rbp)
testb $0x1, -0x11(%rbp)
jne 0x443e0
movq -0x48(%rbp), %rdi
callq 0x10850
movq -0x50(%rbp), %rax
addq $0x60, %rsp
popq %rbp
retq
movq -0x30(%rbp), %rdi
callq 0xd5a0
nopw %cs:(%rax,%rax)
nopl (%rax)
// File: vsklad[P]cgen/./acl/sha1.hpp
// Function: acl::SHA1<bal::Literal<bal::Anf>>::f(unsigned int, bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>>&, bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>>&, bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>>&)
const Ref<Word> f(unsigned int t, Ref<Word> &b, Ref<Word> &c, Ref<Word> &d) {
            switch (t / 20) {
                case 0: return ch(b, c, d);
                case 1: return parity(b, c, d);
                case 2: return maj(b, c, d);
                case 3: return parity(b, c, d);
                default:
                    assert(false);
            };
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x48(%rbp)
movq %rdi, %rax
movq %rax, -0x40(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq %r9, -0x30(%rbp)
movl -0x14(%rbp), %eax
movl $0xcccccccd, %ecx       # imm = 0xCCCCCCCD
imulq %rcx, %rax
shrq $0x24, %rax
movq %rax, -0x38(%rbp)
subl $0x3, %eax
ja 0x44713
movq -0x38(%rbp), %rax
leaq 0x1dbee(%rip), %rcx     # 0x6229c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x48(%rbp), %rdi
movq -0x20(%rbp), %rsi
movq -0x28(%rbp), %rdx
movq -0x30(%rbp), %rcx
callq 0x45230
jmp 0x44732
movq -0x48(%rbp), %rdi
movq -0x20(%rbp), %rsi
movq -0x28(%rbp), %rdx
movq -0x30(%rbp), %rcx
callq 0x452a0
jmp 0x44732
movq -0x48(%rbp), %rdi
movq -0x20(%rbp), %rsi
movq -0x28(%rbp), %rdx
movq -0x30(%rbp), %rcx
callq 0x45310
jmp 0x44732
movq -0x48(%rbp), %rdi
movq -0x20(%rbp), %rsi
movq -0x28(%rbp), %rdx
movq -0x30(%rbp), %rcx
callq 0x452a0
jmp 0x44732
leaq 0x1f74d(%rip), %rdi     # 0x63e67
leaq 0x21128(%rip), %rsi     # 0x65849
movl $0x29, %edx
leaq 0x2132b(%rip), %rcx     # 0x65a58
callq 0xd1c0
movq -0x40(%rbp), %rax
addq $0x50, %rsp
popq %rbp
retq
nopl (%rax)
// File: vsklad[P]cgen/./bal/encoding/gf2n.hpp
// Function: bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>> bal::rotr<32ul, bal::Literal<bal::Anf>>(bal::GF2NElement<32ul, bal::Literal<bal::Anf>>*, bal::GF2NElement<32ul, bal::Literal<bal::Anf>> const*, int)
Ref<GF2NElement<N, GF2E>> rotr(GF2NElement<N, GF2E>* const r,
                                   const GF2NElement<N, GF2E>* const value, const int n) {
        Ref<GF2NElement<N, GF2E>> result = new_instance_if_unassigned(r);
        for (auto i = 0; i < N; i++) {
            (*result)[i] = (*value)[(i + n) % N];
        };
        return result;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x48(%rbp)
movq %rdi, %rax
movq %rax, -0x40(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movl %ecx, -0x1c(%rbp)
movb $0x0, -0x1d(%rbp)
movq -0x10(%rbp), %rsi
callq 0x44a60
movl $0x0, -0x24(%rbp)
movslq -0x24(%rbp), %rax
cmpq $0x20, %rax
jae 0x44a2f
movq -0x18(%rbp), %rdi
movl -0x24(%rbp), %eax
movl -0x1c(%rbp), %ecx
addl %ecx, %eax
andl $0x1f, %eax
movl %eax, %esi
callq 0x44ae0
movq %rax, -0x50(%rbp)
jmp 0x449ec
movq -0x48(%rbp), %rdi
callq 0x42220
movq %rax, %rdi
movslq -0x24(%rbp), %rsi
callq 0x42240
movq -0x50(%rbp), %rsi
movq %rax, %rdi
callq 0x430c0
movl -0x24(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x24(%rbp)
jmp 0x449c6
movq -0x48(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
callq 0x40b20
jmp 0x44a4c
movb $0x1, -0x1d(%rbp)
testb $0x1, -0x1d(%rbp)
jne 0x44a42
movq -0x48(%rbp), %rdi
callq 0x40b20
movq -0x40(%rbp), %rax
addq $0x50, %rsp
popq %rbp
retq
movq -0x30(%rbp), %rdi
callq 0xd5a0
nopw %cs:(%rax,%rax)
nop
// File: vsklad[P]cgen/./bal/bal/referenceable.hpp
// Function: bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>> bal::new_instance_if_unassigned<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>, 0>(bal::GF2NElement<32ul, bal::Literal<bal::Anf>>*)
Ref<T> new_instance_if_unassigned(T* const value) {
        Ref<T> result = value;
        if (value == nullptr) {
            new_instance(result);
        };
        return result;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x38(%rbp)
movq %rdi, %rax
movq %rax, -0x30(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movb $0x0, -0x11(%rbp)
movq -0x10(%rbp), %rsi
callq 0x44b10
cmpq $0x0, -0x10(%rbp)
jne 0x44ab3
movq -0x38(%rbp), %rdi
callq 0x44b50
jmp 0x44a9a
jmp 0x44ab3
movq -0x38(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x20(%rbp)
movl %eax, -0x24(%rbp)
callq 0x40b20
jmp 0x44ad0
movb $0x1, -0x11(%rbp)
testb $0x1, -0x11(%rbp)
jne 0x44ac6
movq -0x38(%rbp), %rdi
callq 0x40b20
movq -0x30(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq
movq -0x20(%rbp), %rdi
callq 0xd5a0
nopl (%rax)
// File: vsklad[P]cgen/./bal/encoding/gf2n.hpp
// Function: bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>> bal::eor<32ul, bal::Literal<bal::Anf>>(bal::GF2NElement<32ul, bal::Literal<bal::Anf>>*, bal::GF2NElement<32ul, bal::Literal<bal::Anf>> const* const*, unsigned long)
Ref<GF2NElement<N, GF2E>> eor(GF2NElement<N, GF2E>* const r,
                                  const GF2NElement<N, GF2E>* const args[], const std::size_t args_size) {
        Ref<GF2NElement<N, GF2E>> result = new_instance_if_unassigned(r);
        for (auto i = 0; i < N; i++) {
            const GF2E* args_i[args_size];
            for (auto j = 0; j < args_size; j++) {
                args_i[j] = (*args[j])[i];
            };
            (*result)[i] = eor((*result)[i].data(), args_i, args_size);
        };
        return result;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x68(%rbp)
movq %rdi, %rax
movq %rax, -0x60(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movb $0x0, -0x21(%rbp)
movq -0x10(%rbp), %rsi
callq 0x44a60
movl $0x0, -0x28(%rbp)
movslq -0x28(%rbp), %rax
cmpq $0x20, %rax
jae 0x44cfe
movq -0x20(%rbp), %rax
movq %rsp, %rcx
movq %rcx, -0x30(%rbp)
leaq 0xf(,%rax,8), %rdx
andq $-0x10, %rdx
movq %rsp, %rcx
subq %rdx, %rcx
movq %rcx, -0x70(%rbp)
movq %rcx, %rsp
movq %rax, -0x38(%rbp)
movl $0x0, -0x3c(%rbp)
movslq -0x3c(%rbp), %rax
cmpq -0x20(%rbp), %rax
jae 0x44c75
movq -0x18(%rbp), %rax
movslq -0x3c(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movslq -0x28(%rbp), %rsi
callq 0x44ae0
movq %rax, %rdi
callq 0x42c20
movq %rax, %rdx
movq -0x70(%rbp), %rax
movslq -0x3c(%rbp), %rcx
movq %rdx, (%rax,%rcx,8)
movl -0x3c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
jmp 0x44c34
movq -0x68(%rbp), %rdi
callq 0x42220
movq %rax, %rdi
movslq -0x28(%rbp), %rsi
callq 0x42240
movq %rax, %rdi
callq 0x42cc0
movq -0x70(%rbp), %rdx
movq %rax, %rsi
movq -0x20(%rbp), %rcx
leaq -0x48(%rbp), %rdi
callq 0x44d40
jmp 0x44ca8
movq -0x68(%rbp), %rdi
callq 0x42220
movq %rax, %rdi
movslq -0x28(%rbp), %rsi
callq 0x42240
movq %rax, %rdi
leaq -0x48(%rbp), %rsi
callq 0x42270
leaq -0x48(%rbp), %rdi
callq 0x34860
movq -0x30(%rbp), %rax
movq %rax, %rsp
movl -0x28(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x28(%rbp)
jmp 0x44bf7
movq -0x68(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
callq 0x40b20
jmp 0x44d1a
movb $0x1, -0x21(%rbp)
testb $0x1, -0x21(%rbp)
jne 0x44d11
movq -0x68(%rbp), %rdi
callq 0x40b20
movq -0x60(%rbp), %rax
movq %rbp, %rsp
popq %rbp
retq
movq -0x50(%rbp), %rdi
callq 0xd5a0
nopw %cs:(%rax,%rax)
nopl (%rax)
// File: vsklad[P]cgen/./bal/encoding/literal.hpp
// Function: bal::update_formula(bal::Anf*&, bal::Literal<bal::Anf> const*)
void update_formula(FORMULA_T*& formula, const Literal* const instance) {
            _assert_level_0(instance != nullptr);
            if (instance->formula != nullptr) {
                _assert_level_1(formula == nullptr || formula == instance->formula);
                formula = instance->formula;
            };
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
cmpq $0x0, -0x10(%rbp)
je 0x44ff9
jmp 0x45018
leaq 0x2092b(%rip), %rdi     # 0x6592b
leaq 0x1f1bc(%rip), %rsi     # 0x641c3
movl $0x57, %edx
leaq 0x2092c(%rip), %rcx     # 0x6593f
callq 0xd1c0
movq -0x10(%rbp), %rax
cmpq $0x0, 0x18(%rax)
je 0x45080
movq -0x8(%rbp), %rcx
movb $0x1, %al
cmpq $0x0, (%rcx)
movb %al, -0x11(%rbp)
je 0x45047
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq -0x10(%rbp), %rcx
cmpq 0x18(%rcx), %rax
sete %al
movb %al, -0x11(%rbp)
movb -0x11(%rbp), %al
testb $0x1, %al
jne 0x45050
jmp 0x45052
jmp 0x45071
leaq 0x2092e(%rip), %rdi     # 0x65987
leaq 0x1f163(%rip), %rsi     # 0x641c3
movl $0x59, %edx
leaq 0x208d3(%rip), %rcx     # 0x6593f
callq 0xd1c0
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rcx
movq -0x8(%rbp), %rax
movq %rcx, (%rax)
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
// File: vsklad[P]cgen/./bal/encoding/gf2n.hpp
// Function: bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>> bal::ch<32ul, bal::Literal<bal::Anf>>(bal::GF2NElement<32ul, bal::Literal<bal::Anf>>*, bal::GF2NElement<32ul, bal::Literal<bal::Anf>> const*, bal::GF2NElement<32ul, bal::Literal<bal::Anf>> const*, bal::GF2NElement<32ul, bal::Literal<bal::Anf>> const*)
Ref<GF2NElement<N, GF2E>> ch(GF2NElement<N, GF2E>* const r,
                                 const GF2NElement<N, GF2E>* const x,
                                 const GF2NElement<N, GF2E>* const y,
                                 const GF2NElement<N, GF2E>* const z) {
        Ref<GF2NElement<N, GF2E>> result = new_instance_if_unassigned(r);
        for (auto i = 0; i < N; i++) {
            (*result)[i] = ch((*result)[i].data(), (*x)[i].data(), (*y)[i].data(), (*z)[i].data());
        };
        return result;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x58(%rbp)
movq %rdi, %rax
movq %rax, -0x50(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movb $0x0, -0x29(%rbp)
movq -0x10(%rbp), %rsi
callq 0x44a60
movl $0x0, -0x30(%rbp)
movslq -0x30(%rbp), %rax
cmpq $0x20, %rax
jae 0x4549a
movq -0x58(%rbp), %rdi
callq 0x42220
movq %rax, %rdi
movslq -0x30(%rbp), %rsi
callq 0x42240
movq %rax, %rdi
callq 0x42cc0
movq %rax, -0x70(%rbp)
movq -0x18(%rbp), %rdi
movslq -0x30(%rbp), %rsi
callq 0x44ae0
movq %rax, %rdi
callq 0x42cc0
movq %rax, -0x68(%rbp)
movq -0x20(%rbp), %rdi
movslq -0x30(%rbp), %rsi
callq 0x44ae0
movq %rax, %rdi
callq 0x42cc0
movq %rax, -0x60(%rbp)
movq -0x28(%rbp), %rdi
movslq -0x30(%rbp), %rsi
callq 0x44ae0
movq %rax, %rdi
callq 0x42cc0
movq -0x70(%rbp), %rsi
movq -0x68(%rbp), %rdx
movq -0x60(%rbp), %rcx
movq %rax, %r8
leaq -0x38(%rbp), %rdi
callq 0x454c0
jmp 0x4544b
movq -0x58(%rbp), %rdi
callq 0x42220
movq %rax, %rdi
movslq -0x30(%rbp), %rsi
callq 0x42240
movq %rax, %rdi
leaq -0x38(%rbp), %rsi
callq 0x42270
leaq -0x38(%rbp), %rdi
callq 0x34860
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
jmp 0x453bb
movq -0x58(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
callq 0x40b20
jmp 0x454b7
movb $0x1, -0x29(%rbp)
testb $0x1, -0x29(%rbp)
jne 0x454ad
movq -0x58(%rbp), %rdi
callq 0x40b20
movq -0x50(%rbp), %rax
addq $0x70, %rsp
popq %rbp
retq
movq -0x40(%rbp), %rdi
callq 0xd5a0
// File: vsklad[P]cgen/./bal/encoding/literal.hpp
// Function: bal::Ref<bal::Literal<bal::Anf>> bal::inv<bal::Anf>(bal::Literal<bal::Anf>*, bal::Literal<bal::Anf> const*)
Ref<Literal<FORMULA_T>> inv(Literal<FORMULA_T>* const r,
                                const Literal<FORMULA_T>* const x) {
        if (literal_t__is_variable(x->value)) {
            return new Literal<FORMULA_T>(x->formula, literal_t__negated(x->value));
        } else if (literal_t__is_constant(x->value)) {
            return literal_t__negated(x->value);
        } else if (literal_t__is_unassigned(x->value)) {
            return x->value;
        } else {
            _assert_level_0(false);
        };
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x30(%rbp)
movq %rdi, %rax
movq %rax, -0x28(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpl $0x1, 0x20(%rcx)
movb %al, -0x1d(%rbp)
jbe 0x4594c
movq -0x18(%rbp), %rax
cmpl $-0x2, 0x20(%rax)
setbe %al
movb %al, -0x1d(%rbp)
movb -0x1d(%rbp), %al
testb $0x1, %al
jne 0x45955
jmp 0x4598c
movl $0x40, %edi
callq 0xd330
movq %rax, %rdi
movq %rdi, -0x38(%rbp)
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rsi
movq -0x18(%rbp), %rax
movl 0x20(%rax), %edx
xorl $0x1, %edx
callq 0x43890
movq -0x30(%rbp), %rdi
movq -0x38(%rbp), %rsi
callq 0x34820
jmp 0x459ee
movq -0x18(%rbp), %rax
cmpl $0x1, 0x20(%rax)
ja 0x459b2
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rax
movl 0x20(%rax), %eax
xorl $0x1, %eax
movl %eax, -0x1c(%rbp)
leaq -0x1c(%rbp), %rsi
callq 0x439a0
jmp 0x459ee
movq -0x18(%rbp), %rax
cmpl $-0x1, 0x20(%rax)
jne 0x459cf
movq -0x30(%rbp), %rdi
movq -0x18(%rbp), %rsi
addq $0x20, %rsi
callq 0x439a0
jmp 0x459ee
leaq 0x1e491(%rip), %rdi     # 0x63e67
leaq 0x1e7e6(%rip), %rsi     # 0x641c3
movl $0x74, %edx
leaq 0x201e9(%rip), %rcx     # 0x65bd2
callq 0xd1c0
movq -0x28(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq
nopl (%rax,%rax)
// File: vsklad[P]cgen/./bal/encoding/literal.hpp
// Function: bal::Ref<bal::Literal<bal::Anf>> bal::con2<bal::Anf>(bal::Literal<bal::Anf>*, bal::Literal<bal::Anf>*, bal::Literal<bal::Anf>*)
Ref<Literal<FORMULA_T>> con2(Literal<FORMULA_T>* const r,
                                 Literal<FORMULA_T>* const x, Literal<FORMULA_T>* const y) {
        if (x->value == y->value) {
            return x;
        } else if (literal_t__is_negation_of(x->value, y->value)) {
            return 0;
        } else if (literal_t__is_constant_0(x->value) || literal_t__is_constant_0(y->value)) {
            return 0;
        } else if (literal_t__is_constant_1(x->value)) {
            return y;
        } else if (literal_t__is_constant_1(y->value)) {
            return x;
        } else {
            _assert_level_1(x->formula != nullptr && x->formula == y->formula);
            const literalid_t r_value = x->formula->new_variable_literal();
            con2(x->formula, r_value, x->value, y->value);
            return new Literal<FORMULA_T>(x->formula, r_value);
        };
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x40(%rbp)
movq %rdi, %rax
movq %rax, -0x38(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq -0x18(%rbp), %rax
movl 0x20(%rax), %eax
movq -0x20(%rbp), %rcx
cmpl 0x20(%rcx), %eax
jne 0x45a45
movq -0x40(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x34820
jmp 0x45b83
movq -0x18(%rbp), %rax
movl 0x20(%rax), %eax
movq -0x20(%rbp), %rcx
xorl 0x20(%rcx), %eax
cmpl $0x1, %eax
jne 0x45a71
movq -0x40(%rbp), %rdi
movl $0x0, -0x24(%rbp)
leaq -0x24(%rbp), %rsi
callq 0x45b90
jmp 0x45b83
movq -0x18(%rbp), %rax
cmpl $0x0, 0x20(%rax)
je 0x45a85
movq -0x20(%rbp), %rax
cmpl $0x0, 0x20(%rax)
jne 0x45a9e
movq -0x40(%rbp), %rdi
movl $0x0, -0x28(%rbp)
leaq -0x28(%rbp), %rsi
callq 0x45b90
jmp 0x45b83
movq -0x18(%rbp), %rax
cmpl $0x1, 0x20(%rax)
jne 0x45aba
movq -0x40(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x34820
jmp 0x45b83
movq -0x20(%rbp), %rax
cmpl $0x1, 0x20(%rax)
jne 0x45ad6
movq -0x40(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x34820
jmp 0x45b83
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, 0x18(%rcx)
movb %al, -0x41(%rbp)
je 0x45afc
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x20(%rbp), %rcx
cmpq 0x18(%rcx), %rax
sete %al
movb %al, -0x41(%rbp)
movb -0x41(%rbp), %al
testb $0x1, %al
jne 0x45b05
jmp 0x45b07
jmp 0x45b26
leaq 0x20138(%rip), %rdi     # 0x65c46
leaq 0x1e6ae(%rip), %rsi     # 0x641c3
movl $0xf8, %edx
leaq 0x20157(%rip), %rcx     # 0x65c78
callq 0xd1c0
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rdi
movq (%rdi), %rax
callq *0x8(%rax)
movl %eax, -0x2c(%rbp)
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rdi
movl -0x2c(%rbp), %esi
movq -0x18(%rbp), %rax
movl 0x20(%rax), %edx
movq -0x20(%rbp), %rax
movl 0x20(%rax), %ecx
callq 0x12220
movl $0x40, %edi
callq 0xd330
movq %rax, %rdi
movq %rdi, -0x50(%rbp)
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rsi
movl -0x2c(%rbp), %edx
callq 0x43890
movq -0x40(%rbp), %rdi
movq -0x50(%rbp), %rsi
callq 0x34820
movq -0x38(%rbp), %rax
addq $0x50, %rsp
popq %rbp
retq
nopl (%rax)
// File: vsklad[P]cgen/./bal/encoding/literal.hpp
// Function: bal::Ref<bal::Literal<bal::Anf>> bal::dis2<bal::Anf>(bal::Literal<bal::Anf>*, bal::Literal<bal::Anf>*, bal::Literal<bal::Anf>*)
Ref<Literal<FORMULA_T>> dis2(Literal<FORMULA_T>* const r,
                                 Literal<FORMULA_T>* const x, Literal<FORMULA_T>* const y) {
        if (x->value == y->value) {
            return x;
        } else if (literal_t__is_negation_of(x->value, y->value)) {
            return 1;
        } else if (literal_t__is_constant_0(x->value)) {
            return y;
        } else if (literal_t__is_constant_0(y->value)) {
            return x;
        } else if (literal_t__is_constant_1(x->value) || literal_t__is_constant_1(y->value)) {
            return 1;
        } else {
            _assert_level_1(x->formula != nullptr && x->formula == y->formula);
            const literalid_t r_value = x->formula->new_variable_literal();
            dis2(x->formula, r_value, x->value, y->value);
            return new Literal<FORMULA_T>(x->formula, r_value);
        };
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x40(%rbp)
movq %rdi, %rax
movq %rax, -0x38(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq -0x18(%rbp), %rax
movl 0x20(%rax), %eax
movq -0x20(%rbp), %rcx
cmpl 0x20(%rcx), %eax
jne 0x45c05
movq -0x40(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x34820
jmp 0x45d43
movq -0x18(%rbp), %rax
movl 0x20(%rax), %eax
movq -0x20(%rbp), %rcx
xorl 0x20(%rcx), %eax
cmpl $0x1, %eax
jne 0x45c31
movq -0x40(%rbp), %rdi
movl $0x1, -0x24(%rbp)
leaq -0x24(%rbp), %rsi
callq 0x45b90
jmp 0x45d43
movq -0x18(%rbp), %rax
cmpl $0x0, 0x20(%rax)
jne 0x45c4d
movq -0x40(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x34820
jmp 0x45d43
movq -0x20(%rbp), %rax
cmpl $0x0, 0x20(%rax)
jne 0x45c69
movq -0x40(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x34820
jmp 0x45d43
movq -0x18(%rbp), %rax
cmpl $0x1, 0x20(%rax)
je 0x45c7d
movq -0x20(%rbp), %rax
cmpl $0x1, 0x20(%rax)
jne 0x45c96
movq -0x40(%rbp), %rdi
movl $0x1, -0x28(%rbp)
leaq -0x28(%rbp), %rsi
callq 0x45b90
jmp 0x45d43
movq -0x18(%rbp), %rcx
xorl %eax, %eax
cmpq $0x0, 0x18(%rcx)
movb %al, -0x41(%rbp)
je 0x45cbc
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rax
movq -0x20(%rbp), %rcx
cmpq 0x18(%rcx), %rax
sete %al
movb %al, -0x41(%rbp)
movb -0x41(%rbp), %al
testb $0x1, %al
jne 0x45cc5
jmp 0x45cc7
jmp 0x45ce6
leaq 0x1ff78(%rip), %rdi     # 0x65c46
leaq 0x1e4ee(%rip), %rsi     # 0x641c3
movl $0x112, %edx            # imm = 0x112
leaq 0x20021(%rip), %rcx     # 0x65d02
callq 0xd1c0
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rdi
movq (%rdi), %rax
callq *0x8(%rax)
movl %eax, -0x2c(%rbp)
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rdi
movl -0x2c(%rbp), %esi
movq -0x18(%rbp), %rax
movl 0x20(%rax), %edx
movq -0x20(%rbp), %rax
movl 0x20(%rax), %ecx
callq 0x122f0
movl $0x40, %edi
callq 0xd330
movq %rax, %rdi
movq %rdi, -0x50(%rbp)
movq -0x18(%rbp), %rax
movq 0x18(%rax), %rsi
movl -0x2c(%rbp), %edx
callq 0x43890
movq -0x40(%rbp), %rdi
movq -0x50(%rbp), %rsi
callq 0x34820
movq -0x38(%rbp), %rax
addq $0x50, %rsp
popq %rbp
retq
nopl (%rax)
// File: vsklad[P]cgen/./bal/encoding/gf2n.hpp
// Function: bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>> bal::parity<32ul, bal::Literal<bal::Anf>>(bal::GF2NElement<32ul, bal::Literal<bal::Anf>>*, bal::GF2NElement<32ul, bal::Literal<bal::Anf>> const*, bal::GF2NElement<32ul, bal::Literal<bal::Anf>> const*, bal::GF2NElement<32ul, bal::Literal<bal::Anf>> const*)
Ref<GF2NElement<N, GF2E>> parity(GF2NElement<N, GF2E>* const r,
                                     const GF2NElement<N, GF2E>* const x,
                                     const GF2NElement<N, GF2E>* const y,
                                     const GF2NElement<N, GF2E>* const z) {
        Ref<GF2NElement<N, GF2E>> result = new_instance_if_unassigned(r);
        for (auto i = 0; i < N; i++) {
            (*result)[i] = parity((*result)[i].data(), (*x)[i].data(), (*y)[i].data(), (*z)[i].data());
        };
        return result;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x58(%rbp)
movq %rdi, %rax
movq %rax, -0x50(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movb $0x0, -0x29(%rbp)
movq -0x10(%rbp), %rsi
callq 0x44a60
movl $0x0, -0x30(%rbp)
movslq -0x30(%rbp), %rax
cmpq $0x20, %rax
jae 0x45eba
movq -0x58(%rbp), %rdi
callq 0x42220
movq %rax, %rdi
movslq -0x30(%rbp), %rsi
callq 0x42240
movq %rax, %rdi
callq 0x42cc0
movq %rax, -0x70(%rbp)
movq -0x18(%rbp), %rdi
movslq -0x30(%rbp), %rsi
callq 0x44ae0
movq %rax, %rdi
callq 0x42cc0
movq %rax, -0x68(%rbp)
movq -0x20(%rbp), %rdi
movslq -0x30(%rbp), %rsi
callq 0x44ae0
movq %rax, %rdi
callq 0x42cc0
movq %rax, -0x60(%rbp)
movq -0x28(%rbp), %rdi
movslq -0x30(%rbp), %rsi
callq 0x44ae0
movq %rax, %rdi
callq 0x42cc0
movq -0x70(%rbp), %rsi
movq -0x68(%rbp), %rdx
movq -0x60(%rbp), %rcx
movq %rax, %r8
leaq -0x38(%rbp), %rdi
callq 0x45ee0
jmp 0x45e6b
movq -0x58(%rbp), %rdi
callq 0x42220
movq %rax, %rdi
movslq -0x30(%rbp), %rsi
callq 0x42240
movq %rax, %rdi
leaq -0x38(%rbp), %rsi
callq 0x42270
leaq -0x38(%rbp), %rdi
callq 0x34860
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
jmp 0x45ddb
movq -0x58(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
callq 0x40b20
jmp 0x45ed7
movb $0x1, -0x29(%rbp)
testb $0x1, -0x29(%rbp)
jne 0x45ecd
movq -0x58(%rbp), %rdi
callq 0x40b20
movq -0x50(%rbp), %rax
addq $0x70, %rsp
popq %rbp
retq
movq -0x40(%rbp), %rdi
callq 0xd5a0
// File: vsklad[P]cgen/./bal/encoding/field.hpp
// Function: bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>> bal::reduce<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>>(bal::GF2NElement<32ul, bal::Literal<bal::Anf>>*, bal::Ref<bal::GF2NElement<32ul, bal::Literal<bal::Anf>>> (*)(bal::GF2NElement<32ul, bal::Literal<bal::Anf>>*, bal::GF2NElement<32ul, bal::Literal<bal::Anf>> const*, bal::GF2NElement<32ul, bal::Literal<bal::Anf>> const*), bal::GF2NElement<32ul, bal::Literal<bal::Anf>> const* const*, unsigned long)
Ref<T> reduce(T* const r, Function2_<T> function, const T* const args[], const std::size_t args_size) {
        _assert_level_1(args_size >= 2);
        Ref<T> result = function(r, args[0], args[1]);
        for (auto i = 2; i < args_size; i++) {
            _assert_level_1(r != args[i]); // because its overwritten already
            result = function(result, result, args[i]);
        };
        return result;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x58(%rbp)
movq %rdi, %rax
movq %rax, -0x50(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
cmpq $0x2, -0x28(%rbp)
jb 0x46340
jmp 0x4635f
leaq 0x1fae9(%rip), %rdi     # 0x65e30
leaq 0x1faf1(%rip), %rsi     # 0x65e3f
movl $0x2a, %edx
leaq 0x1fafe(%rip), %rcx     # 0x65e58
callq 0xd1c0
movq -0x58(%rbp), %rdi
movb $0x0, -0x29(%rbp)
movq -0x18(%rbp), %rax
movq -0x10(%rbp), %rsi
movq -0x20(%rbp), %rcx
movq (%rcx), %rdx
movq -0x20(%rbp), %rcx
movq 0x8(%rcx), %rcx
callq *%rax
movl $0x2, -0x30(%rbp)
movslq -0x30(%rbp), %rax
cmpq -0x28(%rbp), %rax
jae 0x46440
movq -0x10(%rbp), %rax
movq -0x20(%rbp), %rcx
movslq -0x30(%rbp), %rdx
cmpq (%rcx,%rdx,8), %rax
je 0x463a9
jmp 0x463c8
leaq 0x1fb2e(%rip), %rdi     # 0x65ede
leaq 0x1fa88(%rip), %rsi     # 0x65e3f
movl $0x2d, %edx
leaq 0x1fa95(%rip), %rcx     # 0x65e58
callq 0xd1c0
movq -0x58(%rbp), %rdi
movq -0x18(%rbp), %rax
movq %rax, -0x60(%rbp)
callq 0x42220
movq -0x58(%rbp), %rdi
movq %rax, -0x68(%rbp)
callq 0x42220
movq -0x68(%rbp), %rsi
movq %rax, %rdx
movq -0x60(%rbp), %rax
movq -0x20(%rbp), %rcx
movslq -0x30(%rbp), %rdi
movq (%rcx,%rdi,8), %rcx
leaq -0x38(%rbp), %rdi
callq *%rax
jmp 0x46405
movq -0x58(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x44630
leaq -0x38(%rbp), %rdi
callq 0x40b20
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
jmp 0x46387
movq -0x58(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
callq 0x40b20
jmp 0x4645d
movb $0x1, -0x29(%rbp)
testb $0x1, -0x29(%rbp)
jne 0x46453
movq -0x58(%rbp), %rdi
callq 0x40b20
movq -0x50(%rbp), %rax
addq $0x70, %rsp
popq %rbp
retq
movq -0x40(%rbp), %rdi
callq 0xd5a0
nopw %cs:(%rax,%rax)