ex2, lazy binomial heaps.