// File: /workspace/github_cpp_makefile_star2_O2/jacky860226[P]JinkelaSat/src/include/DIMACS_CNF_Parser.hpp
// Function: DIMACS::CNF::Parser::parse(std::istream&)
Input parse(std::istream &input) {
    unsigned VariableNum, ClauseNum;
    std::vector<std::vector<int>> Clauses;
    std::string Line, Buffer;
    while (std::getline(input, Line)) {
      if (Line[0] == 'c')
        continue;
      if (Line[0] == 'p') {
        sscanf(Line.c_str(), "p cnf %u %u", &VariableNum, &ClauseNum);
        continue;
      }
      Buffer += " " + Line + " ";
    }
    std::stringstream SS(Buffer);
    std::vector<int> Clause;
    int Lit;
    while (SS >> Lit) {
      if (Lit == 0) {
        Clause.shrink_to_fit();
        Clauses.emplace_back(std::move(Clause));
        Clause.clear();
        continue;
      }
      Clause.emplace_back(Lit);
    }
    return Input(VariableNum, ClauseNum, std::move(Clauses));
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x228, %rsp            # imm = 0x228
movq %rdx, %r14
movq %rdi, 0x38(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x40(%rsp)
andq $0x0, 0x50(%rsp)
leaq 0x90(%rsp), %rax
movq %rax, -0x10(%rax)
andq $0x0, -0x8(%rax)
xorl %ecx, %ecx
movb %cl, (%rax)
leaq 0x70(%rsp), %rax
movq %rax, -0x10(%rax)
andq $0x0, -0x8(%rax)
movb %cl, (%rax)
leaq 0x80(%rsp), %r15
leaq 0x5886(%rip), %rbx      # 0x8139
leaq 0x10(%rsp), %r12
leaq 0xa0(%rsp), %r13
leaq 0x60(%rsp), %rbp
movq %r14, %rdi
movq %r15, %rsi
callq 0x2050
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x2949
movq 0x80(%rsp), %rdi
movzbl (%rdi), %eax
cmpl $0x63, %eax
je 0x28c5
cmpl $0x70, %eax
jne 0x290d
leaq 0x5833(%rip), %rsi      # 0x812d
leaq 0xc(%rsp), %rdx
leaq 0x8(%rsp), %rcx
xorl %eax, %eax
callq 0x2140
jmp 0x28c5
movq %r12, %rdi
movq %rbx, %rsi
movq %r15, %rdx
callq 0x50f8
movq %r13, %rdi
movq %r12, %rsi
movq %rbx, %rdx
callq 0x50d9
movq %rbp, %rdi
movq %r13, %rsi
callq 0x2270
movq %r13, %rdi
callq 0x20a0
movq %r12, %rdi
callq 0x20a0
jmp 0x28c5
leaq 0xa0(%rsp), %rdi
leaq 0x60(%rsp), %rsi
pushq $0x18
popq %rdx
callq 0x2210
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %rbx
andq $0x0, 0x10(%rbx)
movaps %xmm0, (%rbx)
leaq 0xa0(%rsp), %r14
leaq 0x4(%rsp), %r15
leaq 0x40(%rsp), %r12
movq %r14, %rdi
movq %r15, %rsi
callq 0x20f0
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
testb $0x5, 0x20(%rax,%rcx)
jne 0x29d3
cmpl $0x0, 0x4(%rsp)
je 0x29ad
movq %rbx, %rdi
movq %r15, %rsi
callq 0x51b8
jmp 0x2980
movq %rbx, %rdi
callq 0x520e
movq %r12, %rdi
movq %rbx, %rsi
callq 0x516e
movq 0x10(%rsp), %rax
cmpq %rax, 0x18(%rsp)
je 0x2980
movq %rax, 0x18(%rsp)
jmp 0x2980
movl 0xc(%rsp), %eax
movl 0x8(%rsp), %ecx
movq 0x38(%rsp), %r14
movl %eax, (%r14)
movl %ecx, 0x4(%r14)
leaq 0x40(%rsp), %rbx
movaps (%rbx), %xmm0
movups %xmm0, 0x8(%r14)
movq 0x10(%rbx), %rax
movq %rax, 0x18(%r14)
xorps %xmm0, %xmm0
movaps %xmm0, (%rbx)
andq $0x0, 0x10(%rbx)
leaq 0x10(%rsp), %rdi
callq 0x5314
leaq 0xa0(%rsp), %rdi
callq 0x2110
leaq 0x60(%rsp), %rdi
callq 0x20a0
leaq 0x80(%rsp), %rdi
callq 0x20a0
movq %rbx, %rdi
callq 0x51ec
movq %r14, %rax
addq $0x228, %rsp            # imm = 0x228
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2a77
movq %rax, %rbx
leaq 0xa0(%rsp), %rdi
callq 0x20a0
jmp 0x2a69
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x20a0
jmp 0x2a96
jmp 0x2a77
movq %rax, %rbx
jmp 0x2a96
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x5314
leaq 0xa0(%rsp), %rdi
callq 0x2110
leaq 0x60(%rsp), %rdi
callq 0x20a0
leaq 0x80(%rsp), %rdi
callq 0x20a0
leaq 0x40(%rsp), %rdi
callq 0x51ec
movq %rbx, %rdi
callq 0x2250
nop