// File: /workspace/github_cpp_makefile_star2_O1/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 0x10d80(%rip), %rsi     # 0x3aa4d
movl $0x12, %edx
movq %rbx, %rdi
callq 0x3310
leaq 0x10d7f(%rip), %rsi     # 0x3aa60
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x98(%r14), %rdi
addq $0x18, %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
movb $0xa, %bpl
leaq 0x2(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10d42(%rip), %rsi     # 0x3aa67
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x98(%r14), %rdi
addq $0x30, %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
leaq 0x3(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10d07(%rip), %rsi     # 0x3aa6d
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x98(%r14), %rdi
addq $0x48, %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
leaq 0x4(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10ccd(%rip), %rsi     # 0x3aa74
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x98(%r14), %rdi
addq $0x60, %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
leaq 0x5(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10c92(%rip), %rsi     # 0x3aa7a
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movq 0x98(%r14), %rdi
addq $0x78, %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
leaq 0x6(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10c58(%rip), %rsi     # 0x3aa81
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0x90, %edi
addq 0x98(%r14), %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
leaq 0x7(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10c1d(%rip), %rsi     # 0x3aa88
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xa8, %edi
addq 0x98(%r14), %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
leaq 0x8(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10be2(%rip), %rsi     # 0x3aa8f
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xc0, %edi
addq 0x98(%r14), %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
leaq 0x9(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10ba7(%rip), %rsi     # 0x3aa96
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xd8, %edi
addq 0x98(%r14), %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
leaq 0xa(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10b6b(%rip), %rsi     # 0x3aa9c
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0xf0, %edi
addq 0x98(%r14), %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
leaq 0xb(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10b30(%rip), %rsi     # 0x3aaa3
movl $0x7, %edx
movq %rbx, %rdi
callq 0x3310
movl $0x108, %edi            # imm = 0x108
addq 0x98(%r14), %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
leaq 0xc(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10af6(%rip), %rsi     # 0x3aaab
movl $0x6, %edx
movq %rbx, %rdi
callq 0x3310
movl $0x120, %edi            # imm = 0x120
addq 0x98(%r14), %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
leaq 0xd(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10abb(%rip), %rsi     # 0x3aab2
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movl $0x138, %edi            # imm = 0x138
addq 0x98(%r14), %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
leaq 0xe(%rsp), %rsi
movb %bpl, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x10a7f(%rip), %rsi     # 0x3aab8
movl $0x5, %edx
movq %rbx, %rdi
callq 0x3310
movl $0x150, %edi            # imm = 0x150
addq 0x98(%r14), %rdi
callq 0x294ba
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