// File: /workspace/github_cpp_makefile_star2_O1/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 0x1e9dd(%rip), %rax     # 0x53bd0
movl %esi, (%rax)
movl $0x20, %edi
callq 0x7270
movabsq $0x100000001, %r14      # imm = 0x100000001
movq %r14, 0x8(%rax)
leaq 0x1d584(%rip), %r15     # 0x52798
movq %r15, (%rax)
leaq 0x10(%rax), %rcx
leaq 0x1d5c6(%rip), %r12     # 0x527e8
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 0x1d3a4(%rip), %rcx     # 0x525f0
movq %rcx, (%rax)
movq %rax, %rcx
addq $0x10, %rcx
leaq 0x1d3e3(%rip), %rdx     # 0x52640
movq %rdx, 0x10(%rax)
leaq 0x60(%rsp), %rdx
movq %rcx, (%rdx)
movq %rax, 0x8(%rdx)
movq %rsp, %rdi
leaq 0x50(%rsp), %rsi
callq 0x35683
movaps (%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, (%rsp)
movq 0x1e5e4(%rip), %rdi     # 0x53870
movups %xmm0, 0x1e5d5(%rip)    # 0x53868
testq %rdi, %rdi
je 0x3529d
callq 0x13308
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x352ac
callq 0x13308
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x352bb
callq 0x13308
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x352ca
callq 0x13308
testl %ebx, %ebx
jle 0x35390
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 0x1e565(%rip), %rax     # 0x53868
movq %rax, 0x30(%rsp)
movq 0x1e561(%rip), %rax     # 0x53870
movq %rax, 0x38(%rsp)
testq %rax, %rax
je 0x3532e
movq 0x1dca8(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x3532a
incl 0x8(%rax)
jmp 0x3532e
lock
incl 0x8(%rax)
movq %rsp, %rdi
leaq 0x40(%rsp), %rsi
leaq 0x30(%rsp), %rdx
callq 0x35683
movaps (%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, (%rsp)
movq 0x1e51e(%rip), %rdi     # 0x53870
movups %xmm0, 0x1e50f(%rip)    # 0x53868
testq %rdi, %rdi
je 0x35363
callq 0x13308
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x35372
callq 0x13308
movq 0x38(%rsp), %rdi
testq %rdi, %rdi
je 0x35381
callq 0x13308
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x35390
callq 0x13308
movl $0x18, %edi
callq 0x7270
movq %r14, 0x8(%rax)
leaq 0x1d36b(%rip), %rcx     # 0x52710
movq %rcx, (%rax)
leaq 0x10(%rax), %rcx
leaq 0x1d3ad(%rip), %rdx     # 0x52760
movq %rdx, 0x10(%rax)
movq %rcx, 0x20(%rsp)
movq %rax, 0x28(%rsp)
movq 0x1e4a0(%rip), %rax     # 0x53868
movq %rax, 0x10(%rsp)
movq 0x1e49c(%rip), %rax     # 0x53870
movq %rax, 0x18(%rsp)
testq %rax, %rax
je 0x353f3
movq 0x1dbe3(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x353ef
incl 0x8(%rax)
jmp 0x353f3
lock
incl 0x8(%rax)
movq %rsp, %rdi
leaq 0x20(%rsp), %rsi
leaq 0x10(%rsp), %rdx
callq 0x35683
movaps (%rsp), %xmm0
xorps %xmm1, %xmm1
movaps %xmm1, (%rsp)
movq 0x1e459(%rip), %rdi     # 0x53870
movups %xmm0, 0x1e44a(%rip)    # 0x53868
testq %rdi, %rdi
je 0x35428
callq 0x13308
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x35437
callq 0x13308
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x35446
callq 0x13308
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x35455
callq 0x13308
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 0x35474
callq 0x13308
movq 0x48(%rsp), %rdi
jmp 0x354b0
movq %rax, %rbx
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x3548d
callq 0x13308
movq 0x28(%rsp), %rdi
jmp 0x354b0
movq %rax, %rbx
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x354ab
callq 0x13308
jmp 0x354ab
movq %rax, %rbx
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x354ba
callq 0x13308
movq %rbx, %rdi
callq 0x7430