// File: Laakeri[P]maxpre/src/log.cpp
// Function: maxPreprocessor::Log::print(std::ostream&)
void Log::print(ostream& out) {
	out<<"c removed clauses, variables, literals, labels\n";
	out<<"c BCE\n";
	tLog[BCE].print(out);
	out<<"c UP\n";
	tLog[UP].print(out);
	out<<"c BVE\n";
	tLog[BVE].print(out);
	out<<"c SE\n";
	tLog[SE].print(out);
	out<<"c SSR\n";
	tLog[SSR].print(out);
	out<<"c SLE\n";
	tLog[SLE].print(out);
	out<<"c BCR\n";
	tLog[BCR].print(out);
	out<<"c SIE\n";
	tLog[SIE].print(out);
	out<<"c EE\n";
	tLog[EE].print(out);
	out<<"c BVA\n";
	tLog[BVA].print(out);
	out<<"c GSLE\n";
	tLog[GSLE].print(out);
	out<<"c FLP\n";
	tLog[FLP].print(out);
	out<<"c UH\n";
	tLog[UH].print(out);
	out<<"c LS\n";
	tLog[LS].print(out);
	out.flush();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x10(%rbp), %rdi
leaq 0x263bc(%rip), %rsi     # 0x879ef
callq 0x4380
movq -0x10(%rbp), %rdi
leaq 0x263dc(%rip), %rsi     # 0x87a1f
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0x1, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
leaq 0x263b2(%rip), %rsi     # 0x87a26
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0x2, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
leaq 0x26387(%rip), %rsi     # 0x87a2c
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0x3, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
leaq 0x2635d(%rip), %rsi     # 0x87a33
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0x4, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
leaq 0x26332(%rip), %rsi     # 0x87a39
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0x5, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
leaq 0x26308(%rip), %rsi     # 0x87a40
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0x6, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
leaq 0x262de(%rip), %rsi     # 0x87a47
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0x7, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
leaq 0x262b4(%rip), %rsi     # 0x87a4e
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0x8, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
leaq 0x2628a(%rip), %rsi     # 0x87a55
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0x9, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
leaq 0x2625f(%rip), %rsi     # 0x87a5b
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0xa, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
leaq 0x26235(%rip), %rsi     # 0x87a62
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0xb, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
leaq 0x2620c(%rip), %rsi     # 0x87a6a
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0xc, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
leaq 0x261e2(%rip), %rsi     # 0x87a71
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0xd, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
leaq 0x261b7(%rip), %rsi     # 0x87a77
callq 0x4380
movq -0x18(%rbp), %rdi
addq $0x80, %rdi
movl $0xe, %esi
callq 0x62c90
movq %rax, %rdi
movq -0x10(%rbp), %rsi
callq 0x61110
movq -0x10(%rbp), %rdi
callq 0x4270
addq $0x20, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)