// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/inputreader.cpp
// Function: maxPreprocessor::InputReader::readLine(std::istream&)
int InputReader::readLine(istream& input) {
	input>>ws;
	while (input.peek() == 'c') {
		currentLine++;
		input.ignore(numeric_limits<streamsize>::max(), '\n');
		input>>ws;
	}
	if (input.eof()) return 1;
	int status;
	if (input.peek() == 'C') {
		status = readCardinalityConstraint(input);
		if (status == 1) readError = "Failed to read a cardinality constraint (line "+to_string(currentLine)+")";
	}
	else if (inputFormat == INPUT_FORMAT_WPMS) {
		status = readWeightedClause(input);
		if (status == 1) readError = "Failed to read a clause (line "+to_string(currentLine)+")";
	}
	else if (inputFormat == INPUT_FORMAT_MS) {
		status = readClause(input, 1);
		if (status == 1) readError = "Failed to read a clause (line "+to_string(currentLine)+")";
	}
	else if (inputFormat == INPUT_FORMAT_SAT) {
		status = readClause(input, top);
		if (status == 1) readError = "Failed to read a clause (line "+to_string(currentLine)+")";
	}
	else {
		status = 1;
		readError = "Wrong input format (line "+to_string(currentLine)+")";
	}
	assert(status == 0 || status == 1);
	if (status == 0) return 0;
	else return 2;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x68, %rsp
movq %rsi, %r14
movq %rdi, %rbx
movq %rsi, %rdi
callq 0x3260
movabsq $0x7fffffffffffffff, %r15 # imm = 0x7FFFFFFFFFFFFFFF
pushq $0xa
popq %rbp
movq %r14, %rdi
callq 0x30e0
cmpl $0x63, %eax
jne 0x1f12c
incl 0x8(%rbx)
movq %r14, %rdi
movq %r15, %rsi
movl %ebp, %edx
callq 0x31b0
movq %r14, %rdi
callq 0x3260
jmp 0x1f105
movq (%r14), %rax
movq -0x18(%rax), %rax
testb $0x2, 0x20(%r14,%rax)
jne 0x1f19b
movq %r14, %rdi
callq 0x30e0
cmpl $0x43, %eax
jne 0x1f1a2
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1e96c
cmpl $0x1, %eax
jne 0x1f2b2
movl 0x8(%rbx), %esi
leaq 0x28(%rsp), %r14
movq %r14, %rdi
callq 0x1f9bd
leaq 0x11157(%rip), %rsi     # 0x302ca
leaq 0x8(%rsp), %rdi
movq %r14, %rdx
callq 0x1f999
leaq 0x113ff(%rip), %rdx     # 0x30586
leaq 0x48(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x6944
jmp 0x1f2f0
pushq $0x1
jmp 0x1f322
movl 0x38(%rbx), %eax
cmpl $0x3, %eax
je 0x1f263
cmpl $0x2, %eax
je 0x1f20e
cmpl $0x1, %eax
jne 0x1f2b6
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1e7c0
testl %eax, %eax
je 0x1f2b2
movl 0x8(%rbx), %esi
leaq 0x28(%rsp), %r14
movq %r14, %rdi
callq 0x1f9bd
leaq 0x11113(%rip), %rsi     # 0x302f9
leaq 0x8(%rsp), %rdi
movq %r14, %rdx
callq 0x1f999
leaq 0x1138c(%rip), %rdx     # 0x30586
leaq 0x48(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x6944
jmp 0x1f2f0
pushq $0x1
popq %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1e8ac
testl %eax, %eax
je 0x1f2b2
movl 0x8(%rbx), %esi
leaq 0x28(%rsp), %r14
movq %r14, %rdi
callq 0x1f9bd
leaq 0x110be(%rip), %rsi     # 0x302f9
leaq 0x8(%rsp), %rdi
movq %r14, %rdx
callq 0x1f999
leaq 0x11337(%rip), %rdx     # 0x30586
leaq 0x48(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x6944
jmp 0x1f2f0
movq 0x30(%rbx), %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1e8ac
testl %eax, %eax
je 0x1f2b2
movl 0x8(%rbx), %esi
leaq 0x28(%rsp), %r14
movq %r14, %rdi
callq 0x1f9bd
leaq 0x1106c(%rip), %rsi     # 0x302f9
leaq 0x8(%rsp), %rdi
movq %r14, %rdx
callq 0x1f999
leaq 0x112e5(%rip), %rdx     # 0x30586
leaq 0x48(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x6944
jmp 0x1f2f0
xorl %eax, %eax
jmp 0x1f323
movl 0x8(%rbx), %esi
leaq 0x28(%rsp), %r14
movq %r14, %rdi
callq 0x1f9bd
leaq 0x1104b(%rip), %rsi     # 0x30318
leaq 0x8(%rsp), %rdi
movq %r14, %rdx
callq 0x1f999
leaq 0x112a5(%rip), %rdx     # 0x30586
leaq 0x48(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x6944
addq $0x10, %rbx
leaq 0x48(%rsp), %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x3350
movq %r14, %rdi
callq 0x3130
leaq 0x8(%rsp), %rdi
callq 0x3130
leaq 0x28(%rsp), %rdi
callq 0x3130
pushq $0x2
popq %rax
addq $0x68, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
jmp 0x1f33e
jmp 0x1f33e
jmp 0x1f33e
jmp 0x1f34d
jmp 0x1f34d
jmp 0x1f34d
jmp 0x1f33e
jmp 0x1f34d
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x3130
jmp 0x1f350
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x3130
movq %rbx, %rdi
callq 0x3490