// File: vsklad[P]cgen/./bal/cnf/io/cnfdimacs.hpp
// Function: bal::DimacsStreamReader::read_parameters(bal::Cnf&)
void read_parameters(Cnf& cnf) {
            const std::string key = read_literal();
            skip_space();
            read_symbol('=');
            skip_space();
            read_symbol('{');
            skip_space();
            
            read_parameter(cnf, key);
            skip_space();
            while (is_symbol(',')) {
                read_symbol(',');
                skip_space();
                read_parameter(cnf, key);
                skip_space();
            };

            read_symbol('}');
            skip_space();
            read_eol();
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xa0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rsi
movq %rsi, -0x88(%rbp)
movq (%rsi), %rax
movq -0x18(%rax), %rax
addq %rax, %rsi
leaq -0x30(%rbp), %rdi
callq 0x26190
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x535f0
jmp 0x54489
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
movl $0x3d, %esi
callq 0x26430
jmp 0x544a6
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x535f0
jmp 0x544be
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
movl $0x7b, %esi
callq 0x26430
jmp 0x544db
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x535f0
jmp 0x544f3
movq -0x10(%rbp), %rax
movq %rax, -0x90(%rbp)
leaq -0x60(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0xd130
jmp 0x5450d
movq -0x90(%rbp), %rsi
movq -0x88(%rbp), %rdi
leaq -0x60(%rbp), %rdx
callq 0x549d0
jmp 0x54526
leaq -0x60(%rbp), %rdi
callq 0xd1b0
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x535f0
jmp 0x54547
jmp 0x54549
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
movl $0x2c, %esi
callq 0x263d0
movb %al, -0x91(%rbp)
jmp 0x5456c
movb -0x91(%rbp), %al
testb $0x1, %al
jne 0x5457b
jmp 0x54648
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
movl $0x2c, %esi
callq 0x26430
jmp 0x54598
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x535f0
jmp 0x545b0
movq -0x10(%rbp), %rax
movq %rax, -0xa0(%rbp)
leaq -0x80(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0xd130
jmp 0x545ca
movq -0xa0(%rbp), %rsi
movq -0x88(%rbp), %rdi
leaq -0x80(%rbp), %rdx
callq 0x549d0
jmp 0x545e3
leaq -0x80(%rbp), %rdi
callq 0xd1b0
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x535f0
jmp 0x54604
jmp 0x54549
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
jmp 0x546a7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x60(%rbp), %rdi
callq 0xd1b0
jmp 0x546a7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x38(%rbp)
movl %eax, -0x3c(%rbp)
leaq -0x80(%rbp), %rdi
callq 0xd1b0
jmp 0x546a7
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
movl $0x7d, %esi
callq 0x26430
jmp 0x54665
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x535f0
jmp 0x5467d
movq -0x88(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x26710
jmp 0x54695
leaq -0x30(%rbp), %rdi
callq 0xd1b0
addq $0xa0, %rsp
popq %rbp
retq
leaq -0x30(%rbp), %rdi
callq 0xd1b0
movq -0x38(%rbp), %rdi
callq 0xd5a0
nopl (%rax)