[nilnullzip]

Their example distribution is buggy. Users 3-6 all have the same 3BTC balance, yet they receive different distributions (users 3&4 get zero, user 5 gets 2BTC, and user 6 get 3BTC.)