// File: /workspace/github_cpp_makefile_star2_O2/vsklad[P]cgen/./bal/anf/anfpolybori.hpp
// Function: bal::PolyBoRiStreamReader::read(bal::Anf&)
void read(Anf& value) override {
            value.initialize();
            
            std::vector<literalid_t> literals;
            
            while (!is_eof()) {
                if (is_symbol('c')) {
                    skip_symbol();
                    skip_space();
                    if (is_token("var")) {
                        skip_token();
                        skip_space();
                        if (is_symbol('.')) {
                            skip_symbol();
                            read_parameters(value);
                        } else if (is_token(ttLiteral)) {
                            read_named_variable(value);
                        } else {
                            skip_line();
                        };
                    } else {
                        skip_line();
                    };
                } else {
                    value.append_equation();
                    while (!is_eol()) {
                        // read term by term
                        literals.clear();
                        while (!is_eol()) {
                            skip_space();
                            if (is_symbol('1')) {
                                read_symbol();
                                literals.push_back(1);
                            } else if (is_symbol('0')) {
                                read_symbol();
                                literals.push_back(0);
                            } else {
                                read_symbol('x');
                                literals.push_back(variable_t__literal_id(variable_t__from_uint(read_uint32())));
                            };
                            skip_space();
                            if (is_symbol('*')) {
                                skip_symbol();
                            } else {
                                break;
                            };
                        };
                        _assert_level_1(literals.size() > 0);
                        value.append_equation_term(literals.data(), literals.size());
                        if (is_symbol('+')) {
                            skip_symbol();
                        } else {
                            break;
                        };
                    };
                    value.complete_equation(0, false);
                    read_eol();
                };
            };
            read_eof();
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %r14
movq (%rsi), %rax
movq %rsi, -0x38(%rbp)
movq %rsi, %rdi
callq *0x48(%rax)
xorps %xmm0, %xmm0
leaq -0x50(%rbp), %r15
movaps %xmm0, (%r15)
andq $0x0, 0x10(%r15)
pushq $0x31
popq %r12
leaq -0x2c(%rbp), %r13
pushq $0x2a
popq %rbx
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
callq 0x18f7e
movq (%r14), %rcx
movq -0x18(%rcx), %rdi
addq %r14, %rdi
testb %al, %al
jne 0x2d06c
pushq $0x63
popq %rsi
callq 0x18a92
testb %al, %al
je 0x2cea8
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
callq 0x197ba
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
callq 0x2d286
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
leaq 0xb4b6(%rip), %rsi      # 0x382f0
callq 0x18cd6
movq (%r14), %rcx
movq -0x18(%rcx), %rdi
addq %r14, %rdi
testb %al, %al
je 0x2d062
movq 0x10(%rdi), %rax
addq %rax, 0x8(%rdi)
andq $0x0, 0x10(%rdi)
andl $0x0, 0x40(%rdi)
movq -0x18(%rcx), %rdi
addq %r14, %rdi
callq 0x2d286
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
pushq $0x2e
popq %rsi
callq 0x18a92
movq (%r14), %rcx
movq -0x18(%rcx), %rdi
addq %r14, %rdi
testb %al, %al
je 0x2d03b
callq 0x197ba
movq %r14, %rdi
movq -0x38(%rbp), %rsi
callq 0x2d2c8
jmp 0x2cdda
movq -0x38(%rbp), %rdi
callq 0xcaa4
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
callq 0x18bfe
testb %al, %al
jne 0x2d01a
movq -0x50(%rbp), %rax
cmpq %rax, -0x48(%rbp)
je 0x2ced6
movq %rax, -0x48(%rbp)
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
callq 0x18bfe
testb %al, %al
jne 0x2cfd2
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
callq 0x2d286
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl %r12d, %esi
callq 0x18a92
movq (%r14), %rcx
movq -0x18(%rcx), %rdi
addq %r14, %rdi
testb %al, %al
je 0x2cf35
callq 0x198ba
movl $0x1, -0x2c(%rbp)
movq %r15, %rdi
movq %r13, %rsi
callq 0xe0d2
jmp 0x2cf9a
pushq $0x30
popq %rsi
callq 0x18a92
movq (%r14), %rcx
movq -0x18(%rcx), %rdi
addq %r14, %rdi
testb %al, %al
je 0x2cf61
callq 0x198ba
andl $0x0, -0x2c(%rbp)
movq %r15, %rdi
movq %r13, %rsi
callq 0xe0d2
jmp 0x2cf9a
pushq $0x78
popq %rsi
callq 0x18ac2
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
xorl %esi, %esi
pushq $-0x1
popq %rdx
callq 0x1866c
leal 0x1(,%rax,2), %ecx
testl %eax, %eax
pushq $0x1
popq %rax
cmovlel %eax, %ecx
movl %ecx, -0x2c(%rbp)
movq %r15, %rdi
movq %r13, %rsi
callq 0xe0d2
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
callq 0x2d286
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl %ebx, %esi
callq 0x18a92
testb %al, %al
je 0x2cfd2
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
callq 0x197ba
jmp 0x2ced6
movq -0x50(%rbp), %rsi
movq -0x48(%rbp), %rdx
subq %rsi, %rdx
je 0x2d089
sarq $0x2, %rdx
movq -0x38(%rbp), %rdi
callq 0xcb3e
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
pushq $0x2b
popq %rsi
callq 0x18a92
testb %al, %al
je 0x2d01a
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
callq 0x197ba
jmp 0x2ceb1
movq -0x38(%rbp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0xced2
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
callq 0x18c3c
jmp 0x2cdda
pushq $0x5
popq %rsi
callq 0x18644
testb %al, %al
je 0x2d058
movq %r14, %rdi
movq -0x38(%rbp), %rsi
callq 0x2d448
jmp 0x2cdda
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
callq 0x18f62
jmp 0x2cdda
callq 0x2d51c
leaq -0x50(%rbp), %rdi
callq 0x12486
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0xfab1(%rip), %rdi      # 0x3cb41
leaq 0xfabe(%rip), %rsi      # 0x3cb55
leaq 0xfad1(%rip), %rcx      # 0x3cb6f
pushq $0x77
popq %rdx
callq 0xc180
jmp 0x2d0b2
jmp 0x2d0b2
jmp 0x2d0b2
jmp 0x2d0b2
jmp 0x2d0b2
jmp 0x2d0b2
movq %rax, %rbx
leaq -0x50(%rbp), %rdi
callq 0x12486
movq %rbx, %rdi
callq 0xc4c0