// File: /workspace/github_cpp_makefile_star2_O2/vsklad[P]cgen/./bal/cnf/io/cnfgexf.hpp
// Function: bal::CnfGexfStreamWriter<false, false>::write_header(bal::Cnf const&)
void write_header(const Cnf& value) override {
            stream << "<?xml version=\"1.0\" encoding=\"UTF-8\"?>" << std::endl;
            stream << "<gexf xmlns=\"http://www.gexf.net/1.2draft\" xmlns:xsi=\"http://www.w3.org/2001/XMLSchema−instance\" xsi:schemaLocation=\"http://www.gexf.net/1.2draft http://www.gexf.net/1.2draft/gexf.xsd\" version=\"1.2\">" << std::endl;
            stream << "<meta lastmodifieddate=\"" << current_date_string() << "\">" << std::endl;
            stream << "  <creator>https://cgen.sophisticatedways.net</creator>" << std::endl;
            stream << "  <description>CNF formula Variable Incidence Graph (VIG)</description>" << std::endl;
            stream << "  <keywords>CNF, VIG</keywords>" << std::endl;
            stream << "</meta>" << std::endl;
            stream << "<graph defaultedgetype=\"undirected\" idtype=\"integer\"";
            if (DYNAMIC) {
                stream << " mode=\"dynamic\" timeformat=\"integer\"";
            } else {
                stream << " mode=\"static\"";
            };
            stream << ">" << std::endl;
            stream << "  <attributes class=\"node\">" << std::endl;
            stream << "    <attribute id=\"0\" title=\"variable_name\" type=\"string\"/>" << std::endl;
            stream << "    <attribute id=\"1\" title=\"variable_index\" type=\"int\"/>" << std::endl;
            stream << "  </attributes>" << std::endl;
            if (WEIGHTED) {
                stream << "  <attributes class=\"edge\">" << std::endl;
                stream << "    <attribute id=\"0\" title=\"cardinality\" type=\"int\">" << std::endl;
                stream << "      <default>1</default>" << std::endl;
                stream << "    </attribute>" << std::endl;
                stream << "  </attributes>" << std::endl;
            };
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
movq 0x10(%rdi), %rdi
leaq 0x17296(%rip), %rsi     # 0x3a2a1
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0x176c5(%rip), %rsi     # 0x3a6e8
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0x17777(%rip), %rsi     # 0x3a7b2
callq 0xc290
movq %rax, %r14
leaq -0x38(%rbp), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0x23528
movq %r14, %rdi
movq %r15, %rsi
callq 0xc230
leaq 0x1774b(%rip), %rsi     # 0x3a7af
movq %rax, %rdi
callq 0xc290
movq %rax, %rdi
callq 0xc120
leaq -0x38(%rbp), %rdi
callq 0xc110
movq 0x10(%rbx), %rdi
leaq 0x17743(%rip), %rsi     # 0x3a7cb
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0x17763(%rip), %rsi     # 0x3a803
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0x17793(%rip), %rsi     # 0x3a84b
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0x1779b(%rip), %rsi     # 0x3a86b
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0x1778b(%rip), %rsi     # 0x3a873
callq 0xc290
movq 0x10(%rbx), %rdi
leaq 0x177b0(%rip), %rsi     # 0x3a8a8
callq 0xc290
movq 0x10(%rbx), %rdi
leaq 0x176a8(%rip), %rsi     # 0x3a7b0
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0x17797(%rip), %rsi     # 0x3a8b7
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0x1779b(%rip), %rsi     # 0x3a8d3
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0x177bf(%rip), %rsi     # 0x3a90f
callq 0xc290
movq %rax, %rdi
callq 0xc120
movq 0x10(%rbx), %rdi
leaq 0x177e1(%rip), %rsi     # 0x3a949
callq 0xc290
movq %rax, %rdi
callq 0xc120
addq $0x28, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq -0x38(%rbp), %rdi
callq 0xc110
movq %rbx, %rdi
callq 0xc4c0