// File: ef-gy[P]libefgy/include/ef.gy/big-integers.h
// Function: efgy::math::numeric::bigIntegers<long long, unsigned long long, unsigned int, 32u>::operator>>(unsigned int const&) const
bigIntegers operator>>(const cellType &b) const {
    if (cell.size() == 0) {
      return *this;
    }

    if (cell.size() <= cellsPerLong) {
      return bigIntegers(toInteger() >> b, false);
    }

    cellType nukeCells = 0;
    cellType q = b;

    while (q > cellBitCount) {
      nukeCells++;
      q -= cellBitCount;
    }

    if (nukeCells >= cell.size()) {
      return bigIntegers();
    }

    bigIntegers r;

    r.cell.resize(cell.size() - nukeCells);

    for (cellType i = 0; i < r.cell.size(); i++) {
      cellType j = i + 1;

      if (j < r.cell.size()) {
        r.cell[i] = ((Tu(cell[(j + nukeCells)]) << cellBitCount) |
                     (Tu(cell[(i + nukeCells)]))) >>
                    q;
      } else {
        r.cell[i] = (cell[(i + nukeCells)] >> q);
      }
    }

    r.shrink();

    return r;
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x90, %rsp
movq %rdi, -0x58(%rbp)
movq %rdi, %rax
movq %rax, -0x50(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rdi
movq %rdi, -0x48(%rbp)
addq $0x8, %rdi
callq 0x3c9c0
cmpq $0x0, %rax
jne 0x4079b
movq -0x48(%rbp), %rsi
movq -0x58(%rbp), %rdi
callq 0x3e3b0
jmp 0x409b0
movq -0x48(%rbp), %rdi
addq $0x8, %rdi
callq 0x3c9c0
cmpq $0x2, %rax
ja 0x407d5
movq -0x48(%rbp), %rdi
callq 0x3d1f0
movq -0x58(%rbp), %rdi
movq %rax, %rsi
movq -0x18(%rbp), %rax
movl (%rax), %eax
movl %eax, %ecx
shrq %cl, %rsi
xorl %edx, %edx
callq 0x3d290
jmp 0x409b0
movl $0x0, -0x1c(%rbp)
movq -0x18(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x20(%rbp)
cmpl $0x20, -0x20(%rbp)
jbe 0x407ff
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
movl -0x20(%rbp), %eax
subl $0x20, %eax
movl %eax, -0x20(%rbp)
jmp 0x407e5
movq -0x48(%rbp), %rdi
movl -0x1c(%rbp), %eax
movq %rax, -0x60(%rbp)
addq $0x8, %rdi
callq 0x3c9c0
movq %rax, %rcx
movq -0x60(%rbp), %rax
cmpq %rcx, %rax
jb 0x4082d
movq -0x58(%rbp), %rdi
callq 0x3e410
jmp 0x409b0
movq -0x58(%rbp), %rdi
movb $0x0, -0x21(%rbp)
callq 0x3e410
movq -0x58(%rbp), %rax
movq -0x48(%rbp), %rdi
addq $0x8, %rax
movq %rax, -0x68(%rbp)
addq $0x8, %rdi
callq 0x3c9c0
movq -0x68(%rbp), %rdi
movq %rax, %rsi
movl -0x1c(%rbp), %eax
subq %rax, %rsi
callq 0x3c360
jmp 0x40867
movl $0x0, -0x38(%rbp)
movq -0x58(%rbp), %rdi
movl -0x38(%rbp), %eax
movq %rax, -0x70(%rbp)
addq $0x8, %rdi
callq 0x3c9c0
movq %rax, %rcx
movq -0x70(%rbp), %rax
cmpq %rcx, %rax
jae 0x40990
movq -0x58(%rbp), %rdi
movl -0x38(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x3c(%rbp)
movl -0x3c(%rbp), %eax
movq %rax, -0x78(%rbp)
addq $0x8, %rdi
callq 0x3c9c0
movq %rax, %rcx
movq -0x78(%rbp), %rax
cmpq %rcx, %rax
jae 0x40942
movq -0x48(%rbp), %rdi
addq $0x8, %rdi
movl -0x3c(%rbp), %eax
addl -0x1c(%rbp), %eax
movl %eax, %eax
movl %eax, %esi
callq 0x3d8a0
movq -0x48(%rbp), %rdi
movl (%rax), %eax
shlq $0x20, %rax
movq %rax, -0x88(%rbp)
addq $0x8, %rdi
movl -0x38(%rbp), %eax
addl -0x1c(%rbp), %eax
movl %eax, %eax
movl %eax, %esi
callq 0x3d8a0
movq -0x58(%rbp), %rdi
movq %rax, %rcx
movq -0x88(%rbp), %rax
movl (%rcx), %ecx
orq %rcx, %rax
movl -0x20(%rbp), %ecx
shrq %cl, %rax
movl %eax, -0x7c(%rbp)
addq $0x8, %rdi
movl -0x38(%rbp), %eax
movl %eax, %esi
callq 0x3c3f0
movl -0x7c(%rbp), %ecx
movl %ecx, (%rax)
jmp 0x40980
movq -0x58(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
callq 0x10260
jmp 0x409bd
movq -0x48(%rbp), %rdi
addq $0x8, %rdi
movl -0x38(%rbp), %eax
addl -0x1c(%rbp), %eax
movl %eax, %eax
movl %eax, %esi
callq 0x3d8a0
movq -0x58(%rbp), %rdi
movl (%rax), %eax
movl -0x20(%rbp), %ecx
shrl %cl, %eax
movl %eax, -0x8c(%rbp)
addq $0x8, %rdi
movl -0x38(%rbp), %eax
movl %eax, %esi
callq 0x3c3f0
movl -0x8c(%rbp), %ecx
movl %ecx, (%rax)
jmp 0x40982
movl -0x38(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x38(%rbp)
jmp 0x4086e
movq -0x58(%rbp), %rdi
callq 0x3e480
jmp 0x4099b
movb $0x1, -0x21(%rbp)
testb $0x1, -0x21(%rbp)
jne 0x409ae
movq -0x58(%rbp), %rdi
callq 0x10260
jmp 0x409b0
movq -0x50(%rbp), %rax
addq $0x90, %rsp
popq %rbp
retq
movq -0x30(%rbp), %rdi
callq 0x55e0
nopw %cs:(%rax,%rax)