// File: /workspace/github_cpp_makefile_star2_O1/vsklad[P]cgen/./bal/cnf/io/cnfdimacs.hpp
// Function: bal::DimacsStreamReader::read_header(bal::Cnf&)
void read_header(Cnf& cnf) {
            read_token("p");
            skip_space();
            read_token("cnf");
            skip_space();
            variables_size_t variables_size = read_uint32();
            skip_space();
            clauses_size_t clauses_size = read_uint32();
            skip_space();
            read_eol();
            cnf.resize(variables_size, clauses_size);
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
movq (%rdi), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
leaq 0xb0ff(%rip), %rsi      # 0x4770d
callq 0x3cb5c
movq (%r14), %rax
movq -0x18(%rax), %rcx
movq 0x8(%r14,%rcx), %rdx
movq 0x20(%r14,%rcx), %rsi
cmpq %rsi, %rdx
jae 0x3c66f
movq 0x10(%r14,%rcx), %r8
movq 0x18(%r14,%rcx), %rdi
negq %rsi
incq %rdx
cmpb $0x20, -0x1(%rdi,%rdx)
jne 0x3c66f
movq %rdx, 0x8(%r14,%rcx)
testq %r8, %r8
je 0x3c65f
movq $0x0, 0x10(%r14,%rcx)
movl $0x0, 0x40(%r14,%rcx)
xorl %r8d, %r8d
leaq (%rsi,%rdx), %r9
incq %r9
incq %rdx
cmpq $0x1, %r9
jne 0x3c639
movq -0x18(%rax), %rdi
addq %r14, %rdi
leaq 0x1179e(%rip), %rsi     # 0x4de1b
callq 0x3cb5c
movq (%r14), %rax
movq -0x18(%rax), %rcx
movq 0x8(%r14,%rcx), %rdx
movq 0x20(%r14,%rcx), %rsi
cmpq %rsi, %rdx
jae 0x3c6de
movq 0x10(%r14,%rcx), %r8
movq 0x18(%r14,%rcx), %rdi
negq %rsi
incq %rdx
cmpb $0x20, -0x1(%rdi,%rdx)
jne 0x3c6de
movq %rdx, 0x8(%r14,%rcx)
testq %r8, %r8
je 0x3c6ce
movq $0x0, 0x10(%r14,%rcx)
movl $0x0, 0x40(%r14,%rcx)
xorl %r8d, %r8d
leaq (%rsi,%rdx), %r9
incq %r9
incq %rdx
cmpq $0x1, %r9
jne 0x3c6a8
movq -0x18(%rax), %rdi
addq %r14, %rdi
xorl %esi, %esi
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
callq 0x1d7d8
movl %eax, %r15d
movq (%r14), %rax
movq -0x18(%rax), %rcx
movq 0x8(%r14,%rcx), %rdx
movq 0x20(%r14,%rcx), %rsi
cmpq %rsi, %rdx
jae 0x3c750
movq 0x10(%r14,%rcx), %r8
movq 0x18(%r14,%rcx), %rdi
negq %rsi
incq %rdx
cmpb $0x20, -0x1(%rdi,%rdx)
jne 0x3c750
movq %rdx, 0x8(%r14,%rcx)
testq %r8, %r8
je 0x3c740
movq $0x0, 0x10(%r14,%rcx)
movl $0x0, 0x40(%r14,%rcx)
xorl %r8d, %r8d
leaq (%rsi,%rdx), %r9
incq %r9
incq %rdx
cmpq $0x1, %r9
jne 0x3c71a
movq -0x18(%rax), %rdi
addq %r14, %rdi
xorl %esi, %esi
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
callq 0x1d7d8
movl %eax, %r12d
movq (%r14), %rax
movq -0x18(%rax), %rcx
movq 0x8(%r14,%rcx), %rdx
movq 0x20(%r14,%rcx), %rsi
cmpq %rsi, %rdx
jae 0x3c7c2
movq 0x10(%r14,%rcx), %r8
movq 0x18(%r14,%rcx), %rdi
negq %rsi
incq %rdx
cmpb $0x20, -0x1(%rdi,%rdx)
jne 0x3c7c2
movq %rdx, 0x8(%r14,%rcx)
testq %r8, %r8
je 0x3c7b2
movq $0x0, 0x10(%r14,%rcx)
movl $0x0, 0x40(%r14,%rcx)
xorl %r8d, %r8d
leaq (%rsi,%rdx), %r9
incq %r9
incq %rdx
cmpq $0x1, %r9
jne 0x3c78c
addq -0x18(%rax), %r14
movq %r14, %rdi
callq 0x1e298
leaq 0x78(%rbx), %rdi
shll $0x3, %r12d
movl %r15d, %esi
movl %r12d, %edx
callq 0x28f5a
cmpl $0x7ffffffe, %r15d      # imm = 0x7FFFFFFE
jae 0x3c7f7
movl %r15d, 0x8(%rbx)
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
leaq 0x4e0d(%rip), %rdi      # 0x4160b
leaq 0x4e23(%rip), %rsi      # 0x41628
leaq 0x4e34(%rip), %rcx      # 0x41640
movl $0x9b, %edx
callq 0xc180