Information related to article/Misra–Gries heavy hitters algorithm