A Binomial queue linked to a hashtable