// File: /workspace/github_cpp_makefile_star2_O3/Laakeri[P]maxpre/src/log.cpp
// Function: maxPreprocessor::Log::printTime(std::ostream&)
void Log::printTime(ostream& out) {
	out<<"c Preprocess time\n";
	out<<"c BCE "<<getTime(Technique::BCE)<<'\n';
	out<<"c UP "<<getTime(Technique::UP)<<'\n';
	out<<"c BVE "<<getTime(Technique::BVE)<<'\n';
	out<<"c SE "<<getTime(Technique::SE)<<'\n';
	out<<"c SSR "<<getTime(Technique::SSR)<<'\n';
	out<<"c SLE "<<getTime(Technique::SLE)<<'\n';
	out<<"c BCR "<<getTime(Technique::BCR)<<'\n';
	out<<"c SIE "<<getTime(Technique::SIE)<<'\n';
	out<<"c EE "<<getTime(Technique::EE)<<'\n';
	out<<"c BVA "<<getTime(Technique::BVA)<<'\n';
	out<<"c GSLE "<<getTime(Technique::GSLE)<<'\n';
	out<<"c FLP "<<getTime(Technique::FLP)<<'\n';
	out<<"c UH "<<getTime(Technique::UH)<<'\n';
	out<<"c LS "<<getTime(Technique::LS)<<'\n';
	out.flush();
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rsi, %rbx
movq %rdi, %r14
leaq 0x10bc0(%rip), %rsi     # 0x39b45
movl $0x12, %edx
movq %rbx, %rdi
callq 0x3310
leaq 0x10bbf(%rip), %rsi     # 0x39b58
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x98(%r14), %rdi
addq $0x18, %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
movb $0xa, %bpl
leaq 0x2(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10b82(%rip), %rsi     # 0x39b5f
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x98(%r14), %rdi
addq $0x30, %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
leaq 0x3(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10b47(%rip), %rsi     # 0x39b65
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x98(%r14), %rdi
addq $0x48, %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
leaq 0x4(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10b0d(%rip), %rsi     # 0x39b6c
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x98(%r14), %rdi
addq $0x60, %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
leaq 0x5(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10ad2(%rip), %rsi     # 0x39b72
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x98(%r14), %rdi
addq $0x78, %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
leaq 0x6(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10a98(%rip), %rsi     # 0x39b79
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0x90, %edi
addq 0x98(%r14), %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
leaq 0x7(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10a5d(%rip), %rsi     # 0x39b80
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xa8, %edi
addq 0x98(%r14), %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
leaq 0x8(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10a22(%rip), %rsi     # 0x39b87
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xc0, %edi
addq 0x98(%r14), %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
leaq 0x9(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x109e7(%rip), %rsi     # 0x39b8e
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xd8, %edi
addq 0x98(%r14), %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
leaq 0xa(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x109ab(%rip), %rsi     # 0x39b94
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xf0, %edi
addq 0x98(%r14), %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
leaq 0xb(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10970(%rip), %rsi     # 0x39b9b
movl $0x7, %edx
movq %rbx, %rdi
callq 0x3310
movl $0x108, %edi            # imm = 0x108
addq 0x98(%r14), %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
leaq 0xc(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10936(%rip), %rsi     # 0x39ba3
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0x120, %edi            # imm = 0x120
addq 0x98(%r14), %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
leaq 0xd(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x108fb(%rip), %rsi     # 0x39baa
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movl $0x138, %edi            # imm = 0x138
addq 0x98(%r14), %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
leaq 0xe(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x108bf(%rip), %rsi     # 0x39bb0
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movl $0x150, %edi            # imm = 0x150
addq 0x98(%r14), %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
leaq 0xf(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
movq %rbx, %rdi
callq 0x31e0
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
nop