// File: /workspace/github_cpp_makefile_star2_O2/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 %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
leaq 0xe937(%rip), %rsi      # 0x30ac5
movq %rbx, %rdi
callq 0x32a0
leaq 0xe93b(%rip), %rsi      # 0x30ad8
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movq 0x98(%r14), %rdi
addq $0x18, %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
pushq $0xa
popq %rbp
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
leaq 0xe90b(%rip), %rsi      # 0x30adf
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movq 0x98(%r14), %rdi
addq $0x30, %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
leaq 0xe8dd(%rip), %rsi      # 0x30ae5
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movq 0x98(%r14), %rdi
addq $0x48, %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
leaq 0xe8b0(%rip), %rsi      # 0x30aec
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movq 0x98(%r14), %rdi
addq $0x60, %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
leaq 0xe882(%rip), %rsi      # 0x30af2
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movq 0x98(%r14), %rdi
addq $0x78, %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
leaq 0xe855(%rip), %rsi      # 0x30af9
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movl $0x90, %edi
addq 0x98(%r14), %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
leaq 0xe827(%rip), %rsi      # 0x30b00
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movl $0xa8, %edi
addq 0x98(%r14), %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
leaq 0xe7f9(%rip), %rsi      # 0x30b07
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movl $0xc0, %edi
addq 0x98(%r14), %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
leaq 0xe7cb(%rip), %rsi      # 0x30b0e
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movl $0xd8, %edi
addq 0x98(%r14), %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
leaq 0xe79c(%rip), %rsi      # 0x30b14
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movl $0xf0, %edi
addq 0x98(%r14), %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
leaq 0xe76e(%rip), %rsi      # 0x30b1b
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movl $0x108, %edi            # imm = 0x108
addq 0x98(%r14), %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
leaq 0xe741(%rip), %rsi      # 0x30b23
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movl $0x120, %edi            # imm = 0x120
addq 0x98(%r14), %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
leaq 0xe713(%rip), %rsi      # 0x30b2a
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movl $0x138, %edi            # imm = 0x138
addq 0x98(%r14), %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
leaq 0xe6e4(%rip), %rsi      # 0x30b30
movq %rbx, %rdi
callq 0x32a0
movq %rax, %r15
movl $0x150, %edi            # imm = 0x150
addq 0x98(%r14), %rdi
callq 0x21b26
movq %r15, %rdi
callq 0x3430
movq %rax, %rdi
movl %ebp, %esi
callq 0x3320
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x31f0