// File: /workspace/github_cpp_makefile_star2_O2/eryxcc[P]lois/tests/../include/loisextra.h
// Function: lois::lsetof<lois::lpair<lois::term, lois::term>>::operator-=(lois::lpair<lois::term, lois::term> const&)
lsetof<T>& lsetof<T>::operator -= (const T& y) {
  lsetof<T> x1 = removeall();
  insert(y, ain);
  lsetof<T> y1 = removeall();
  for(const T& e: x1) If(!memberof(e, y1)) insert(e, ain);
  return (*this);
  }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1c8, %rsp            # imm = 0x1C8
movq %rsi, %r14
movq %rdi, %rbx
leaq 0xa8(%rsp), %rdi
movq %rbx, %rsi
callq 0x1db90
leaq 0xf8(%rsp), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x1accc
leaq 0x68(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rsi
callq 0xf7c2
leaq 0x3ae4f(%rip), %rsi     # 0x49770
leaq 0x58(%rsp), %r12
movq %r12, %rdi
callq 0xf7c2
movq %rbx, %rdi
movq %r15, %rsi
movq %r14, %rdx
movq %r12, %rcx
callq 0x19e7c
leaq 0x60(%rsp), %rdi
callq 0xefce
leaq 0x70(%rsp), %rdi
callq 0xefce
leaq 0xf8(%rsp), %rdi
callq 0xde74
leaq 0xd0(%rsp), %rdi
movq %rbx, %rsi
callq 0x1db90
leaq 0x78(%rsp), %rdi
leaq 0xa8(%rsp), %rsi
callq 0xe006
leaq 0x148(%rsp), %rdi
leaq 0xa8(%rsp), %rsi
callq 0xe016
leaq 0x78(%rsp), %r15
leaq 0x198(%rsp), %r14
leaq 0x178(%rsp), %r12
leaq 0x38(%rsp), %rbp
leaq 0x28(%rsp), %r13
movq %r15, %rdi
leaq 0x148(%rsp), %rsi
callq 0xe02a
testb %al, %al
je 0xeadd
movq 0x88(%rsp), %r15
movq %rsp, %rdi
leaq 0xd0(%rsp), %rsi
movq %r15, %rdx
callq 0x1df2c
leaq 0x48(%rsp), %rdi
movq %rsp, %rsi
callq 0x1ef2d
leaq 0x10(%rsp), %rdi
leaq 0x48(%rsp), %rsi
callq 0xd01d
leaq 0x50(%rsp), %rdi
callq 0xefce
leaq 0x8(%rsp), %rdi
callq 0xefce
movq %r14, %rdi
leaq 0x10(%rsp), %rsi
callq 0x1ea68
leaq 0x118(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x1eab0
movl 0x1c0(%rsp), %eax
cmpl 0x140(%rsp), %eax
je 0xeaac
addl $-0x4, %eax
cmpl $-0x3, %eax
ja 0xeaa2
movq %r12, %rdi
movq %r15, %rsi
callq 0x1accc
movq %rbp, %rdi
movq %rbx, %rsi
callq 0xf7c2
movq %r13, %rdi
leaq 0x3ad00(%rip), %rsi     # 0x49770
callq 0xf7c2
movq %rbx, %rdi
movq %r12, %rsi
movq %rbp, %rdx
movq %r13, %rcx
callq 0x19e7c
leaq 0x30(%rsp), %rdi
callq 0xefce
leaq 0x40(%rsp), %rdi
callq 0xefce
movq %r12, %rdi
callq 0xde74
movq %r14, %rdi
callq 0x1ea54
jmp 0xea38
leaq 0x118(%rsp), %rdi
callq 0xd03a
movq %r14, %rdi
callq 0xd03a
leaq 0x18(%rsp), %rdi
callq 0xefce
leaq 0x78(%rsp), %r15
movq %r15, %rdi
callq 0xe070
jmp 0xe9b6
leaq 0x148(%rsp), %rdi
callq 0xe086
leaq 0x78(%rsp), %rdi
callq 0xe086
leaq 0xd0(%rsp), %rdi
callq 0xe3be
leaq 0xa8(%rsp), %rdi
callq 0xe3be
movq %rbx, %rax
addq $0x1c8, %rsp            # imm = 0x1C8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0xebd9
movq %rax, %rbx
jmp 0xebe3
movq %rax, %rbx
jmp 0xebf0
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0xefce
leaq 0x70(%rsp), %rdi
callq 0xefce
leaq 0xf8(%rsp), %rdi
callq 0xde74
jmp 0xebf0
jmp 0xeb6b
movq %rax, %rbx
jmp 0xebb5
movq %rax, %rbx
jmp 0xebcc
movq %rax, %rbx
jmp 0xebc2
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
jmp 0xebc7
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0xefce
leaq 0x40(%rsp), %rdi
callq 0xefce
leaq 0x178(%rsp), %rdi
callq 0xde74
jmp 0xeba8
movq %rax, %rbx
leaq 0x118(%rsp), %rdi
callq 0xd03a
leaq 0x198(%rsp), %rdi
callq 0xd03a
leaq 0x18(%rsp), %rdi
callq 0xefce
leaq 0x148(%rsp), %rdi
callq 0xe086
leaq 0x78(%rsp), %rdi
callq 0xe086
leaq 0xd0(%rsp), %rdi
callq 0xe3be
leaq 0xa8(%rsp), %rdi
callq 0xe3be
movq %rbx, %rdi
callq 0x7410
nop