Expands out the l-canonical representation of some number s into a list of bucket sizes in ascending order.
Expands out the l-canonical representation of some number s into a list of bucket sizes in ascending order.
vector of powers of 2 (where ret.sum == the original s)
Expands out an l-canonical representation into the original number.
Expands out an l-canonical representation into the original number.
The original s