A heap of rooted trees with lazy consolidation. Achieves O(1)O(1)O(1) amortised for insert and decrease-key, making Dijkstra and Prim run in O(E+VlogV)O(E + V\log V)O(E+VlogV). Heavy hidden constants make it more theoretical than practical.