On Sun, 29 Dec 2019, 05:31 Yuval Kogman, <nothingmuch@woobling.org> wrote:
n = # inputs + # indistinguishable outputs

sorry, this is really wrong (although of no consequence to my arguments) - n is the smaller of these two numbers, not their sum.