// File: /workspace/github_cpp_makefile_star2_O3/eryxcc[P]lois/src/solvers.cpp
// Function: lois::useDefaultSolver(int, int)
void useDefaultSolver(int i, int j) {
  aggressive_simplification_tries = j;
  solver = solverExhaustive(j, true) || solverCrash();
  if(i > 0) solver = solverExhaustive(i, false) || solver;
  solver = solverBasic() || solver;
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x70, %rsp
movl %esi, %ebp
movl %edi, %ebx
leaq 0x1deab(%rip), %rax     # 0x52be0
movl %esi, (%rax)
movl $0x20, %edi
callq 0x7270
movabsq $0x100000001, %r14      # imm = 0x100000001
movq %r14, 0x8(%rax)
leaq 0x1ca42(%rip), %r15     # 0x51798
movq %r15, (%rax)
leaq 0x10(%rax), %rcx
leaq 0x1ca84(%rip), %r12     # 0x517e8
movq %r12, 0x10(%rax)
movl %ebp, 0x18(%rax)
movb $0x1, 0x1c(%rax)
movq %rcx, 0x50(%rsp)
movq %rax, 0x58(%rsp)
movl $0x18, %edi
callq 0x7270
movq %r14, 0x8(%rax)
leaq 0x1c862(%rip), %rcx     # 0x515f0
movq %rcx, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
leaq 0x1c8a1(%rip), %rdx     # 0x51640
movq %rdx, 0x10(%rax)
leaq 0x60(%rsp), %rdx
movq %rcx, (%rdx)
movq %rax, 0x8(%rdx)
movq %rsp, %rdi
leaq 0x50(%rsp), %rsi
callq 0x351c5
movaps (%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, (%rsp)
movq 0x1daaa(%rip), %rdi     # 0x52878
movaps %xmm0, 0x1da9b(%rip)    # 0x52870
testq %rdi, %rdi
je 0x34dee
callq 0x133fc
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x34dee
callq 0x133fc
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x34dfd
callq 0x133fc
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x34e0c
callq 0x133fc
testl %ebx, %ebx
jle 0x34ed2
movl $0x20, %edi
callq 0x7270
movq %r14, 0x8(%rax)
movq %r15, (%rax)
leaq 0x10(%rax), %rcx
movq %r12, 0x10(%rax)
movl %ebx, 0x18(%rax)
movb $0x0, 0x1c(%rax)
movq %rcx, 0x40(%rsp)
movq %rax, 0x48(%rsp)
movq 0x1da2b(%rip), %rax     # 0x52870
movq %rax, 0x30(%rsp)
movq 0x1da27(%rip), %rax     # 0x52878
movq %rax, 0x38(%rsp)
testq %rax, %rax
je 0x34e70
movq 0x1d166(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x34e6c
incl 0x8(%rax)
jmp 0x34e70
lock
incl 0x8(%rax)
movq %rsp, %rdi
leaq 0x40(%rsp), %rsi
leaq 0x30(%rsp), %rdx
callq 0x351c5
movaps (%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, (%rsp)
movq 0x1d9e4(%rip), %rdi     # 0x52878
movaps %xmm0, 0x1d9d5(%rip)    # 0x52870
testq %rdi, %rdi
je 0x34eb4
callq 0x133fc
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x34eb4
callq 0x133fc
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x34ec3
callq 0x133fc
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x34ed2
callq 0x133fc
movl $0x18, %edi
callq 0x7270
movq %r14, 0x8(%rax)
leaq 0x1c829(%rip), %rcx     # 0x51710
movq %rcx, (%rax)
leaq 0x10(%rax), %rcx
leaq 0x1c86b(%rip), %rdx     # 0x51760
movq %rdx, 0x10(%rax)
movq %rcx, 0x20(%rsp)
movq %rax, 0x28(%rsp)
movq 0x1d966(%rip), %rax     # 0x52870
movq %rax, 0x10(%rsp)
movq 0x1d962(%rip), %rax     # 0x52878
movq %rax, 0x18(%rsp)
testq %rax, %rax
je 0x34f35
movq 0x1d0a1(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x34f31
incl 0x8(%rax)
jmp 0x34f35
lock
incl 0x8(%rax)
movq %rsp, %rdi
leaq 0x20(%rsp), %rsi
leaq 0x10(%rsp), %rdx
callq 0x351c5
movaps (%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, (%rsp)
movq 0x1d91f(%rip), %rdi     # 0x52878
movaps %xmm0, 0x1d910(%rip)    # 0x52870
testq %rdi, %rdi
je 0x34f79
callq 0x133fc
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x34f79
callq 0x133fc
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x34f88
callq 0x133fc
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x34f97
callq 0x133fc
addq $0x70, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x34fb6
callq 0x133fc
movq 0x48(%rsp), %rdi
jmp 0x34ff2
movq %rax, %rbx
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x34fcf
callq 0x133fc
movq 0x28(%rsp), %rdi
jmp 0x34ff2
movq %rax, %rbx
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x34fed
callq 0x133fc
jmp 0x34fed
movq %rax, %rbx
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x34ffc
callq 0x133fc
movq %rbx, %rdi
callq 0x7430