// File: 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
subq $0x80, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x48(%rbp)
movq -0x10(%rbp), %rdi
movq (%rdi), %rax
callq *0x48(%rax)
leaq -0x28(%rbp), %rdi
callq 0x17e70
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x26e90
movb %al, -0x49(%rbp)
jmp 0x52d46
movb -0x49(%rbp), %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x52d54
jmp 0x53181
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
movl $0x63, %esi
callq 0x263d0
movb %al, -0x4a(%rbp)
jmp 0x52d71
movb -0x4a(%rbp), %al
testb $0x1, %al
jne 0x52d7d
jmp 0x52ed0
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x283f0
jmp 0x52d92
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x535f0
jmp 0x52da7
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
leaq 0xf5e0(%rip), %rsi      # 0x6239c
callq 0x26810
movb %al, -0x4b(%rbp)
jmp 0x52dc6
movb -0x4b(%rbp), %al
testb $0x1, %al
jne 0x52dd2
jmp 0x52eb4
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x26900
jmp 0x52de7
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x535f0
jmp 0x52dfc
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
movl $0x2e, %esi
callq 0x263d0
movb %al, -0x4c(%rbp)
jmp 0x52e19
movb -0x4c(%rbp), %al
testb $0x1, %al
jne 0x52e22
jmp 0x52e62
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x283f0
jmp 0x52e37
movq -0x48(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x53670
jmp 0x52e46
jmp 0x52eb2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
leaq -0x28(%rbp), %rdi
callq 0x18050
jmp 0x531a8
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
movl $0x5, %esi
callq 0x25bb0
movb %al, -0x4d(%rbp)
jmp 0x52e7f
movb -0x4d(%rbp), %al
testb $0x1, %al
jne 0x52e88
jmp 0x52e99
movq -0x48(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x538f0
jmp 0x52e97
jmp 0x52eb0
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x26e60
jmp 0x52eae
jmp 0x52eb0
jmp 0x52eb2
jmp 0x52ecb
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x26e60
jmp 0x52ec9
jmp 0x52ecb
jmp 0x5317c
movq -0x10(%rbp), %rdi
callq 0xde70
jmp 0x52edb
jmp 0x52edd
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x26670
movb %al, -0x4e(%rbp)
jmp 0x52ef5
movb -0x4e(%rbp), %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x52f03
jmp 0x53156
leaq -0x28(%rbp), %rdi
callq 0xf9d0
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x26670
movb %al, -0x4f(%rbp)
jmp 0x52f24
movb -0x4f(%rbp), %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x52f32
jmp 0x530ae
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x535f0
jmp 0x52f47
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
movl $0x31, %esi
callq 0x263d0
movb %al, -0x50(%rbp)
jmp 0x52f64
movb -0x50(%rbp), %al
testb $0x1, %al
jne 0x52f6d
jmp 0x52f9d
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x28640
jmp 0x52f82
movl $0x1, -0x38(%rbp)
leaq -0x28(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0xfa10
jmp 0x52f98
jmp 0x53055
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
movl $0x30, %esi
callq 0x263d0
movb %al, -0x51(%rbp)
jmp 0x52fba
movb -0x51(%rbp), %al
testb $0x1, %al
jne 0x52fc3
jmp 0x52ff0
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x28640
jmp 0x52fd8
movl $0x0, -0x3c(%rbp)
leaq -0x28(%rbp), %rdi
leaq -0x3c(%rbp), %rsi
callq 0xfa10
jmp 0x52fee
jmp 0x53053
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
movl $0x78, %esi
callq 0x26430
jmp 0x5300a
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
xorl %esi, %esi
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
callq 0x25c30
movl %eax, -0x58(%rbp)
jmp 0x53029
movl -0x58(%rbp), %edi
callq 0x25c00
movl %eax, -0x5c(%rbp)
jmp 0x53036
movl -0x5c(%rbp), %ecx
movl %ecx, %eax
leal 0x3(%rax,%rax), %eax
movl %eax, -0x40(%rbp)
leaq -0x28(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0xfa10
jmp 0x53051
jmp 0x53053
jmp 0x53055
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x535f0
jmp 0x5306a
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
movl $0x2a, %esi
callq 0x263d0
movb %al, -0x5d(%rbp)
jmp 0x53087
movb -0x5d(%rbp), %al
testb $0x1, %al
jne 0x53090
jmp 0x530a7
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x283f0
jmp 0x530a5
jmp 0x530a9
jmp 0x530ae
jmp 0x52f0c
leaq -0x28(%rbp), %rdi
callq 0xf9f0
cmpq $0x0, %rax
jbe 0x530bf
jmp 0x530de
leaq 0x13f6e(%rip), %rdi     # 0x67034
leaq 0x13f7b(%rip), %rsi     # 0x67048
movl $0x77, %edx
leaq 0x13f89(%rip), %rcx     # 0x67062
callq 0xd1c0
movq -0x10(%rbp), %rax
movq %rax, -0x70(%rbp)
leaq -0x28(%rbp), %rdi
movq %rdi, -0x78(%rbp)
callq 0x4f7a0
movq -0x78(%rbp), %rdi
movq %rax, -0x68(%rbp)
callq 0xf9f0
movq -0x70(%rbp), %rdi
movq -0x68(%rbp), %rsi
movq %rax, %rdx
callq 0xdf30
jmp 0x53112
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
movl $0x2b, %esi
callq 0x263d0
movb %al, -0x79(%rbp)
jmp 0x5312f
movb -0x79(%rbp), %al
testb $0x1, %al
jne 0x53138
jmp 0x5314f
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x283f0
jmp 0x5314d
jmp 0x53151
jmp 0x53156
jmp 0x52edd
movq -0x10(%rbp), %rdi
xorl %edx, %edx
movl %edx, %esi
callq 0xe670
jmp 0x53165
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x26710
jmp 0x5317a
jmp 0x5317c
jmp 0x52d2e
movq -0x48(%rbp), %rdi
movq (%rdi), %rax
movq -0x18(%rax), %rax
addq %rax, %rdi
callq 0x53a20
jmp 0x53196
leaq -0x28(%rbp), %rdi
callq 0x18050
addq $0x80, %rsp
popq %rbp
retq
movq -0x30(%rbp), %rdi
callq 0xd5a0
nopw %cs:(%rax,%rax)
nopl (%rax,%rax)