// File: /workspace/github_cpp_makefile_star2_O1/eryxcc[P]lois/src/utils.cpp
// Function: lois::initLois()
void initLois() { 
  sym.useUnicode();
  mainOrder = new RelOrder(sym.greater, sym.leq, sym.max, sym.min);
  useDefaultSolver(50000);
  smtLogic = "LRA";
  }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0xa0, %rsp
leaq 0x16636(%rip), %rdi     # 0x538e8
callq 0x3bcc4
movl $0x48, %edi
callq 0x7270
movq %rax, %rbx
leaq 0x14135(%rip), %r15     # 0x51400
movq %r15, 0x48(%rsp)
movq 0x16799(%rip), %rax     # 0x53a70
movq %rax, 0x50(%rsp)
movq 0x16795(%rip), %rax     # 0x53a78
movq %rax, 0x58(%rsp)
testq %rax, %rax
je 0x3d302
movq 0x15cd4(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x3d2fe
incl 0x8(%rax)
jmp 0x3d302
lock
incl 0x8(%rax)
leaq 0x80(%rsp), %rdi
leaq 0x48(%rsp), %rsi
callq 0x10644
movq %r15, 0x30(%rsp)
movq 0x16720(%rip), %rax     # 0x53a40
movq %rax, 0x38(%rsp)
movq 0x1671c(%rip), %rax     # 0x53a48
movq %rax, 0x40(%rsp)
testq %rax, %rax
je 0x3d34b
movq 0x15c8b(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x3d347
incl 0x8(%rax)
jmp 0x3d34b
lock
incl 0x8(%rax)
leaq 0x70(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x10644
movq %r15, 0x18(%rsp)
movq 0x1673a(%rip), %rax     # 0x53aa0
movq %rax, 0x20(%rsp)
movq 0x16736(%rip), %rax     # 0x53aa8
movq %rax, 0x28(%rsp)
testq %rax, %rax
je 0x3d391
movq 0x15c45(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x3d38d
incl 0x8(%rax)
jmp 0x3d391
lock
incl 0x8(%rax)
leaq 0x60(%rsp), %rdi
leaq 0x18(%rsp), %rsi
callq 0x10644
movq %r15, (%rsp)
movq 0x1670d(%rip), %rax     # 0x53ab8
movq %rax, 0x8(%rsp)
movq 0x16709(%rip), %rax     # 0x53ac0
movq %rax, 0x10(%rsp)
testq %rax, %rax
je 0x3d3d6
movq 0x15c00(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x3d3d2
incl 0x8(%rax)
jmp 0x3d3d6
lock
incl 0x8(%rax)
leaq 0x90(%rsp), %rdi
movq %rsp, %rsi
callq 0x10644
leaq 0x80(%rsp), %rsi
leaq 0x70(%rsp), %rdx
leaq 0x60(%rsp), %rcx
leaq 0x90(%rsp), %r14
movq %rbx, %rdi
movq %r14, %r8
callq 0x3dd48
movq %rbx, 0x16776(%rip)     # 0x53b88
movq 0x8(%r14), %rdi
testq %rdi, %rdi
je 0x3d420
callq 0x13308
movq %r15, (%rsp)
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x3d433
callq 0x13308
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x3d442
callq 0x13308
movq %r15, 0x18(%rsp)
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x3d456
callq 0x13308
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x3d465
callq 0x13308
movq %r15, 0x30(%rsp)
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x3d479
callq 0x13308
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x3d48b
callq 0x13308
movq %r15, 0x48(%rsp)
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x3d49f
callq 0x13308
movl $0xc350, %edi           # imm = 0xC350
movl $0x77359400, %esi       # imm = 0x77359400
callq 0x351dc
leaq 0x163cb(%rip), %rdi     # 0x53880
movq 0x8(%rdi), %rdx
leaq 0x40f5(%rip), %rcx      # 0x415b5
movl $0x3, %r8d
xorl %esi, %esi
callq 0x7380
addq $0xa0, %rsp
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %r14
movq %r15, (%rsp)
movq 0x10(%rsp), %rdi
testq %rdi, %rdi
je 0x3d4f0
callq 0x13308
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x3d504
callq 0x13308
jmp 0x3d504
movq %rax, %r14
movq %r15, 0x18(%rsp)
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x3d518
callq 0x13308
movq 0x78(%rsp), %rdi
testq %rdi, %rdi
je 0x3d52c
callq 0x13308
jmp 0x3d52c
movq %rax, %r14
movq %r15, 0x30(%rsp)
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x3d540
callq 0x13308
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x3d557
callq 0x13308
jmp 0x3d557
movq %rax, %r14
movq %r15, 0x48(%rsp)
movq 0x58(%rsp), %rdi
testq %rdi, %rdi
je 0x3d56b
callq 0x13308
movl $0x48, %esi
movq %rbx, %rdi
callq 0x7280
movq %r14, %rdi
callq 0x7430