// File: /workspace/github_cpp_makefile_star2_O2/Laakeri[P]maxpre/src/main.cpp
// Function: parseBVEsortMaxFirst(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>>>>>&)
bool parseBVEsortMaxFirst(map<string, string>& flags) {
  bool BVEsortMaxFirst = false;
  if (flags.count("bvesortmaxfirst")) {
    if (flags["bvesortmaxfirst"] == "1") {
      BVEsortMaxFirst = true;
      cout<<"c BVEsortMaxFirst enabled"<<endl;
      cerr<<"BVEsortMaxFirst enabled"<<endl;
    }
    else if (flags["bvesortmaxfirst"] == "0") {
      BVEsortMaxFirst = false;
      cout<<"c BVEsortMaxFirst disabled"<<endl;
      cerr<<"BVEsortMaxFirst disabled"<<endl;
    }
    else {
      cout<<"Invalid bvesortmaxfirst flag"<<endl;
      cerr<<"Invalid bvesortmaxfirst flag"<<endl;
      exit(0);
    }
  }
  else {
    cout<<"c No -bvesortmaxfirst given, defaulting to disabled"<<endl;
    cerr<<"No -bvesortmaxfirst given, defaulting to disabled"<<endl;
  }
  return BVEsortMaxFirst;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x30, %rsp
movq %rdi, %rbx
leaq 0x29e8d(%rip), %rsi     # 0x2e2da
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x682a
movq %rax, %r14
leaq 0x10(%rsp), %rdi
callq 0x3130
testq %r14, %r14
je 0x44d0
leaq 0x29e58(%rip), %rsi     # 0x2e2da
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x67c4
leaq 0x2b4ec(%rip), %rsi     # 0x2f991
movq %rax, %rdi
callq 0x6844
movl %eax, %ebp
leaq 0x10(%rsp), %rdi
callq 0x3130
testb %bpl, %bpl
je 0x44e2
movb $0x1, %bl
leaq 0x29e25(%rip), %r14     # 0x2e2ec
leaq 0x29e1c(%rip), %rsi     # 0x2e2ea
jmp 0x4534
xorl %ebx, %ebx
leaq 0x29e65(%rip), %r14     # 0x2e33e
leaq 0x29e5c(%rip), %rsi     # 0x2e33c
jmp 0x4534
leaq 0x29df1(%rip), %rsi     # 0x2e2da
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x6788
leaq 0x10(%rsp), %rsi
movq %rbx, %rdi
callq 0x67c4
leaq 0x2c7b9(%rip), %rsi     # 0x30cc5
movq %rax, %rdi
callq 0x6844
movl %eax, %ebx
leaq 0x10(%rsp), %rdi
callq 0x3130
testb %bl, %bl
je 0x456a
leaq 0x29ddb(%rip), %r14     # 0x2e306
leaq 0x29dd2(%rip), %rsi     # 0x2e304
xorl %ebx, %ebx
movq 0x3fa8d(%rip), %rdi     # 0x43fc8
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movq 0x3faa1(%rip), %rdi     # 0x43ff0
movq %r14, %rsi
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movl %ebx, %eax
addq $0x30, %rsp
popq %rbx
popq %r14
popq %rbp
retq
movq 0x3fa57(%rip), %rdi     # 0x43fc8
leaq 0x29da7(%rip), %rbx     # 0x2e31f
movq %rbx, %rsi
callq 0x32a0
movq %rax, %rdi
callq 0x3140
movq 0x3fa61(%rip), %rdi     # 0x43ff0
movq %rbx, %rsi
callq 0x32a0
movq %rax, %rdi
callq 0x3140
xorl %edi, %edi
callq 0x3340
jmp 0x45ae
jmp 0x45bd
jmp 0x45ae
jmp 0x45bd
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x3130
jmp 0x45c0
movq %rax, %rbx
movq %rbx, %rdi
callq 0x3490