// File: Laakeri[P]maxpre/src/main.cpp
// Function: parseTimeLimit(std::map<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::less<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, std::allocator<std::pair<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>>>&)
double parseTimeLimit(map<string, string>& flags) {
	double timeLimit = 1e9;
	if (flags.count("timelimit")) {
		stringstream ss;
		ss<<flags["timelimit"];
		ss>>timeLimit;
		cout<<"c Preprocess time limit "<<timeLimit<<endl;
		cerr<<"Preprocess time limit "<<timeLimit<<endl;
	}
	else {
		cout<<"c No -timelimit= given, defaulting to inf"<<endl;
		cerr<<"No -timelimit= given, defaulting to inf"<<endl;
	}
	return timeLimit;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x250, %rsp            # imm = 0x250
movq %rdi, -0x8(%rbp)
movabsq $0x41cdcd6500000000, %rax # imm = 0x41CDCD6500000000
movq %rax, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x208(%rbp)
leaq -0x31(%rbp), %rdi
movq %rdi, -0x200(%rbp)
callq 0x4620
movq -0x200(%rbp), %rdx
leaq 0x7fdd2(%rip), %rsi     # 0x85058
leaq -0x30(%rbp), %rdi
callq 0xa430
jmp 0x5291
movq -0x208(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0xa5e0
movq %rax, -0x210(%rbp)
jmp 0x52aa
leaq -0x30(%rbp), %rdi
callq 0x4240
leaq -0x31(%rbp), %rdi
callq 0x43f0
movq -0x210(%rbp), %rax
cmpq $0x0, %rax
je 0x54a2
leaq -0x1d0(%rbp), %rdi
callq 0x42b0
leaq -0x1c0(%rbp), %rax
movq %rax, -0x228(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x220(%rbp)
leaq -0x1f1(%rbp), %rdi
movq %rdi, -0x218(%rbp)
callq 0x4620
movq -0x218(%rbp), %rdx
leaq 0x7fd45(%rip), %rsi     # 0x85058
leaq -0x1f0(%rbp), %rdi
callq 0xa430
jmp 0x5321
movq -0x220(%rbp), %rdi
leaq -0x1f0(%rbp), %rsi
callq 0xa4e0
movq %rax, -0x230(%rbp)
jmp 0x533d
movq -0x230(%rbp), %rsi
movq -0x228(%rbp), %rdi
callq 0x4370
jmp 0x5352
leaq -0x1f0(%rbp), %rdi
callq 0x4240
leaq -0x1f1(%rbp), %rdi
callq 0x43f0
leaq -0x1d0(%rbp), %rdi
leaq -0x10(%rbp), %rsi
callq 0x4310
jmp 0x537c
movq 0xa9c45(%rip), %rdi     # 0xaefc8
leaq 0x7fcd8(%rip), %rsi     # 0x85062
callq 0x4380
movq %rax, -0x238(%rbp)
jmp 0x5398
movq -0x238(%rbp), %rdi
movsd -0x10(%rbp), %xmm0
callq 0x4660
movq %rax, -0x240(%rbp)
jmp 0x53b2
movq -0x240(%rbp), %rdi
movq 0xa9bf0(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x53c7
movq 0xa9c22(%rip), %rdi     # 0xaeff0
leaq 0x7fc8f(%rip), %rsi     # 0x85064
callq 0x4380
movq %rax, -0x248(%rbp)
jmp 0x53e3
movq -0x248(%rbp), %rdi
movsd -0x10(%rbp), %xmm0
callq 0x4660
movq %rax, -0x250(%rbp)
jmp 0x53fd
movq -0x250(%rbp), %rdi
movq 0xa9ba5(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x5412
leaq -0x1d0(%rbp), %rdi
callq 0x42e0
jmp 0x54e6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x5446
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x4240
leaq -0x31(%rbp), %rdi
callq 0x43f0
jmp 0x54f4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x547a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x1f0(%rbp), %rdi
callq 0x4240
leaq -0x1f1(%rbp), %rdi
callq 0x43f0
jmp 0x5494
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
leaq -0x1d0(%rbp), %rdi
callq 0x42e0
jmp 0x54f4
movq 0xa9b1f(%rip), %rdi     # 0xaefc8
leaq 0x7fbcb(%rip), %rsi     # 0x8507b
callq 0x4380
movq %rax, %rdi
movq 0xa9af1(%rip), %rsi     # 0xaefb0
callq 0x43d0
movq 0xa9b25(%rip), %rdi     # 0xaeff0
leaq 0x7fbab(%rip), %rsi     # 0x8507d
callq 0x4380
movq %rax, %rdi
movq 0xa9acf(%rip), %rsi     # 0xaefb0
callq 0x43d0
movsd -0x10(%rbp), %xmm0
addq $0x250, %rsp            # imm = 0x250
popq %rbp
retq
movq -0x40(%rbp), %rdi
callq 0x4610
nopl (%rax)