Dump of hash

• Long!
• SHAREKEYS says keys can be shared
• 8 initial buckets, 7 empty, 1 with 1 elt
• Quality refers to average length of hash chains
• HvKEYS(hv) returns number of keys (1 here)
• RITER is root iterator--bucket being iterated
• EITER is element iterator--HE being iterated
• HASH shows us the hash value for the key