Dr. Pepper-
I was wondering if anyone would point out that my number wasn’t 100% accurate, since nobody sets all 13 buttons to “push” or all 13 to “don’t push” in one lock (I assume this is what you mean).
It’s also true that if five “push” pieces is the default, a variance of 2 would put the range from 3 to 7, not 3 to 9.
Maybe I posted those numbers for simplicity’s sake.
Maybe I’m just not that good at math ?