// File: 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
subq $0x70, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x60(%rbp)
movq 0x10(%rax), %rdi
leaq 0x25353(%rip), %rsi     # 0x644f6
callq 0xd320
movq %rax, %rdi
movq 0x43dce(%rip), %rsi     # 0x82f80
movq %rsi, -0x68(%rbp)
callq 0xd360
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x25773(%rip), %rsi     # 0x6493d
callq 0xd320
movq -0x68(%rbp), %rsi
movq %rax, %rdi
callq 0xd360
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x2581d(%rip), %rsi     # 0x64a07
callq 0xd320
movq -0x60(%rbp), %rsi
movq %rax, -0x58(%rbp)
leaq -0x30(%rbp), %rdi
movq %rdi, -0x50(%rbp)
callq 0x3f8c0
movq -0x58(%rbp), %rdi
movq -0x50(%rbp), %rsi
callq 0xd290
movq %rax, -0x48(%rbp)
jmp 0x3f217
movq -0x48(%rbp), %rdi
leaq 0x257e2(%rip), %rsi     # 0x64a04
callq 0xd320
movq %rax, -0x70(%rbp)
jmp 0x3f22d
movq -0x70(%rbp), %rdi
movq 0x43d48(%rip), %rsi     # 0x82f80
callq 0xd360
jmp 0x3f23f
leaq -0x30(%rbp), %rdi
callq 0xd1b0
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x257c9(%rip), %rsi     # 0x64a20
callq 0xd320
movq %rax, %rdi
movq 0x43d1a(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x257de(%rip), %rsi     # 0x64a58
callq 0xd320
movq %rax, %rdi
movq 0x43cf7(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x25803(%rip), %rsi     # 0x64aa0
callq 0xd320
movq %rax, %rdi
movq 0x43cd4(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x25800(%rip), %rsi     # 0x64ac0
callq 0xd320
movq %rax, %rdi
movq 0x43cb1(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x257e5(%rip), %rsi     # 0x64ac8
callq 0xd320
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x25806(%rip), %rsi     # 0x64afd
callq 0xd320
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x256fa(%rip), %rsi     # 0x64a05
callq 0xd320
movq %rax, %rdi
movq 0x43c66(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x257de(%rip), %rsi     # 0x64b0c
callq 0xd320
movq %rax, %rdi
movq 0x43c43(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x257d7(%rip), %rsi     # 0x64b28
callq 0xd320
movq %rax, %rdi
movq 0x43c20(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x257f0(%rip), %rsi     # 0x64b64
callq 0xd320
movq %rax, %rdi
movq 0x43bfd(%rip), %rsi     # 0x82f80
callq 0xd360
movq -0x60(%rbp), %rax
movq 0x10(%rax), %rdi
leaq 0x25807(%rip), %rsi     # 0x64b9e
callq 0xd320
movq %rax, %rdi
movq 0x43bda(%rip), %rsi     # 0x82f80
callq 0xd360
addq $0x70, %rsp
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x30(%rbp), %rdi
callq 0xd1b0
movq -0x38(%rbp), %rdi
callq 0xd5a0
nop