// File: /workspace/github_cpp_makefile_star2_O3/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 0x1c948(%rip), %rsi     # 0x480f3
movl $0x26, %edx
movq %r14, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %r14
leaq 0x1cd50(%rip), %rsi     # 0x4853a
movl $0xc9, %edx
movq %r14, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %r14
leaq 0x1cddb(%rip), %rsi     # 0x48604
movl $0x18, %edx
movq %r14, %rdi
callq 0xb320
leaq -0x38(%rbp), %r15
movq %r15, %rdi
movq %rbx, %rsi
callq 0x2c112
movq (%r15), %rsi
movq 0x8(%r15), %rdx
movq %r14, %rdi
callq 0xb320
movq %rax, %r14
leaq 0x1cda3(%rip), %rsi     # 0x48601
movl $0x2, %edx
movq %rax, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
leaq -0x28(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2b8a4
callq 0xb280
movq 0x10(%rbx), %r14
leaq 0x1cd6e(%rip), %rsi     # 0x4861d
movl $0x37, %edx
movq %r14, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %r14
leaq 0x1cd67(%rip), %rsi     # 0x48655
movl $0x47, %edx
movq %r14, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %r14
leaq 0x1cd70(%rip), %rsi     # 0x4869d
movl $0x1f, %edx
movq %r14, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %r14
leaq 0x1cd51(%rip), %rsi     # 0x486bd
movl $0x7, %edx
movq %r14, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %rdi
leaq 0x1cd1a(%rip), %rsi     # 0x486c5
movl $0x34, %edx
callq 0xb320
movq 0x10(%rbx), %rdi
leaq 0x1cd3a(%rip), %rsi     # 0x486fa
movl $0xe, %edx
callq 0xb320
movq 0x10(%rbx), %r14
leaq 0x1cc2d(%rip), %rsi     # 0x48602
movl $0x1, %edx
movq %r14, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %r14
leaq 0x1ccf5(%rip), %rsi     # 0x48709
movl $0x1b, %edx
movq %r14, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %r14
leaq 0x1ccd2(%rip), %rsi     # 0x48725
movl $0x3b, %edx
movq %r14, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %r14
leaq 0x1cccf(%rip), %rsi     # 0x48761
movl $0x39, %edx
movq %r14, %rdi
callq 0xb320
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %r14, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
movq 0x10(%rbx), %rbx
leaq 0x1ccca(%rip), %rsi     # 0x4879b
movl $0xf, %edx
movq %rbx, %rdi
callq 0xb320
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0xb2a0
movsbl %al, %esi
movq %rbx, %rdi
callq 0xb030
movq %rax, %rdi
callq 0xb1a0
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 0x2bb25
callq 0xb280
movq %rbx, %rdi
callq 0xb4e0
nop