// File: eryxcc[P]lois/tests/../include/loisextra.h
// Function: lois::rbool lois::operator<<lois::term>(lois::lvector<lois::term> const&, lois::lvector<lois::term> const&)
rbool operator < (const lvector<T>& a, const lvector<T>& b) { 
  lbool res = ffalse;
  lbool eq = ftrue;
  for(int i=0;; i++) {
    if(i >= (int) a.size()) return res;
    if(i >= (int) b.size()) return res || eq;
    res |= (eq && (a[i] < b[i]));
    eq &= a[i] == b[i];
    }
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x140, %rsp            # imm = 0x140
movq %rdi, -0x108(%rbp)
movq %rdi, %rax
movq %rax, -0x100(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
leaq 0x99029(%rip), %rsi     # 0xae428
leaq -0x48(%rbp), %rdi
movq %rdi, -0xf8(%rbp)
callq 0xbce0
movq -0xf8(%rbp), %rsi
leaq -0x38(%rbp), %rdi
callq 0x14430
jmp 0x15421
leaq -0x48(%rbp), %rdi
callq 0xbd10
leaq 0x98fe7(%rip), %rsi     # 0xae418
leaq -0x88(%rbp), %rdi
movq %rdi, -0x110(%rbp)
callq 0xbce0
movq -0x110(%rbp), %rsi
leaq -0x78(%rbp), %rdi
callq 0x14430
jmp 0x15456
leaq -0x88(%rbp), %rdi
callq 0xbd10
movl $0x0, -0x8c(%rbp)
movl -0x8c(%rbp), %eax
movl %eax, -0x114(%rbp)
movq -0x10(%rbp), %rdi
callq 0x14470
movq %rax, %rcx
movl -0x114(%rbp), %eax
cmpl %ecx, %eax
jl 0x154e4
movq -0x108(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x14830
movl $0x1, -0x90(%rbp)
jmp 0x15728
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x48(%rbp), %rdi
callq 0xbd10
jmp 0x1575c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x88(%rbp), %rdi
callq 0xbd10
jmp 0x15753
movl -0x8c(%rbp), %eax
movl %eax, -0x118(%rbp)
movq -0x18(%rbp), %rdi
callq 0x14470
movq %rax, %rcx
movl -0x118(%rbp), %eax
cmpl %ecx, %eax
jl 0x155a4
leaq -0xa0(%rbp), %rdi
movq %rdi, -0x128(%rbp)
leaq -0x38(%rbp), %rsi
callq 0x14830
leaq -0xb0(%rbp), %rdi
movq %rdi, -0x120(%rbp)
leaq -0x78(%rbp), %rsi
callq 0x14830
movq -0x108(%rbp), %rdi
movq -0x128(%rbp), %rsi
movq -0x120(%rbp), %rdx
callq 0x46e20
jmp 0x15554
leaq -0xb0(%rbp), %rdi
callq 0xbd10
leaq -0xa0(%rbp), %rdi
callq 0xbd10
movl $0x1, -0x90(%rbp)
jmp 0x15728
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0xbd10
leaq -0xa0(%rbp), %rdi
callq 0xbd10
jmp 0x1574a
leaq -0xd0(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x14830
movq -0x10(%rbp), %rdi
movl -0x8c(%rbp), %esi
callq 0x14860
movq %rax, -0x130(%rbp)
movq -0x18(%rbp), %rdi
movl -0x8c(%rbp), %esi
callq 0x14860
movq -0x130(%rbp), %rsi
movq %rax, %rdx
leaq -0xe0(%rbp), %rdi
callq 0x15770
jmp 0x155f1
leaq -0xc0(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
leaq -0xe0(%rbp), %rdx
callq 0x46a20
jmp 0x1560d
leaq -0x38(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
callq 0x157b0
jmp 0x1561f
leaq -0xc0(%rbp), %rdi
callq 0xbd10
leaq -0xe0(%rbp), %rdi
callq 0xbd10
leaq -0xd0(%rbp), %rdi
callq 0xbd10
movq -0x10(%rbp), %rdi
movl -0x8c(%rbp), %esi
callq 0x14860
movq %rax, -0x138(%rbp)
movq -0x18(%rbp), %rdi
movl -0x8c(%rbp), %esi
callq 0x14860
movq -0x138(%rbp), %rsi
movq %rax, %rdx
leaq -0xf0(%rbp), %rdi
callq 0x47b60
jmp 0x15680
leaq -0x78(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
callq 0x14890
jmp 0x15692
leaq -0xf0(%rbp), %rdi
callq 0xbd10
movl -0x8c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x8c(%rbp)
jmp 0x1546c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x156f2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x156e6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0xc0(%rbp), %rdi
callq 0xbd10
leaq -0xe0(%rbp), %rdi
callq 0xbd10
leaq -0xd0(%rbp), %rdi
callq 0xbd10
jmp 0x1574a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x1574a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0xf0(%rbp), %rdi
callq 0xbd10
jmp 0x1574a
leaq -0x78(%rbp), %rdi
callq 0x149f0
leaq -0x38(%rbp), %rdi
callq 0x149f0
movq -0x100(%rbp), %rax
addq $0x140, %rsp            # imm = 0x140
popq %rbp
retq
leaq -0x78(%rbp), %rdi
callq 0x149f0
leaq -0x38(%rbp), %rdi
callq 0x149f0
movq -0x50(%rbp), %rdi
callq 0x84d0
nopw %cs:(%rax,%rax)
nop