// File: sokolcom[P]tp-blockchain-task06/uint256_t/uint256_t.cpp
// Function: uint256_t::operator>>(uint256_t const&) const
uint256_t uint256_t::operator>>(const uint256_t & rhs) const{
    const uint128_t shift = rhs.LOWER;
    if (((bool) rhs.UPPER) | (shift >= uint128_256)){
        return uint256_0;
    }
    else if (shift == uint128_128){
        return uint256_t(UPPER);
    }
    else if (shift == uint128_0){
        return *this;
    }
    else if (shift < uint128_128){
        return uint256_t(UPPER >> shift, (UPPER << (uint128_128 - shift)) + (LOWER >> shift));
    }
    else if ((uint128_256 > shift) && (shift > uint128_128)){
        return uint256_t(UPPER >> (shift - uint128_128));
    }
    else{
        return uint256_0;
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc0, %rsp
movq %rdi, -0xb0(%rbp)
movq %rdi, -0xa8(%rbp)
movq %rsi, -0x8(%rbp)
movq %rdx, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0x10(%rbp), %rax
movq (%rax), %rcx
movq %rcx, -0x20(%rbp)
movq 0x8(%rax), %rax
movq %rax, -0x18(%rbp)
movq -0x10(%rbp), %rdi
addq $0x10, %rdi
callq 0x3a40
andb $0x1, %al
movzbl %al, %eax
movl %eax, -0x94(%rbp)
leaq -0x20(%rbp), %rdi
leaq 0xe97e(%rip), %rsi      # 0x16250
callq 0x4240
movb %al, %cl
movl -0x94(%rbp), %eax
andb $0x1, %cl
movzbl %cl, %ecx
orl %ecx, %eax
cmpl $0x0, %eax
je 0x7923
movq -0xb0(%rbp), %rax
movq 0xe966(%rip), %rcx      # 0x16260
movq %rcx, (%rax)
movq 0xe964(%rip), %rcx      # 0x16268
movq %rcx, 0x8(%rax)
movq 0xe961(%rip), %rcx      # 0x16270
movq %rcx, 0x10(%rax)
movq 0xe95e(%rip), %rcx      # 0x16278
movq %rcx, 0x18(%rax)
jmp 0x7b17
leaq -0x20(%rbp), %rdi
leaq 0xe912(%rip), %rsi      # 0x16240
callq 0x40e0
testb $0x1, %al
jne 0x7939
jmp 0x7955
movq -0xb0(%rbp), %rdi
movq -0xa0(%rbp), %rsi
addq $0x10, %rsi
callq 0xae20
jmp 0x7b17
leaq -0x20(%rbp), %rdi
leaq 0xe8b0(%rip), %rsi      # 0x16210
callq 0x40e0
testb $0x1, %al
jne 0x796b
jmp 0x799c
movq -0xb0(%rbp), %rax
movq -0xa0(%rbp), %rcx
movq (%rcx), %rdx
movq %rdx, (%rax)
movq 0x8(%rcx), %rdx
movq %rdx, 0x8(%rax)
movq 0x10(%rcx), %rdx
movq %rdx, 0x10(%rax)
movq 0x18(%rcx), %rcx
movq %rcx, 0x18(%rax)
jmp 0x7b17
leaq -0x20(%rbp), %rdi
leaq 0xe899(%rip), %rsi      # 0x16240
callq 0x41e0
testb $0x1, %al
jne 0x79b5
jmp 0x7a5c
movq -0xa0(%rbp), %rdi
addq $0x10, %rdi
leaq -0x20(%rbp), %rsi
callq 0x3e90
movq %rax, %rcx
movq -0xa0(%rbp), %rax
movq %rcx, -0x30(%rbp)
movq %rdx, -0x28(%rbp)
addq $0x10, %rax
movq %rax, -0xb8(%rbp)
leaq 0xe853(%rip), %rdi      # 0x16240
leaq -0x20(%rbp), %rsi
callq 0x43c0
movq -0xb8(%rbp), %rdi
movq %rax, -0x60(%rbp)
movq %rdx, -0x58(%rbp)
leaq -0x60(%rbp), %rsi
callq 0x3ce0
movq -0xa0(%rbp), %rdi
movq %rax, -0x50(%rbp)
movq %rdx, -0x48(%rbp)
leaq -0x20(%rbp), %rsi
callq 0x3e90
movq %rax, -0x70(%rbp)
movq %rdx, -0x68(%rbp)
leaq -0x50(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x4300
movq -0xb0(%rbp), %rdi
movq %rax, -0x40(%rbp)
movq %rdx, -0x38(%rbp)
leaq -0x30(%rbp), %rsi
leaq -0x40(%rbp), %rdx
callq 0xac70
jmp 0x7b17
leaq 0xe7ed(%rip), %rdi      # 0x16250
leaq -0x20(%rbp), %rsi
callq 0x4180
testb $0x1, %al
jne 0x7a72
jmp 0x7ae5
leaq -0x20(%rbp), %rdi
leaq 0xe7c3(%rip), %rsi      # 0x16240
callq 0x4180
testb $0x1, %al
jne 0x7a88
jmp 0x7ae5
movq -0xa0(%rbp), %rax
addq $0x10, %rax
movq %rax, -0xc0(%rbp)
leaq -0x20(%rbp), %rdi
leaq 0xe79b(%rip), %rsi      # 0x16240
callq 0x43c0
movq -0xc0(%rbp), %rdi
movq %rax, -0x90(%rbp)
movq %rdx, -0x88(%rbp)
leaq -0x90(%rbp), %rsi
callq 0x3e90
movq -0xb0(%rbp), %rdi
movq %rax, -0x80(%rbp)
movq %rdx, -0x78(%rbp)
leaq -0x80(%rbp), %rsi
callq 0xae20
jmp 0x7b17
movq -0xb0(%rbp), %rax
movq 0xe76d(%rip), %rcx      # 0x16260
movq %rcx, (%rax)
movq 0xe76b(%rip), %rcx      # 0x16268
movq %rcx, 0x8(%rax)
movq 0xe768(%rip), %rcx      # 0x16270
movq %rcx, 0x10(%rax)
movq 0xe765(%rip), %rcx      # 0x16278
movq %rcx, 0x18(%rax)
movq -0xa8(%rbp), %rax
addq $0xc0, %rsp
popq %rbp
retq
nopw (%rax,%rax)