// File: eryxcc[P]lois/src/relations.cpp
// Function: lois::RelUnary::display(std::ostream&, int, lois::term const&, lois::term const&)
std::ostream& RelUnary::display(std::ostream& os, int id, const term& t1, const term& t2) {
  os << oprel;

  if(id == ID_UN_EQ)
    return os << "[" << t1 << sym.eq << t2 << "]";

  if(id == ID_UN_NEQ)
    return os << "[" << t1 << sym.neq << t2 << "]";

  for(int i=0; i<nogroups; i++) if(id & (1<<i)) os << i;
  return os << "(" << t1 << ")";
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x110, %rsp            # imm = 0x110
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movl %edx, -0x1c(%rbp)
movq %rcx, -0x28(%rbp)
movq %r8, -0x30(%rbp)
movq -0x10(%rbp), %rsi
movq %rsi, -0xc0(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0xb8(%rbp)
addq $0x8, %rsi
leaq -0x40(%rbp), %rdi
movq %rdi, -0xb0(%rbp)
callq 0x16b40
movq -0xb8(%rbp), %rdi
movq -0xb0(%rbp), %rsi
callq 0x29150
jmp 0x5320d
leaq -0x40(%rbp), %rdi
callq 0x114d0
cmpl $-0x1, -0x1c(%rbp)
jne 0x5332b
movq -0x18(%rbp), %rdi
leaq 0x207d2(%rip), %rsi     # 0x739fd
callq 0x82b0
movq %rax, %rdi
movq -0x28(%rbp), %rsi
callq 0x11140
movq %rax, -0xd0(%rbp)
leaq 0x5271e(%rip), %rsi     # 0xa5968
addq $0x60, %rsi
leaq -0x78(%rbp), %rdi
movq %rdi, -0xc8(%rbp)
callq 0x11380
movq -0xc8(%rbp), %rsi
leaq -0x60(%rbp), %rdi
callq 0x113d0
jmp 0x53270
movq -0xd0(%rbp), %rdi
leaq -0x60(%rbp), %rsi
callq 0x29150
movq %rax, -0xd8(%rbp)
jmp 0x53289
movq -0xd8(%rbp), %rdi
movq -0x30(%rbp), %rsi
callq 0x11140
movq %rax, -0xe0(%rbp)
jmp 0x532a2
movq -0xe0(%rbp), %rdi
leaq 0x21037(%rip), %rsi     # 0x742e7
callq 0x82b0
movq %rax, -0xe8(%rbp)
jmp 0x532be
movq -0xe8(%rbp), %rax
movq %rax, -0x8(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x114d0
leaq -0x78(%rbp), %rdi
callq 0x114f0
jmp 0x534c1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x114d0
jmp 0x534ce
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x5331d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x114d0
leaq -0x78(%rbp), %rdi
callq 0x114f0
jmp 0x534ce
cmpl $-0x2, -0x1c(%rbp)
jne 0x5343b
movq -0x18(%rbp), %rdi
leaq 0x206bd(%rip), %rsi     # 0x739fd
callq 0x82b0
movq %rax, %rdi
movq -0x28(%rbp), %rsi
callq 0x11140
movq %rax, -0xf8(%rbp)
leaq 0x52609(%rip), %rsi     # 0xa5968
addq $0x78, %rsi
leaq -0xa0(%rbp), %rdi
movq %rdi, -0xf0(%rbp)
callq 0x11380
movq -0xf0(%rbp), %rsi
leaq -0x88(%rbp), %rdi
callq 0x113d0
jmp 0x5338b
movq -0xf8(%rbp), %rdi
leaq -0x88(%rbp), %rsi
callq 0x29150
movq %rax, -0x100(%rbp)
jmp 0x533a7
movq -0x100(%rbp), %rdi
movq -0x30(%rbp), %rsi
callq 0x11140
movq %rax, -0x108(%rbp)
jmp 0x533c0
movq -0x108(%rbp), %rdi
leaq 0x20f19(%rip), %rsi     # 0x742e7
callq 0x82b0
movq %rax, -0x110(%rbp)
jmp 0x533dc
movq -0x110(%rbp), %rax
movq %rax, -0x8(%rbp)
leaq -0x88(%rbp), %rdi
callq 0x114d0
leaq -0xa0(%rbp), %rdi
callq 0x114f0
jmp 0x534c1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x5342a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x88(%rbp), %rdi
callq 0x114d0
leaq -0xa0(%rbp), %rdi
callq 0x114f0
jmp 0x534ce
movl $0x0, -0xa4(%rbp)
movq -0xc0(%rbp), %rcx
movl -0xa4(%rbp), %eax
cmpl 0x18(%rcx), %eax
jge 0x53492
movl -0x1c(%rbp), %eax
movl -0xa4(%rbp), %ecx
movl $0x1, %edx
shll %cl, %edx
movl %edx, %ecx
andl %ecx, %eax
cmpl $0x0, %eax
je 0x5347f
movq -0x18(%rbp), %rdi
movl -0xa4(%rbp), %esi
callq 0x84c0
jmp 0x53481
movl -0xa4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xa4(%rbp)
jmp 0x53445
movq -0x18(%rbp), %rdi
leaq 0x1fad3(%rip), %rsi     # 0x72f70
callq 0x82b0
movq %rax, %rdi
movq -0x28(%rbp), %rsi
callq 0x11140
movq %rax, %rdi
leaq 0x2024d(%rip), %rsi     # 0x73705
callq 0x82b0
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x110, %rsp            # imm = 0x110
popq %rbp
retq
movq -0x48(%rbp), %rdi
callq 0x84d0
nopw (%rax,%rax)