// File: /workspace/github_cpp_makefile_star2_O1/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 0x3677b(%rip), %r15     # 0x51400
cmpq 0x10(%rdi), %rax
je 0x1acc8
movq %rdi, %r14
movq %r15, 0x58(%rsp)
leaq 0x38c4e(%rip), %rbp     # 0x538e8
movq 0xe0(%rbp), %rcx
movq 0xe8(%rbp), %rax
movq %rcx, 0x60(%rsp)
movq %rax, 0x68(%rsp)
testq %rax, %rax
je 0x1ad14
movq 0x3830a(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x1ad10
incl 0x8(%rax)
jmp 0x1ad14
movq %r15, 0x70(%rsp)
leaq 0x38c14(%rip), %rax     # 0x538e8
movq 0xb0(%rax), %rcx
movq 0xb8(%rax), %rax
movq %rcx, 0x78(%rsp)
movq %rax, 0x80(%rsp)
testq %rax, %rax
je 0x1af49
movq 0x382c9(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x1af45
incl 0x8(%rax)
jmp 0x1af49
lock
incl 0x8(%rax)
leaq 0xa8(%rsp), %rdi
leaq 0x58(%rsp), %rsi
callq 0x10644
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 0x1ad65
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x1ad77
callq 0x13308
movq %r15, 0x58(%rsp)
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x1ad8b
callq 0x13308
movq 0x18(%r14), %rax
cmpq 0x10(%r14), %rax
je 0x1ae94
xorl %r15d, %r15d
leaq 0x8(%rsp), %r13
xorl %r12d, %r12d
testq %r12, %r12
je 0x1ae68
leaq 0x3664c(%rip), %rax     # 0x51400
movq %rax, 0x40(%rsp)
movq 0xc8(%rbp), %rcx
movq 0xd0(%rbp), %rax
movq %rcx, 0x48(%rsp)
movq %rax, 0x50(%rsp)
testq %rax, %rax
je 0x1adeb
movq 0x381eb(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x1ade7
incl 0x8(%rax)
jmp 0x1adeb
lock
incl 0x8(%rax)
leaq 0x98(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0x10644
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 0x1ae3b
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x1ae4d
callq 0x13308
leaq 0x365ac(%rip), %rax     # 0x51400
movq %rax, 0x40(%rsp)
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x1ae68
callq 0x13308
movq 0x10(%r14), %rax
movq (%rax,%r15), %rsi
movq %rbx, %rdi
callq 0x1b11c
movq 0x18(%r14), %rax
subq 0x10(%r14), %rax
incq %r12
sarq $0x4, %rax
addq $0x10, %r15
cmpq %rax, %r12
jb 0x1ada4
leaq 0x36565(%rip), %r14     # 0x51400
movq %r14, 0x28(%rsp)
movq 0xf8(%rbp), %rcx
movq 0x100(%rbp), %rax
movq %rcx, 0x30(%rsp)
movq %rax, 0x38(%rsp)
testq %rax, %rax
je 0x1aed2
movq 0x38104(%rip), %rcx     # 0x52fc8
cmpb $0x0, (%rcx)
je 0x1aece
incl 0x8(%rax)
jmp 0x1aed2
lock
incl 0x8(%rax)
leaq 0x88(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x10644
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 0x1af27
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x1af39
callq 0x13308
movq %r14, 0x28(%rsp)
movq 0x38(%rsp), %rdi
jmp 0x1afbc
lock
incl 0x8(%rax)
leaq 0xb8(%rsp), %rdi
leaq 0x70(%rsp), %rsi
callq 0x10644
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 0x1af9d
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x1afaf
callq 0x13308
movq %r15, 0x70(%rsp)
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x1afc6
callq 0x13308
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 0x1affe
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
jmp 0x1affe
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b015
callq 0x13308
jmp 0x1b015
movq %rax, %rbx
movq %r15, 0x70(%rsp)
movq 0x80(%rsp), %rdi
jmp 0x1b10a
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x1b04b
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
jmp 0x1b04b
movq %rax, %rbx
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x1b062
callq 0x13308
jmp 0x1b062
movq %rax, %rbx
leaq 0x36397(%rip), %rax     # 0x51400
movq %rax, 0x28(%rsp)
movq 0x38(%rsp), %rdi
jmp 0x1b10a
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1b09b
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
jmp 0x1b09b
movq %rax, %rbx
movq 0xb0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b0b2
callq 0x13308
jmp 0x1b0b2
movq %rax, %rbx
movq %r15, 0x58(%rsp)
movq 0x68(%rsp), %rdi
jmp 0x1b10a
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x1b0e7
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x7280
jmp 0x1b0e7
movq %rax, %rbx
jmp 0x1b0f9
movq %rax, %rbx
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x1b0f9
callq 0x13308
leaq 0x36300(%rip), %rax     # 0x51400
movq %rax, 0x40(%rsp)
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x1b114
callq 0x13308
movq %rbx, %rdi
callq 0x7430