// File: /workspace/github_cpp_makefile_star2_O3/eryxcc[P]lois/tests/../include/lois.h
// Function: lois::lsetof<lois::lvector<lois::term>>::display(std::ostream&) const
std::ostream& lsetof<T>::display (std::ostream &os) const { 
  if(elts.size() == 0) return os << sym.emptyset;
  os << sym.leftbrace;
  for(size_t i=0; i<elts.size(); i++) {
    if(i) os << sym.ssunion;
    os << *elts[i];
    }
  return os << sym.rightbrace;
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xc8, %rsp
movq %rsi, %rbx
movq 0x18(%rdi), %rax
leaq 0x3571d(%rip), %r15     # 0x50428
cmpq 0x10(%rdi), %rax
je 0x1ad4e
movq %rdi, %r14
movq %r15, 0x58(%rsp)
leaq 0x37bd0(%rip), %rbp     # 0x528f0
movq 0xe0(%rbp), %rcx
movq 0xe8(%rbp), %rax
movq %rcx, 0x60(%rsp)
movq %rax, 0x68(%rsp)
testq %rax, %rax
je 0x1ad9a
movq 0x37284(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x1ad96
incl 0x8(%rax)
jmp 0x1ad9a
movq %r15, 0x70(%rsp)
leaq 0x37b96(%rip), %rax     # 0x528f0
movq 0xb0(%rax), %rcx
movq 0xb8(%rax), %rax
movq %rcx, 0x78(%rsp)
movq %rax, 0x80(%rsp)
testq %rax, %rax
je 0x1afd4
movq 0x37243(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x1afd0
incl 0x8(%rax)
jmp 0x1afd4
lock
incl 0x8(%rax)
leaq 0xa8(%rsp), %rdi
leaq 0x58(%rsp), %rsi
callq 0x106b8
movq 0xa8(%rsp), %rsi
movq (%rsi), %rax
leaq 0x8(%rsp), %rdi
callq *(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x72c0
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1adeb
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x1adfd
callq 0x133fc
movq %r15, 0x58(%rsp)
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x1ae11
callq 0x133fc
movq 0x10(%r14), %rax
cmpq %rax, 0x18(%r14)
je 0x1af1f
xorl %r15d, %r15d
leaq 0x8(%rsp), %r13
xorl %r12d, %r12d
testq %r12, %r12
je 0x1aef5
leaq 0x355ee(%rip), %rax     # 0x50428
movq %rax, 0x40(%rsp)
movq 0xc8(%rbp), %rcx
movq 0xd0(%rbp), %rax
movq %rcx, 0x48(%rsp)
movq %rax, 0x50(%rsp)
testq %rax, %rax
je 0x1ae71
movq 0x37165(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x1ae6d
incl 0x8(%rax)
jmp 0x1ae71
lock
incl 0x8(%rax)
leaq 0x98(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0x106b8
movq 0x98(%rsp), %rsi
movq (%rsi), %rax
movq %r13, %rdi
callq *(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x72c0
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x1aec1
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x1aed3
callq 0x133fc
leaq 0x3554e(%rip), %rax     # 0x50428
movq %rax, 0x40(%rsp)
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x1aeee
callq 0x133fc
movq 0x10(%r14), %rax
addq %r15, %rax
movq (%rax), %rsi
movq %rbx, %rdi
callq 0x1b1a7
incq %r12
movq 0x10(%r14), %rax
movq 0x18(%r14), %rcx
subq %rax, %rcx
sarq $0x4, %rcx
addq $0x10, %r15
cmpq %rcx, %r12
jb 0x1ae2a
leaq 0x35502(%rip), %r14     # 0x50428
movq %r14, 0x28(%rsp)
movq 0xf8(%rbp), %rcx
movq 0x100(%rbp), %rax
movq %rcx, 0x30(%rsp)
movq %rax, 0x38(%rsp)
testq %rax, %rax
je 0x1af5d
movq 0x37079(%rip), %rcx     # 0x51fc8
cmpb $0x0, (%rcx)
je 0x1af59
incl 0x8(%rax)
jmp 0x1af5d
lock
incl 0x8(%rax)
leaq 0x88(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x106b8
movq 0x88(%rsp), %rsi
movq (%rsi), %rax
leaq 0x8(%rsp), %rdi
callq *(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x72c0
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x1afb2
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x1afc4
callq 0x133fc
movq %r14, 0x28(%rsp)
movq 0x38(%rsp), %rdi
jmp 0x1b047
lock
incl 0x8(%rax)
leaq 0xb8(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x106b8
movq 0xb8(%rsp), %rsi
movq (%rsi), %rax
leaq 0x8(%rsp), %rdi
callq *(%rax)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0x72c0
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1b028
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b03a
callq 0x133fc
movq %r15, 0x70(%rsp)
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x1b051
callq 0x133fc
movq %rbx, %rax
addq $0xc8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1b089
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
jmp 0x1b089
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b0a0
callq 0x133fc
jmp 0x1b0a0
movq %rax, %rbx
movq %r15, 0x70(%rsp)
movq 0x80(%rsp), %rdi
jmp 0x1b195
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x1b0d6
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
jmp 0x1b0d6
movq %rax, %rbx
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x1b0ed
callq 0x133fc
jmp 0x1b0ed
movq %rax, %rbx
leaq 0x35334(%rip), %rax     # 0x50428
movq %rax, 0x28(%rsp)
movq 0x38(%rsp), %rdi
jmp 0x1b195
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1b126
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
jmp 0x1b126
movq %rax, %rbx
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b13d
callq 0x133fc
jmp 0x1b13d
movq %rax, %rbx
movq %r15, 0x58(%rsp)
movq 0x68(%rsp), %rdi
jmp 0x1b195
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x1b172
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
jmp 0x1b172
movq %rax, %rbx
jmp 0x1b184
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b184
callq 0x133fc
leaq 0x3529d(%rip), %rax     # 0x50428
movq %rax, 0x40(%rsp)
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x1b19f
callq 0x133fc
movq %rbx, %rdi
callq 0x7430