Tabulation based 4-universal hashing with applications to second moment estimation