Shr — bitwise shift right
Shr( expression , expression )
Shr : Z x Z -> Z
Shr( 2 , 1 ) = 1
Shr shifts right the leftmost expression by rightmost expression positions. This is equivalent to dividing the leftmost expression by 2 ^ rightmost expression.
Shr( x , y ) = x / 2 ^ y