// File: /workspace/github_cpp_makefile_star2_O1/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), %r14
leaq 0x1cf2e(%rip), %rsi     # 0x4a0e3
movl $0x26, %edx
movq %r14, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %r14
leaq 0x1d336(%rip), %rsi     # 0x4a52a
movl $0xc9, %edx
movq %r14, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %r14
leaq 0x1d3c1(%rip), %rsi     # 0x4a5f4
movl $0x18, %edx
movq %r14, %rdi
callq 0xc320
leaq -0x38(%rbp), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0x2db1c
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %r14, %rdi
callq 0xc320
movq %rax, %r14
leaq 0x1d389(%rip), %rsi     # 0x4a5f1
movl $0x2, %edx
movq %rax, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
leaq -0x28(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2d2ae
callq 0xc280
movq 0x10(%rbx), %r14
leaq 0x1d354(%rip), %rsi     # 0x4a60d
movl $0x37, %edx
movq %r14, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %r14
leaq 0x1d34d(%rip), %rsi     # 0x4a645
movl $0x47, %edx
movq %r14, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %r14
leaq 0x1d356(%rip), %rsi     # 0x4a68d
movl $0x1f, %edx
movq %r14, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %r14
leaq 0x1d337(%rip), %rsi     # 0x4a6ad
movl $0x7, %edx
movq %r14, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %rdi
leaq 0x1d300(%rip), %rsi     # 0x4a6b5
movl $0x34, %edx
callq 0xc320
movq 0x10(%rbx), %rdi
leaq 0x1d320(%rip), %rsi     # 0x4a6ea
movl $0xe, %edx
callq 0xc320
movq 0x10(%rbx), %r14
leaq 0x1d213(%rip), %rsi     # 0x4a5f2
movl $0x1, %edx
movq %r14, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %r14
leaq 0x1d2db(%rip), %rsi     # 0x4a6f9
movl $0x1b, %edx
movq %r14, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %r14
leaq 0x1d2b8(%rip), %rsi     # 0x4a715
movl $0x3b, %edx
movq %r14, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %r14
leaq 0x1d2b5(%rip), %rsi     # 0x4a751
movl $0x39, %edx
movq %r14, %rdi
callq 0xc320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
movq 0x10(%rbx), %rbx
leaq 0x1d2b0(%rip), %rsi     # 0x4a78b
movl $0xf, %edx
movq %rbx, %rdi
callq 0xc320
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0xc2a0
movsbl %al, %esi
movq %rbx, %rdi
callq 0xc030
movq %rax, %rdi
callq 0xc1a0
addq $0x28, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq -0x28(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2d52f
callq 0xc280
movq %rbx, %rdi
callq 0xc4e0
nop