// File: Laakeri[P]maxpre/src/preprocessorinterface.cpp
// Function: maxPreprocessor::PreprocessorInterface::printMap(std::ostream&)
void PreprocessorInterface::printMap(ostream& output) {
		output<<solverVarToPPVar.size()<<" "<<variables<<" "<<originalVariables<<'\n';
		for (int t : solverVarToPPVar) {
			output<<t<<" ";
		}
		output<<'\n';
		output<<preprocessor.trace.operations.size()<<'\n';
		for (unsigned i = 0; i < preprocessor.trace.operations.size(); i++) {
			output<<preprocessor.trace.operations[i]<<" ";
			output<<preprocessor.trace.data[i].size()<<" ";
			for (int a : preprocessor.trace.data[i]) {
				output<<a<<" ";
			}
			output<<'\n';
		}
		output.flush();
	}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x80, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0x58(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x60(%rbp)
addq $0x1868, %rdi           # imm = 0x1868
callq 0xf940
movq -0x60(%rbp), %rdi
movq %rax, %rsi
callq 0x40c0
movq %rax, %rdi
leaq 0xdb1f(%rip), %rsi      # 0x87154
callq 0x4380
movq %rax, %rdi
movq -0x58(%rbp), %rax
movl (%rax), %esi
callq 0x4600
movq %rax, %rdi
leaq 0xdb02(%rip), %rsi      # 0x87154
callq 0x4380
movq %rax, %rdi
movq -0x58(%rbp), %rax
movl 0x4(%rax), %esi
callq 0x4600
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movq -0x58(%rbp), %rax
addq $0x1868, %rax           # imm = 0x1868
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rdi
callq 0xa800
movq %rax, -0x20(%rbp)
movq -0x18(%rbp), %rdi
callq 0xa830
movq %rax, -0x28(%rbp)
leaq -0x20(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0xa860
testb $0x1, %al
jne 0x796ae
jmp 0x796e2
leaq -0x20(%rbp), %rdi
callq 0xa8a0
movl (%rax), %eax
movl %eax, -0x2c(%rbp)
movq -0x10(%rbp), %rdi
movl -0x2c(%rbp), %esi
callq 0x4600
movq %rax, %rdi
leaq 0xda82(%rip), %rsi      # 0x87154
callq 0x4380
leaq -0x20(%rbp), %rdi
callq 0xa930
jmp 0x7969b
movq -0x10(%rbp), %rdi
movl $0xa, %esi
callq 0x4460
movq -0x58(%rbp), %rdi
movq -0x10(%rbp), %rax
movq %rax, -0x68(%rbp)
addq $0x8, %rdi
addq $0x2f0, %rdi            # imm = 0x2F0
addq $0x8, %rdi
callq 0xf940
movq -0x68(%rbp), %rdi
movq %rax, %rsi
callq 0x40c0
movq %rax, %rdi
movl $0xa, %esi
callq 0x4460
movl $0x0, -0x30(%rbp)
movq -0x58(%rbp), %rdi
movl -0x30(%rbp), %eax
movq %rax, -0x70(%rbp)
addq $0x8, %rdi
addq $0x2f0, %rdi            # imm = 0x2F0
addq $0x8, %rdi
callq 0xf940
movq %rax, %rcx
movq -0x70(%rbp), %rax
cmpq %rcx, %rax
jae 0x79884
movq -0x58(%rbp), %rdi
movq -0x10(%rbp), %rax
movq %rax, -0x80(%rbp)
addq $0x8, %rdi
addq $0x2f0, %rdi            # imm = 0x2F0
addq $0x8, %rdi
movl -0x30(%rbp), %eax
movl %eax, %esi
callq 0xa7c0
movq -0x80(%rbp), %rdi
movl (%rax), %esi
callq 0x4600
movq %rax, %rdi
leaq 0xd9bb(%rip), %rsi      # 0x87154
callq 0x4380
movq -0x58(%rbp), %rdi
movq -0x10(%rbp), %rax
movq %rax, -0x78(%rbp)
addq $0x8, %rdi
addq $0x2f0, %rdi            # imm = 0x2F0
addq $0x20, %rdi
movl -0x30(%rbp), %eax
movl %eax, %esi
callq 0xaab0
movq %rax, %rdi
callq 0xf940
movq -0x78(%rbp), %rdi
movq %rax, %rsi
callq 0x40c0
movq %rax, %rdi
leaq 0xd973(%rip), %rsi      # 0x87154
callq 0x4380
movq -0x58(%rbp), %rdi
addq $0x8, %rdi
addq $0x2f0, %rdi            # imm = 0x2F0
addq $0x20, %rdi
movl -0x30(%rbp), %eax
movl %eax, %esi
callq 0xaab0
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rdi
callq 0xa800
movq %rax, -0x40(%rbp)
movq -0x38(%rbp), %rdi
callq 0xa830
movq %rax, -0x48(%rbp)
leaq -0x40(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0xa860
testb $0x1, %al
jne 0x79834
jmp 0x79868
leaq -0x40(%rbp), %rdi
callq 0xa8a0
movl (%rax), %eax
movl %eax, -0x4c(%rbp)
movq -0x10(%rbp), %rdi
movl -0x4c(%rbp), %esi
callq 0x4600
movq %rax, %rdi
leaq 0xd8fc(%rip), %rsi      # 0x87154
callq 0x4380
leaq -0x40(%rbp), %rdi
callq 0xa930
jmp 0x79821
movq -0x10(%rbp), %rdi
movl $0xa, %esi
callq 0x4460
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
jmp 0x79730
movq -0x10(%rbp), %rdi
callq 0x4270
addq $0x80, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)