Idk what I'm doing, some calculus can give you this distribution modulo off-by-one errors, but I don't know if this layout is optimal and even if so, if I executed it well.