// File: Laakeri[P]maxpre/src/main.cpp
// Function: parseSkipTechnique(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>>>>>&)
int parseSkipTechnique(map<string, string>& flags) {
	int skipTechnique = 0;
	if (flags.count("skiptechnique")) {
		stringstream ss;
		ss<<flags["skiptechnique"];
		ss>>skipTechnique;
		cout<<"c Skiptechnique "<<skipTechnique<<endl;
		cerr<<"Skiptechnique "<<skipTechnique<<endl;
		
		if (skipTechnique <= 0 || skipTechnique > 1000000000) {
			cout<<"Invalid skiptechnique flag"<<endl;
			cerr<<"Invalid skiptechinque flag"<<endl;
			exit(0);
		}
	}
	else {
		cout<<"c No -skiptechnique given, defaulting to disabled"<<endl;
		cerr<<"No -skiptechnique given, defaulting to disabled"<<endl;
	}
	return skipTechnique;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x260, %rsp            # imm = 0x260
movq %rdi, -0x8(%rbp)
movl $0x0, -0xc(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x208(%rbp)
leaq -0x31(%rbp), %rdi
movq %rdi, -0x200(%rbp)
callq 0x4620
movq -0x200(%rbp), %rdx
leaq 0x7f008(%rip), %rsi     # 0x85247
leaq -0x30(%rbp), %rdi
callq 0xa430
jmp 0x624a
movq -0x208(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0xa5e0
movq %rax, -0x210(%rbp)
jmp 0x6263
leaq -0x30(%rbp), %rdi
callq 0x4240
leaq -0x31(%rbp), %rdi
callq 0x43f0
movq -0x210(%rbp), %rax
cmpq $0x0, %rax
je 0x64d2
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 0x7ef7b(%rip), %rsi     # 0x85247
leaq -0x1f0(%rbp), %rdi
callq 0xa430
jmp 0x62da
movq -0x220(%rbp), %rdi
leaq -0x1f0(%rbp), %rsi
callq 0xa4e0
movq %rax, -0x230(%rbp)
jmp 0x62f6
movq -0x230(%rbp), %rsi
movq -0x228(%rbp), %rdi
callq 0x4370
jmp 0x630b
leaq -0x1f0(%rbp), %rdi
callq 0x4240
leaq -0x1f1(%rbp), %rdi
callq 0x43f0
leaq -0x1d0(%rbp), %rdi
leaq -0xc(%rbp), %rsi
callq 0x4230
jmp 0x6335
movq 0xa8c8c(%rip), %rdi     # 0xaefc8
leaq 0x7ef12(%rip), %rsi     # 0x85255
callq 0x4380
movq %rax, -0x238(%rbp)
jmp 0x6351
movq -0x238(%rbp), %rdi
movl -0xc(%rbp), %esi
callq 0x4600
movq %rax, -0x240(%rbp)
jmp 0x6369
movq -0x240(%rbp), %rdi
movq 0xa8c39(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x637e
movq 0xa8c6b(%rip), %rdi     # 0xaeff0
leaq 0x7eecb(%rip), %rsi     # 0x85257
callq 0x4380
movq %rax, -0x248(%rbp)
jmp 0x639a
movq -0x248(%rbp), %rdi
movl -0xc(%rbp), %esi
callq 0x4600
movq %rax, -0x250(%rbp)
jmp 0x63b2
movq -0x250(%rbp), %rdi
movq 0xa8bf0(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x63c7
cmpl $0x0, -0xc(%rbp)
jle 0x63da
cmpl $0x3b9aca00, -0xc(%rbp) # imm = 0x3B9ACA00
jle 0x64b6
movq 0xa8be7(%rip), %rdi     # 0xaefc8
leaq 0x7ee7e(%rip), %rsi     # 0x85266
callq 0x4380
movq %rax, -0x258(%rbp)
jmp 0x63f6
movq -0x258(%rbp), %rdi
movq 0xa8bac(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x640b
movq 0xa8bde(%rip), %rdi     # 0xaeff0
leaq 0x7ee68(%rip), %rsi     # 0x85281
callq 0x4380
movq %rax, -0x260(%rbp)
jmp 0x6427
movq -0x260(%rbp), %rdi
movq 0xa8b7b(%rip), %rsi     # 0xaefb0
callq 0x43d0
jmp 0x643c
xorl %edi, %edi
callq 0x4480
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x6466
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 0x6522
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x649a
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 0x64c4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x40(%rbp)
movl %eax, -0x44(%rbp)
jmp 0x64c4
leaq -0x1d0(%rbp), %rdi
callq 0x42e0
jmp 0x6516
leaq -0x1d0(%rbp), %rdi
callq 0x42e0
jmp 0x6522
movq 0xa8aef(%rip), %rdi     # 0xaefc8
leaq 0x7edbc(%rip), %rsi     # 0x8529c
callq 0x4380
movq %rax, %rdi
movq 0xa8ac1(%rip), %rsi     # 0xaefb0
callq 0x43d0
movq 0xa8af5(%rip), %rdi     # 0xaeff0
leaq 0x7ed9c(%rip), %rsi     # 0x8529e
callq 0x4380
movq %rax, %rdi
movq 0xa8a9f(%rip), %rsi     # 0xaefb0
callq 0x43d0
movl -0xc(%rbp), %eax
addq $0x260, %rsp            # imm = 0x260
popq %rbp
retq
movq -0x40(%rbp), %rdi
callq 0x4610
nopl (%rax,%rax)