∑ U B 2 − s h i f t ( p a g e , U B ) = 1 {\displaystyle \sum _{UB}2^{-shift(page,UB)}=1\,}
Code coverage
